🌲 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]?)
🌱 Interactive Oracle Proofs of Proximity (IOPP)
tl;dr: A relaxation of IOPs that is central to hash-based proof systems like FRI, STIR[^ACFY24eSTIR] and WHIR.
103 post articles, 13 pages.