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:

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