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

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