A 4.5 KB transparent PCS coming soon to eprint 👀

Alireza Shirzad

👀👀

https://x.com/alrshirzad/status/1883976688293556576?s=46

Excited to share our new work, DewTwo!

DewTwo is the smallest known transparent pcs (with a 4.5 KB eval proof) built solely from falsifiable assumptions in groups of unknown order.

A joint work with @benediktbuenz, Tushar, and Sriram.

Link: https://t.co/tlaQn0F1ey https://t.co/Og27dqf9kG

First PCS (implies a snark) that has:
No trusted setup ✅
Efficient verification ✅
Super small proofs (4.5kb) ✅
Quasi-linear prover time ✅

Benedikt Bünz ☕️

there we go

https://x.com/benediktbuenz/status/1884246521476211017?s=46