@eni

we wrote a ZK-VM for the Brainfuck language to be proven with StarkWare's STWO Prover. why this is cool: 1. shows how Stwo can be used with multiple ZK-VMs, not only Cairo 2. a refreshing, concrete implementation of the BrainStark tutorial, one of the best intro to zk-engineering 3. diving in the proving trenches to prove ethereum harder, better, faster, stronger https://github.com/kkrt-labs/stwo-brainfuck

0 reply

0 recast

9 reactions