├── .gitignore ├── Scarb.lock ├── Scarb.toml ├── addchain ├── six_t_plus_2 ├── t └── t_tpl ├── legacy ├── bn_contracts │ ├── .gitignore │ ├── Scarb.lock │ ├── Scarb.toml │ └── src │ │ ├── bench_contract.cairo │ │ ├── groth16_contract.cairo │ │ ├── lib.cairo │ │ └── schzipv2_contract.cairo └── bn_legacy │ ├── Scarb.toml │ └── src │ ├── bench.cairo │ ├── bench │ ├── curve.cairo │ ├── fq01.cairo │ ├── fq02.cairo │ ├── fq06.cairo │ ├── fq12.cairo │ ├── sprs.cairo │ └── u512.cairo │ ├── 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 │ └── residue_witness.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 │ ├── groth16 │ ├── fixture.cairo │ ├── fixture │ │ ├── groth16.cairo │ │ ├── lines.cairo │ │ ├── schzip_v1.cairo │ │ ├── schzip_v2.cairo │ │ └── tests.cairo │ ├── schzip.cairo │ ├── schzip │ │ ├── base.cairo │ │ ├── eval.cairo │ │ ├── tests.cairo │ │ ├── utils.cairo │ │ └── v1.cairo │ ├── setup.cairo │ ├── tests.cairo │ ├── utils.cairo │ ├── utils_line.cairo │ └── verifier.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 │ ├── playground.cairo │ ├── tests.cairo │ ├── tests_tate.cairo │ └── traits.cairo ├── packages ├── bn254_u256 │ ├── Scarb.toml │ └── src │ │ ├── curve.cairo │ │ ├── fixtures │ │ ├── lines_fix.cairo │ │ ├── proof_fix.cairo │ │ └── schzip_fix.cairo │ │ ├── fq_1.cairo │ │ ├── lib.cairo │ │ ├── pairing │ │ ├── schzip │ │ │ ├── miller.cairo │ │ │ └── steps.cairo │ │ └── utils.cairo │ │ ├── print.cairo │ │ ├── tests │ │ ├── curve.cairo │ │ ├── fq1_tests.cairo │ │ ├── test_pairing_utils.cairo │ │ └── tests.cairo │ │ └── utils.cairo ├── bn254_u256_contract │ ├── Scarb.toml │ └── src │ │ └── lib.cairo ├── bn_ate_loop │ ├── Scarb.toml │ └── src │ │ ├── ate_loop.cairo │ │ ├── lib.cairo │ │ └── test.cairo ├── circuits │ ├── Scarb.toml │ └── src │ │ └── lib.cairo ├── ec_groups │ ├── Scarb.toml │ └── src │ │ ├── bn.cairo │ │ └── lib.cairo ├── fast_mod │ ├── Scarb.toml │ └── src │ │ ├── add_sub.cairo │ │ ├── div_inv.cairo │ │ ├── lib.cairo │ │ ├── mul_scale_sqr.cairo │ │ ├── tests.cairo │ │ ├── u512_ops.cairo │ │ └── utils.cairo ├── fq_types │ ├── Scarb.toml │ └── src │ │ ├── common.cairo │ │ ├── frobenius.cairo │ │ └── lib.cairo ├── pairing │ ├── Scarb.toml │ └── src │ │ ├── lib.cairo │ │ ├── lines.cairo │ │ ├── runner.cairo │ │ ├── types.cairo │ │ └── utils.cairo └── schwartz_zippel │ ├── Scarb.toml │ └── src │ ├── eval.cairo │ └── lib.cairo ├── play.py ├── readme.md ├── scripts ├── residue_witness.py ├── residue_witness_bls381.py ├── residue_witness_debug.py ├── schzip.py └── schzip_runner.py └── src └── lib.cairo /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/.gitignore -------------------------------------------------------------------------------- /Scarb.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/Scarb.lock -------------------------------------------------------------------------------- /Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/Scarb.toml -------------------------------------------------------------------------------- /addchain/six_t_plus_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/addchain/six_t_plus_2 -------------------------------------------------------------------------------- /addchain/t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/addchain/t -------------------------------------------------------------------------------- /addchain/t_tpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/addchain/t_tpl -------------------------------------------------------------------------------- /legacy/bn_contracts/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /legacy/bn_contracts/Scarb.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_contracts/Scarb.lock -------------------------------------------------------------------------------- /legacy/bn_contracts/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_contracts/Scarb.toml -------------------------------------------------------------------------------- /legacy/bn_contracts/src/bench_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_contracts/src/bench_contract.cairo -------------------------------------------------------------------------------- /legacy/bn_contracts/src/groth16_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_contracts/src/groth16_contract.cairo -------------------------------------------------------------------------------- /legacy/bn_contracts/src/lib.cairo: -------------------------------------------------------------------------------- 1 | // mod bench_contract; 2 | 3 | -------------------------------------------------------------------------------- /legacy/bn_contracts/src/schzipv2_contract.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_contracts/src/schzipv2_contract.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/Scarb.toml -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/curve.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/curve.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/fq01.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/fq01.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/fq02.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/fq02.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/fq06.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/fq06.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/fq12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/fq12.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/sprs.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/sprs.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/bench/u512.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/bench/u512.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/constants.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/constants.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/groups.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/groups.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/groups_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/groups_tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/ate_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/ate_tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/miller_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/miller_utils.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/optimal_ate.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/optimal_ate.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/optimal_ate_impls.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/optimal_ate_impls.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/optimal_ate_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/optimal_ate_utils.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/tate_bkls.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/tate_bkls.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/pairing/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/pairing/tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/curve/residue_witness.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/curve/residue_witness.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_1.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_12.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_12_direct.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_12_direct.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_12_exponentiation.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_12_exponentiation.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_12_squaring.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_12_squaring.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_2.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_6.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_generics.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_generics.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/fq_sparse.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/fq_sparse.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/frobenius.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/frobenius.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/print.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq12.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq12_expo.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq12_expo.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq2.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq6.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/fq_sparse.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/fq_sparse.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/frobenius.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/frobenius.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/fields/tests/u512.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/fields/tests/u512.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture/groth16.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture/groth16.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture/lines.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture/lines.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture/schzip_v1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture/schzip_v1.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture/schzip_v2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture/schzip_v2.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/fixture/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/fixture/tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip/base.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip/base.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip/eval.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip/eval.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip/tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip/utils.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/schzip/v1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/schzip/v1.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/setup.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/setup.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/utils.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/utils_line.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/utils_line.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/groth16/verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/groth16/verifier.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/lib.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod/add_sub.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod/add_sub.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod/div_inv.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod/div_inv.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod/mul_scale_sqr.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod/mul_scale_sqr.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod/u512_ops.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod/u512_ops.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod/utils.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/fast_mod_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/fast_mod_tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/math/i257.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/math/i257.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/playground.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/playground.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/tests.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/tests_tate.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/tests_tate.cairo -------------------------------------------------------------------------------- /legacy/bn_legacy/src/traits.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/legacy/bn_legacy/src/traits.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/Scarb.toml -------------------------------------------------------------------------------- /packages/bn254_u256/src/curve.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/curve.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/fixtures/lines_fix.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/fixtures/lines_fix.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/fixtures/proof_fix.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/fixtures/proof_fix.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/fixtures/schzip_fix.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/fixtures/schzip_fix.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/fq_1.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/fq_1.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/lib.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/pairing/schzip/miller.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/pairing/schzip/miller.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/pairing/schzip/steps.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/pairing/schzip/steps.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/pairing/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/pairing/utils.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/print.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/print.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/tests/curve.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/tests/curve.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/tests/fq1_tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/tests/fq1_tests.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/tests/test_pairing_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/tests/test_pairing_utils.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/tests/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/tests/tests.cairo -------------------------------------------------------------------------------- /packages/bn254_u256/src/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256/src/utils.cairo -------------------------------------------------------------------------------- /packages/bn254_u256_contract/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256_contract/Scarb.toml -------------------------------------------------------------------------------- /packages/bn254_u256_contract/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn254_u256_contract/src/lib.cairo -------------------------------------------------------------------------------- /packages/bn_ate_loop/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn_ate_loop/Scarb.toml -------------------------------------------------------------------------------- /packages/bn_ate_loop/src/ate_loop.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn_ate_loop/src/ate_loop.cairo -------------------------------------------------------------------------------- /packages/bn_ate_loop/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn_ate_loop/src/lib.cairo -------------------------------------------------------------------------------- /packages/bn_ate_loop/src/test.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/bn_ate_loop/src/test.cairo -------------------------------------------------------------------------------- /packages/circuits/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/circuits/Scarb.toml -------------------------------------------------------------------------------- /packages/circuits/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/circuits/src/lib.cairo -------------------------------------------------------------------------------- /packages/ec_groups/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/ec_groups/Scarb.toml -------------------------------------------------------------------------------- /packages/ec_groups/src/bn.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/ec_groups/src/bn.cairo -------------------------------------------------------------------------------- /packages/ec_groups/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/ec_groups/src/lib.cairo -------------------------------------------------------------------------------- /packages/fast_mod/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/Scarb.toml -------------------------------------------------------------------------------- /packages/fast_mod/src/add_sub.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/add_sub.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/div_inv.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/div_inv.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/lib.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/mul_scale_sqr.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/mul_scale_sqr.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/tests.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/tests.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/u512_ops.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/u512_ops.cairo -------------------------------------------------------------------------------- /packages/fast_mod/src/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fast_mod/src/utils.cairo -------------------------------------------------------------------------------- /packages/fq_types/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fq_types/Scarb.toml -------------------------------------------------------------------------------- /packages/fq_types/src/common.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fq_types/src/common.cairo -------------------------------------------------------------------------------- /packages/fq_types/src/frobenius.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fq_types/src/frobenius.cairo -------------------------------------------------------------------------------- /packages/fq_types/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/fq_types/src/lib.cairo -------------------------------------------------------------------------------- /packages/pairing/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/Scarb.toml -------------------------------------------------------------------------------- /packages/pairing/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/src/lib.cairo -------------------------------------------------------------------------------- /packages/pairing/src/lines.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/src/lines.cairo -------------------------------------------------------------------------------- /packages/pairing/src/runner.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/src/runner.cairo -------------------------------------------------------------------------------- /packages/pairing/src/types.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/src/types.cairo -------------------------------------------------------------------------------- /packages/pairing/src/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/pairing/src/utils.cairo -------------------------------------------------------------------------------- /packages/schwartz_zippel/Scarb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/schwartz_zippel/Scarb.toml -------------------------------------------------------------------------------- /packages/schwartz_zippel/src/eval.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/schwartz_zippel/src/eval.cairo -------------------------------------------------------------------------------- /packages/schwartz_zippel/src/lib.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/packages/schwartz_zippel/src/lib.cairo -------------------------------------------------------------------------------- /play.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/play.py -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/readme.md -------------------------------------------------------------------------------- /scripts/residue_witness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/scripts/residue_witness.py -------------------------------------------------------------------------------- /scripts/residue_witness_bls381.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/scripts/residue_witness_bls381.py -------------------------------------------------------------------------------- /scripts/residue_witness_debug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/scripts/residue_witness_debug.py -------------------------------------------------------------------------------- /scripts/schzip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/scripts/schzip.py -------------------------------------------------------------------------------- /scripts/schzip_runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shramee/cairo_pairing/HEAD/scripts/schzip_runner.py -------------------------------------------------------------------------------- /src/lib.cairo: -------------------------------------------------------------------------------- 1 | // Just here for scripts in the core package. 2 | 3 | --------------------------------------------------------------------------------