Content pfp
Content
@
0 reply
0 recast
0 reaction

eni pfp
eni
@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
10 reactions