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

delegation

Delegation ZKP circuit.

share_reveal

Share Reveal ZKP circuit (ZKP #3).

vote_proof

Vote proof ZKP circuit (ZKP #2).

Enums

ProveError

Error returned when Halo2 proof creation fails.

Functions

shares_hash_from_comms

Native counterpart of [compute_shares_hash_from_comms_in_circuit].