Here are some notes from Polygon zk-day:
Polygon Hermez
Polygon Nightfall - Nightfall for privacy targeted towards enterprise.
Privacy focused rollup.
Polygon Miden -
ZK Scaling
Polygon ZeroRecursive ZKPsPLONK + HALO, 15s proving time, not Ethereum CompatiblePlonky 2 = PLONK + FRI + Wizardy a 100x speedup for Ethereum
StarkWare FRIProver Speed - VariableRecursion Cost - Very lowGas to Verify - 800k~5m
Fully transparent1M gas to verify. 170ms recursive proofs on Ethereum
Polygon Zero:
The most scalable zkEVM comecompile existing solidity code to run on the zkEVMScalability without comprimising decentralization or securityGenerating SNARKS can be expensive.
Proof verification to verify a proof inside another proof.
Plonk + FRI-based polynomial commitments Poseidon, algebraic hash used by ZK teams.
Lightning-fast zero-knowledge proofs