@wyattbenno

So what's new in folding implementations / client-side ZK? So many cool things. But here is a quick update. 1. We made an on-chain verifier that works in ~750,000 gas.. based on the work from PSE. Folding + cheap on-chain verification allows big / aggregated computations to trigger smart contracts cheaply. Read: https://www.novanet.xyz/blog/any-computation-is-verifiable-with-cheap-on-chain-folding-verifiers 2. 3x speed up seen from preliminary NeutronNova work.. ported to zkEngine this means 3 minutes proofs in browser are 1 minute proofs. All pre-webGPU. 🤯 Recent work also moves public param gen time from 24.3s to 3.2s. We will be releasing a concept called "Proof Parties - have fun proving with you friends" in a week or two so.. Stay tuned ⏱️ PR: https://github.com/microsoft/Nova/pull/368

0 reply

13 recasts

52 reactions