The main insight of Nova and like super clean, I guess, with the instruction from... It's going to be a bit of a dumb question, but like, Nova, supernova, what are they? Like, are they proving systems? Are they like, I don't really know where in the stack they are. Yeah. They describe like a succinct proof of incremental computation. Okay. What exactly is the folding scheme? So, Guillermo sort of touched upon it earlier. It's the idea that if you have two problems of some kind, like two plunk circuits, you can compress them into one plunk circuit. That makes sense.
This week, Anna Rose chats with ZK Podcast regular Guillermo Angeris, Head of Research at BCC and Nicolas Mohnblatt, Researcher and Cryptographer at Geometry. This was recorded on April 3rd 2023, the day between the ZK Hack Lisbon hackathon and the zkSummit9 event.
They discuss Nico's move from music to cryptography, his earlier privacy research as a Master's student, and his recent research Sangria, which is a folding scheme for Plonk. Guillermo shares some of his current work cleaning up and formalising concepts in zk. And Anna shares some brief thoughts about the recent release of zkpod.ai - the friendly ZK bot featuring Anna’s voice and containing the entirety of the ZKPodcast knowledge (built by Kobi Gurkan).
They also chat about some news, insights from ZK Hack Lisbon and some of the projects that were built there and generally check in on the state of the ecosystem.
Relevant links:
Check out the ZK Jobs Board here: ZK Jobs. Find your next job working in ZK!
Anoma’s first fractal instance Namada is launching soon!
Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge.
Follow Namada on twitter @namada for more information and join the community on Discord discord.gg/namada.
If you like what we do: