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 replies
- 0 recasts
- 9 reactions
https://youtu.be/DzXavgGUCDw peak acid trance experience
- 0 replies
- 0 recasts
- 1 reaction
wtf you need to pay to join a channel now? 🤨
- 1 reply
- 0 recasts
- 0 reactions
