Aragon ZK Research is an AragonDAO guild focused on ZK research, for a future of high scalability and privacy preserving voting systems for DAOs.
We follow the latest advances in cryptography and ZKP and aim to build a deep understanding of zk-snarks research. We aim to apply this knowledge to construct useful tools that can be applied to voting and privacy in DAOs, thus helping to enable alternative governance structures.
Projects
OVOTE: (Offchain Voting with Onchain Trustless Execution) Ethereum L2 for voting using validity-proofs (kind of zkRollup)
Blind-OVOTE: combines the OVOTE ideas with blind signatures inside zkSNARK, to provide gasless anonymous voting with onchain binding execution on Ethereum.
SHA-2 in Noir: SHA-256 & SHA-512 hash implementations in Noir zk-language
PoC implementation of logarithmic (and linkable) ring signatures, for private and scalable blockchain based voting (whether used alongside SNARKs/OVOTE or as a standalone protocol)