This chapter discusses the construction of a GPU prover for parallelizing the snark proving process. It explains the main parallelizable components and clarifies the misconception that general computation cannot be done using Snarks. The chapter also mentions exploring ways to support general computation on CODA and the launch depending on the RFC's outcome.
In this week’s episode, we catch up with Izaak Meckler from 0(1) Labs to talk about launching a recursive snark based incentivised test net, a recap of recursive SNARKs, updates on the working SNARKitecture, and a look at what's next for the project. We also touch on some new use-cases and ideas for how zkps may be a component in making computer programmes potentially more accountable to their users.
Please listen to our earlier episode with Izaak and Evan to get a full picture of 0(1)Labs and the Coda project
Here are a few of the other projects we mentioned!
ZEXE
Marlin
Fractal
Notes from the SNARKoconomicon at the zkSummit
Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you!
Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7
If you like what we do:
Follow us on Twitter - @zeroknowledgefm
Join us on Telegram
Catch up with us on Youtube
Support our Gitcoin Grant
Support us on the ZKP Patreon
Or directly here:
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ