├── README.md ├── halo2_zcash ├── .gitignore ├── Scarb.lock ├── Scarb.toml └── src │ ├── commitment.cairo │ ├── commitment │ ├── msm.cairo │ ├── poly.cairo │ └── verifier.cairo │ ├── curves.cairo │ ├── curves │ ├── fields.cairo │ └── utils.cairo │ └── lib.cairo ├── license ├── plonk-verifier ├── .gitignore ├── Scarb.lock ├── Scarb.toml ├── contracts │ ├── lib.cairo │ ├── verifier.cairo │ └── verifier │ │ ├── plonk_constants.cairo │ │ └── plonk_verifier.cairo ├── scripts │ ├── Cargo.lock │ ├── Cargo.toml │ ├── deploy_contract.rs │ └── write_contract.rs └── src │ ├── curve.cairo │ ├── curve │ ├── constants.cairo │ ├── groups.cairo │ ├── groups_tests.cairo │ └── pairing │ │ ├── ate_tests.cairo │ │ ├── miller_utils.cairo │ │ ├── optimal_ate.cairo │ │ ├── optimal_ate_impls.cairo │ │ ├── optimal_ate_utils.cairo │ │ ├── tate_bkls.cairo │ │ └── tests.cairo │ ├── fields │ ├── fq_1.cairo │ ├── fq_12.cairo │ ├── fq_12_direct.cairo │ ├── fq_12_exponentiation.cairo │ ├── fq_12_squaring.cairo │ ├── fq_2.cairo │ ├── fq_6.cairo │ ├── fq_generics.cairo │ ├── fq_sparse.cairo │ ├── frobenius.cairo │ ├── print.cairo │ └── tests │ │ ├── fq.cairo │ │ ├── fq12.cairo │ │ ├── fq12_expo.cairo │ │ ├── fq2.cairo │ │ ├── fq6.cairo │ │ ├── fq_sparse.cairo │ │ ├── frobenius.cairo │ │ └── u512.cairo │ ├── lib.cairo │ ├── math │ ├── fast_mod.cairo │ ├── fast_mod │ │ ├── add_sub.cairo │ │ ├── div_inv.cairo │ │ ├── mul_scale_sqr.cairo │ │ ├── u512_ops.cairo │ │ └── utils.cairo │ ├── fast_mod_tests.cairo │ └── i257.cairo │ ├── plonk │ ├── constants.cairo │ ├── plonk_tests.cairo │ ├── transcript.cairo │ ├── types.cairo │ ├── utils.cairo │ └── verify.cairo │ └── traits.cairo └── plonky2-verifier ├── .gitignore ├── Scarb.lock ├── Scarb.toml └── src ├── fields.cairo ├── fields ├── goldilocks.cairo ├── goldilocks_quadratic.cairo └── utils.cairo ├── fri.cairo ├── fri ├── constants.cairo ├── structure.cairo └── verifier.cairo ├── hash.cairo ├── hash ├── constants.cairo ├── merkle_caps.cairo ├── poseidon.cairo └── structure.cairo ├── lib.cairo ├── plonk.cairo └── plonk ├── challenge.cairo ├── circuit_data.cairo ├── constants.cairo ├── proof.cairo └── tests.cairo /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/README.md -------------------------------------------------------------------------------- /halo2_zcash/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | todo -------------------------------------------------------------------------------- /halo2_zcash/Scarb.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/Scarb.lock -------------------------------------------------------------------------------- /halo2_zcash/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/Scarb.toml -------------------------------------------------------------------------------- /halo2_zcash/src/commitment.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/src/commitment.cairo -------------------------------------------------------------------------------- /halo2_zcash/src/commitment/msm.cairo: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /halo2_zcash/src/commitment/poly.cairo: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | -------------------------------------------------------------------------------- /halo2_zcash/src/commitment/verifier.cairo: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /halo2_zcash/src/curves.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/src/curves.cairo -------------------------------------------------------------------------------- /halo2_zcash/src/curves/fields.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/src/curves/fields.cairo -------------------------------------------------------------------------------- /halo2_zcash/src/curves/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/halo2_zcash/src/curves/utils.cairo -------------------------------------------------------------------------------- /halo2_zcash/src/lib.cairo: -------------------------------------------------------------------------------- 1 | mod commitment; 2 | pub mod curves; 3 | -------------------------------------------------------------------------------- /license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/license -------------------------------------------------------------------------------- /plonk-verifier/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | .env 3 | commands.md 4 | -------------------------------------------------------------------------------- /plonk-verifier/Scarb.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/Scarb.lock -------------------------------------------------------------------------------- /plonk-verifier/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/Scarb.toml -------------------------------------------------------------------------------- /plonk-verifier/contracts/lib.cairo: -------------------------------------------------------------------------------- 1 | mod verifier; 2 | -------------------------------------------------------------------------------- /plonk-verifier/contracts/verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/contracts/verifier.cairo -------------------------------------------------------------------------------- /plonk-verifier/contracts/verifier/plonk_constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/contracts/verifier/plonk_constants.cairo -------------------------------------------------------------------------------- /plonk-verifier/contracts/verifier/plonk_verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/contracts/verifier/plonk_verifier.cairo -------------------------------------------------------------------------------- /plonk-verifier/scripts/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/scripts/Cargo.lock -------------------------------------------------------------------------------- /plonk-verifier/scripts/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/scripts/Cargo.toml -------------------------------------------------------------------------------- /plonk-verifier/scripts/deploy_contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/scripts/deploy_contract.rs -------------------------------------------------------------------------------- /plonk-verifier/scripts/write_contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/scripts/write_contract.rs -------------------------------------------------------------------------------- /plonk-verifier/src/curve.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/constants.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/groups.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/groups.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/groups_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/groups_tests.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/ate_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/ate_tests.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/miller_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/miller_utils.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/optimal_ate.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/optimal_ate.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/optimal_ate_impls.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/optimal_ate_impls.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/optimal_ate_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/optimal_ate_utils.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/tate_bkls.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/tate_bkls.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/curve/pairing/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/curve/pairing/tests.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_1.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_12.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_12_direct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_12_direct.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_12_exponentiation.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_12_exponentiation.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_12_squaring.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_12_squaring.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_2.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_6.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_generics.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_generics.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/fq_sparse.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/fq_sparse.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/frobenius.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/frobenius.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/print.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq12.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq12_expo.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq12_expo.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq2.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq6.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/fq_sparse.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/fq_sparse.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/frobenius.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/frobenius.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/fields/tests/u512.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/fields/tests/u512.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/lib.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod/add_sub.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod/add_sub.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod/div_inv.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod/div_inv.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod/mul_scale_sqr.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod/mul_scale_sqr.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod/u512_ops.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod/u512_ops.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod/utils.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/fast_mod_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/fast_mod_tests.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/math/i257.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/math/i257.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/constants.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/plonk_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/plonk_tests.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/transcript.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/transcript.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/types.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/types.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/utils.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/plonk/verify.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/plonk/verify.cairo -------------------------------------------------------------------------------- /plonk-verifier/src/traits.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonk-verifier/src/traits.cairo -------------------------------------------------------------------------------- /plonky2-verifier/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /plonky2-verifier/Scarb.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/Scarb.lock -------------------------------------------------------------------------------- /plonky2-verifier/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/Scarb.toml -------------------------------------------------------------------------------- /plonky2-verifier/src/fields.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fields.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fields/goldilocks.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fields/goldilocks.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fields/goldilocks_quadratic.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fields/goldilocks_quadratic.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fields/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fields/utils.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fri.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fri.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fri/constants.cairo: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /plonky2-verifier/src/fri/structure.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fri/structure.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/fri/verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/fri/verifier.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/hash.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/hash.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/hash/constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/hash/constants.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/hash/merkle_caps.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/hash/merkle_caps.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/hash/poseidon.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/hash/poseidon.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/hash/structure.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/hash/structure.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/lib.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk/challenge.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk/challenge.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk/circuit_data.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk/circuit_data.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk/constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk/constants.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk/proof.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk/proof.cairo -------------------------------------------------------------------------------- /plonky2-verifier/src/plonk/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NethermindEth/verify-everything/HEAD/plonky2-verifier/src/plonk/tests.cairo --------------------------------------------------------------------------------