Curve trees
tl;dr: A few notes on the beautiful curve tree work by Campanelli, Hall-Andersen and Kamp.
Chunky: Weighted PVSS and DKG for field elements
tl;dr: A work-in-progress weighted PVSS for field elements using chunked ElGamal encryption and DeKART range proofs.
$\Sigma$-phore
tl;dr: A primitive much more powerful than Semaphore, that we’d like to build without zkSNARKs.
Notes on scaling nullifier sets
tl;dr: Trying to organize some thoughts on how to scale nullifier sets.
Polynomial Interactive Oracle Proofs (PIOPs)
tl;dr: PIOPs, as originally introduced in the DARK paper[^BFS20].
(Although I think they were kind of already defined in PLONK[^GWC19] and Marlin[^CHMplus19e]?)
88 post articles, 11 pages.