The Zcash Protocol

Protocol rule: halo2-0.1:ecc-complete-addition