Zero Knowledge Polkadot Machine

This project comprises two main parts. While the core of the project is the ZK Prover-Verifier protocol, the second part demonstrates a specific use case of this generic protocol.

The first part is the RISC Zero Prover-Verifier infrastructure, integrated with Polkadot’s native development tooling (such as the create-polkadot-dapp package).The second part showcases an anonymous voting protocol, where each voter can cast a vote on-chain without revealing their identity. At the same time, other participants in the protocol are assured of the vote's authenticity, integrity, and non-repudiation.