Crate voting_circuits 

Governance ZKP circuits for the Zally voting protocol.

Contains three circuits:

• Delegation (ZKP #1): Proves delegation of voting rights.
• Vote Proof (ZKP #2): Proves a valid, authorized vote.
• Share Reveal (ZKP #3): Proves a revealed share belongs to a registered vote commitment.

Modules

circuit

Shared circuit gadgets used by the governance ZKP circuits.

delegation

Delegation ZKP circuit.

share_reveal

Share Reveal ZKP circuit (ZKP #3).

shares_hash

Shared circuit gadget for the shares-hash computation used in ZKP #2 and ZKP #3.

vote_proof

Vote proof ZKP circuit (ZKP #2).