Thumper
Creating more structured zk setup ceremonies with trustless coordination, privacy, sybil-resistance, and zk-proven results
Demo
About
This project poses the questions: - Can we use transparent zk proof systems to assist in setup of non-transparent ones? - Does easy verifiability have a place in trusted setups? - Can we lower barriers of entry to setup ceremonies, and keep sybil-resistance? - Can we make setup ceremonies trustless? - Can we protect participant's privacy in the process, while still remaining maintaining some degree of trustlessness? We explore these through an implementation of a setup which is not very sophisticated in generating parameters at all, but instead, proposes by example an approach for integrating zkvms into the setup process. We enable any unique citizen to join the process through ZKKYC, but we also hide their identity, so that they can participate in the process privately. The project's naming is inspiring by the KZG summoning ceremony. We chose the name "Thumper", as it is a summoning device from the Dune universe which operates in a steady, measured, expected way.
How it's made
The project uses the following technology: - Risc Zero ZKVM for powering the contribution steps, and private proofs of identity - Risc Zero's view call proofs for trustlessly retrieving data from onchain - A dummy form of Risc Zero's ZKKYC for interacting with kyyc'ed identities.