A collision-resistant circuit-efficient hash function
Governance ZKP circuits (delegation, vote proof, share reveal) for the Zcash shielded-voting protocol.