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…

Public petition signer lists expose signers to retaliation. In high-stakes contexts, knowing who signed can be dangerous. New IPTF writeup: Resilient Civic Participation. Prove a petition reached quorum without ever publishing who signed. Third and final post in our resilience series.

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…

7/ What’s next: Here are the links to test if you have a valid Taiwan Citizen Digital Certificate. Web: …f-of-personhood-openac-web.vercel.app iOS Testflight: testflight.apple.com/join/UuVzqwHk Android: drive.google.com/file/d/15ukmBz… We’re also publishing the spec and welcome feedback from builders, researchers, and identity teams. zkspecs: github.com/privacy-ethere… And stay tuned for the upcoming production release in a BBS-style online forum setting.

6/ Why this matters: Privacy-preserving identity needs to work with real credentials, real devices, and real user flows. This implementation shows OpenAC running with an existing credential on mobile devices.

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 🔗

The latest work from the Client Side Proving team- Spartan-WHIR: a transparent (no trusted setup), post-quantum SNARK with 128-bit security.

5/ This initial version covers 17 protocols: Railgun, Tornado Cash, Zcash, Monero, Privacy Pools, Hinkal, Intmax & more Coming soon: more Ethereum protocols, L2s and alt-L1s. Check out the dashboard here 👇 private-transfers.pse.dev

4/ We're also adding some selective benchmarks soon. We're measuring onchain gas costs, and anonymity-set sizes across several Ethereum protocols

Have you ever wondered how does Railgun differ from Privacy Pools? Zcash vs Monero? Today you answer that by piecing together docs, blog posts, Twitter threads and code We built the Private Transfers Dashboard to make it easy🧵

TLSNotary v0.1.0-alpha.15 is out. TLSNotary now supports proxy mode alongside MPC mode: a faster, lighter alternative when the security tradeoff fits your use case. Also: chunked HTTP responses, an SDK core refactor, no-OS-RNG verifier builds. github.com/tlsnotary/tlsn…

Private L2 payments don't need a server-side prover PlasmaBlind is a new payment design by Pierre & Chengru that generates client-side zero-knowledge proofs in under 100ms on a laptop — while hiding amounts and recipients. • 270–360 ms per transaction • Instant exits to L1 • Built on Sonobe folding schemes pse.dev/blog/plasmabli…

New post: the full-reveal fast path. When the prover is going to share the response in full anyway, we skip ZK-proving it and hand the verifier the session write key instead. Much faster, if your use case fits. Read more at tlsnotary.org/blog/2026/05/1…

SpeakUp: a new zkVM we're prototyping for private, client-side proving of WebAssembly programs - built to run on low power devices such as mobile phones and browsers. The underlying proof system explore different tradeoffs for different use cases from mainstream zkVMs. SpeakUp is interactive, and uses vector oblivious linear evaluation (VOLE), which provides a fast linear-time prover and post-quantum security at the cost of larger proofs. See the early design draft below, we're looking for public feedback 👇 pse.dev/blog/introduci…