I will note that you did not build on the Zcash halo2_proofs crate, but instead on axiom-crypto/halo2-lib which is based on the divergent PSE fork of halo2_proofs (requiring a trusted setup to use, due to it replacing Halo 2’s IPA with KZG). As such, none of the circuits would be directly usable in the Zcash ecosystem with the halo2_proofs crate without significant additional engineering work.
2 Likes