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

Not the VM we wanted, but the VM we needed - zkVM for Brainfuck

Private censorship-resistant, programmable money.

Private
Censorship-resistant
Programmable
Money

cryptography

"If you need this message, you are probably not able to read it, while if you can read it, well, just discard it" ...

cHiEf TeStinG oFfIcHeR @DeFi_Wonderland - proding in tests - github.com/drgorillamd

Simon Something

@drgorilla