There are a bunch of things now. Examples include quarks, breakdown, Orion. And basically these are more or less just substituting different polynomial commitment schemes into Spartan to get different performance profiles. We were talking before this sort of like we veered off into Spartan, but I kind of want to go back to the book. You call it a monoglyph. Is that what you say? Monoglyph. It's kind of a book now. Okay. So tell me a little bit the dilemma here. The key issue kind of raised was maybe there's kind of the prover cannot start working on round two until it knows what message it needs to send in round one
This week, Anna chats with Justin Thaler, Associate Professor at Georgetown. They cover Justin’s academic history and discuss what led him to working on interactive proofs and SNARKs. They also take a look at several other topics such as the Thaler Book Study Group, his earlier work Spartan, comparing the security of different rollups built with SNARKs and STARKs and more.
Here are some additional links for this episode:
Apply for zkSummit9 here: zkSummit9 Ticket Application.
Check out ingonyama.com to learn more about Zero Knowledge Hardware acceleration.
Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
Interested in building private applications? Check out Aleo’s programming language called Leo by visiting http://developer.aleo.org.
You can also participate in Aleo’s incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate.
For questions, join their Discord at aleo.org/discord.
If you like what we do: