There are actually competing definitions of what i v c an m pc d, which is the general case am a sent for. And we've given basically one of them here. M and i didn't really understand the other one at the other day. The cor take away with it is that what you're trying to do with recursion, or with a recursov proof, is to reduce the size of what you need to verify. I mag that's what's referred to as the recursion thresholdsoiti's a concept of needing a certain size of circuit to be able to verify another circuit. For different schemese, the recursions threshold point can be at different sizes.
In this week’s episode, Anna explores Halo 2 with Daira Hopwood and Str4d, cryptographic engineers at Electric Coin Company. They explored what new ideas Halo introduced and how Halo 2 built on these ideas, adding optimisations such as adding Plonk-ish arithmetization to take what was a breakthrough to a production ready proving system.
This episode was recorded at Zcon3 in Vegas.
Here are some links for this episode:
Check out ZK Whiteboard Sessions, produced by ZK Hack & powered by Polygon, a weekly educational series of interviews with ZK experts on the most important concepts and building blocks in ZK.
If you are looking to jump into ZK professionally, check out the ZK Jobs Board to find job posts from some of the top teams working in ZK – like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board.
Today’s episode is sponsored by Manta Network.
Manta is the privacy hub for web3. By leveraging zero-knowledge proofs, Manta brings on-chain privacy to any crypto asset.
Manta is looking for engineers passionate about cryptography and bringing convenient privacy protection to all of web3. Visit [https://careers.manta.network]([https://careers.manta.network) to apply.
If you like what we do: