halo2 (cargo): [BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup
Keywords: recursive|zkp|zksnarks|proofs|halo