Home

tl;dr: A very much celebrated protocol.

tl;dr: Some notes on post-quantum (PQ) signature schemes.

tl;dr: A few notes on the beautiful curve tree[^CHK22e] work by Campanelli, Hall-Andersen and Kamp.

tl;dr: How to think clearly about domain separation in your protocols.

tl;dr: A work-in-progress weighted PVSS for field elements using chunked ElGamal encryption and DeKART range proofs.

tl;dr: A primitive much more powerful than Semaphore, that we’d like to build without zkSNARKs.

tl;dr: Trying to organize some thoughts on how to scale nullifier sets.

tl;dr: Notes on WHIR[^ACFY24e].