PSE

1/ 🌱 The zkID team published OpenAC: Open Design for Transparent and Lightweight Anonymous Credentials earlier this week with a show proof time of 0.129 seconds.

It describes a zero-knowledge identity construction designed to work with existing identity stacks and was purposely constructed to be compatible with the European Digital Identity Architecture and Reference Framework (EUDI ARF).
github.com/privacy-ethere…

We hardened Sonobe, our folding schemes & IVC library, before its first release.

Two audits: one human (@alpeh_v) + one AI (@v12sec).

Each caught bugs the other missed, but both independently flagged every critical one.

Read more 👇
pse.dev/blog/sonobe-up…

1/ New post alert! ⏰

Is onchain ZK PQ-ready? Round two of putting WHIR on Ethereum gave us an inconvenient result: small fields shrink proofs but make them challenging to verify. We rebuilt WHIR verifier over a 31-bit KoalaBear field and measured where the gas goes.

pse.dev/blog/evm-verif… 🧵

New on the blog: Machina iO's four-part series on circuit-specific decryption keys for FHE.

A primitive that lets a decryption committee publish a key for one specific computation and then step away no need for an always-online committee.

pse.dev/blog/circuit-s…

We built a real-world OpenAC implementation for privacy-preserving proof of personhood.

It uses an existing government-issued credential, proves eligibility in zero knowledge, supports revocation checks, and runs the proof flow on mobile devices.

Check threads for links and summary 🔗