The basic idea is to let participants submit bids privately, then prove (in zero knowledge) that the auction was evaluated correctly without revealing losing bids. The current implementation uses RISC Zero to generate proofs and explores different auction mechanics and constraints. It’s very much an exploration of the design space rather than a production-ready system.

This project was supported by a grant from the Ethereum Foundation (Privacy, Scaling, and Explorations team), which helped make the experimentation possible — grateful for that support.

Code and documentation are here: https://github.com/ndrwnaguib/zk-auctions

Happy to answer questions or hear thoughts, especially from folks who’ve worked on zk systems, auctions, or verifiable computation.