├── .github ├── CODEOWNERS ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── pull_request_template.md └── workflows │ ├── cargo-license.yaml │ ├── ci.yml │ └── secrets_scanner.yaml ├── .gitignore ├── CONTRIBUTING.md ├── COPYRIGHT ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── SECURITY.md ├── deny.toml ├── rust-toolchain └── src ├── alt_babyjubjub ├── fs.rs ├── mod.rs └── tests.rs ├── as_waksman.rs ├── constants.rs ├── generic_twisted_edwards ├── bench.rs ├── bn256 │ └── mod.rs ├── edwards.rs ├── mod.rs ├── tests.rs └── util.rs ├── group_hash.rs ├── interpolation.rs ├── jubjub ├── edwards.rs ├── fs.rs ├── mod.rs ├── montgomery.rs └── tests.rs ├── lib.rs ├── pedersen_hash.rs ├── plonk ├── circuit │ ├── allocated_num.rs │ ├── assignment.rs │ ├── bigint │ │ ├── bigint.rs │ │ ├── field.rs │ │ ├── mod.rs │ │ ├── range_constraint_functions.rs │ │ ├── range_constraint_gate.rs │ │ ├── range_constraint_with_two_bit_gate.rs │ │ └── single_table_range_constraint.rs │ ├── bigint_new │ │ ├── amplified_linear_combination.rs │ │ ├── bigint.rs │ │ ├── field.rs │ │ ├── mod.rs │ │ ├── range_check_custom_gate2.rs │ │ ├── range_check_table2.rs │ │ └── range_checks.rs │ ├── blake2s.rs │ ├── boolean.rs │ ├── byte.rs │ ├── counter.rs │ ├── curve │ │ ├── endomorphism.rs │ │ ├── mod.rs │ │ ├── multiexp_table.rs │ │ ├── selection_table.rs │ │ ├── sw_affine.rs │ │ └── sw_projective.rs │ ├── curve_new │ │ ├── mod.rs │ │ ├── secp256k1 │ │ │ ├── fq.rs │ │ │ ├── fr.rs │ │ │ └── mod.rs │ │ ├── sw_affine.rs │ │ └── sw_projective.rs │ ├── custom_5th_degree_gate_optimized.rs │ ├── custom_rescue_gate.rs │ ├── edwards │ │ ├── bn256 │ │ │ └── mod.rs │ │ ├── edwards.rs │ │ ├── mod.rs │ │ └── tests.rs │ ├── goldilocks │ │ ├── mod.rs │ │ └── prime_field_like.rs │ ├── hashes_with_tables │ │ ├── blake2s │ │ │ ├── gadgets.rs │ │ │ ├── mod.rs │ │ │ ├── tables.rs │ │ │ └── test.rs │ │ ├── keccak │ │ │ ├── gadgets.rs │ │ │ ├── keccak_testsuit.py │ │ │ ├── mod.rs │ │ │ ├── tables.rs │ │ │ ├── tests.rs │ │ │ └── utils.rs │ │ ├── mod.rs │ │ ├── reinforcement_concrete │ │ │ ├── gadgets.rs │ │ │ ├── hasher.rs │ │ │ ├── mod.rs │ │ │ ├── tables.rs │ │ │ ├── test.rs │ │ │ └── utils.rs │ │ ├── sha256 │ │ │ ├── gadgets.rs │ │ │ ├── mod.rs │ │ │ ├── tables.rs │ │ │ ├── test.rs │ │ │ └── utils.rs │ │ ├── tables.rs │ │ └── utils.rs │ ├── linear_combination.rs │ ├── mod.rs │ ├── multieq.rs │ ├── permutation_network │ │ ├── circuit.rs │ │ ├── mod.rs │ │ └── witness.rs │ ├── poseidon.rs │ ├── rescue.rs │ ├── sha256.rs │ ├── simple_term.rs │ ├── tables.rs │ ├── uint32.rs │ ├── utils.rs │ └── verifier_circuit │ │ ├── affine_point_wrapper │ │ ├── aux_data.rs │ │ ├── mod.rs │ │ ├── with_zero_flag.rs │ │ ├── without_flag_checked.rs │ │ └── without_flag_unchecked.rs │ │ ├── channel.rs │ │ ├── data_structs.rs │ │ ├── helper_functions.rs │ │ ├── mod.rs │ │ ├── test.rs │ │ ├── utils.rs │ │ └── verifying_circuit.rs └── mod.rs ├── primitives └── mod.rs ├── redjubjub.rs ├── rescue ├── bn256 │ └── mod.rs ├── mod.rs └── rescue_transcript.rs └── util.rs /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/cargo-license.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/workflows/cargo-license.yaml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/secrets_scanner.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/.github/workflows/secrets_scanner.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | **/*.rs.bk 3 | Cargo.lock 4 | .idea 5 | .vscode 6 | -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/SECURITY.md -------------------------------------------------------------------------------- /deny.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/deny.toml -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2024-08-01 2 | -------------------------------------------------------------------------------- /src/alt_babyjubjub/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/alt_babyjubjub/fs.rs -------------------------------------------------------------------------------- /src/alt_babyjubjub/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/alt_babyjubjub/mod.rs -------------------------------------------------------------------------------- /src/alt_babyjubjub/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/alt_babyjubjub/tests.rs -------------------------------------------------------------------------------- /src/as_waksman.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/as_waksman.rs -------------------------------------------------------------------------------- /src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/constants.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/bench.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/bn256/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/bn256/mod.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/edwards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/edwards.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/mod.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/tests.rs -------------------------------------------------------------------------------- /src/generic_twisted_edwards/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/generic_twisted_edwards/util.rs -------------------------------------------------------------------------------- /src/group_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/group_hash.rs -------------------------------------------------------------------------------- /src/interpolation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/interpolation.rs -------------------------------------------------------------------------------- /src/jubjub/edwards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/jubjub/edwards.rs -------------------------------------------------------------------------------- /src/jubjub/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/jubjub/fs.rs -------------------------------------------------------------------------------- /src/jubjub/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/jubjub/mod.rs -------------------------------------------------------------------------------- /src/jubjub/montgomery.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/jubjub/montgomery.rs -------------------------------------------------------------------------------- /src/jubjub/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/jubjub/tests.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/pedersen_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/pedersen_hash.rs -------------------------------------------------------------------------------- /src/plonk/circuit/allocated_num.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/allocated_num.rs -------------------------------------------------------------------------------- /src/plonk/circuit/assignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/assignment.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/bigint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/bigint.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/field.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/range_constraint_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/range_constraint_functions.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/range_constraint_gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/range_constraint_gate.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/range_constraint_with_two_bit_gate.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/plonk/circuit/bigint/single_table_range_constraint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint/single_table_range_constraint.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/amplified_linear_combination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/amplified_linear_combination.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/bigint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/bigint.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/field.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/range_check_custom_gate2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/range_check_custom_gate2.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/range_check_table2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/range_check_table2.rs -------------------------------------------------------------------------------- /src/plonk/circuit/bigint_new/range_checks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/bigint_new/range_checks.rs -------------------------------------------------------------------------------- /src/plonk/circuit/blake2s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/blake2s.rs -------------------------------------------------------------------------------- /src/plonk/circuit/boolean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/boolean.rs -------------------------------------------------------------------------------- /src/plonk/circuit/byte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/byte.rs -------------------------------------------------------------------------------- /src/plonk/circuit/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/counter.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/endomorphism.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/endomorphism.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/multiexp_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/multiexp_table.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/selection_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/selection_table.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/sw_affine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/sw_affine.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve/sw_projective.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve/sw_projective.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/secp256k1/fq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/secp256k1/fq.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/secp256k1/fr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/secp256k1/fr.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/secp256k1/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/secp256k1/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/sw_affine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/sw_affine.rs -------------------------------------------------------------------------------- /src/plonk/circuit/curve_new/sw_projective.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/curve_new/sw_projective.rs -------------------------------------------------------------------------------- /src/plonk/circuit/custom_5th_degree_gate_optimized.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/custom_5th_degree_gate_optimized.rs -------------------------------------------------------------------------------- /src/plonk/circuit/custom_rescue_gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/custom_rescue_gate.rs -------------------------------------------------------------------------------- /src/plonk/circuit/edwards/bn256/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/edwards/bn256/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/edwards/edwards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/edwards/edwards.rs -------------------------------------------------------------------------------- /src/plonk/circuit/edwards/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/edwards/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/edwards/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/edwards/tests.rs -------------------------------------------------------------------------------- /src/plonk/circuit/goldilocks/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/goldilocks/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/goldilocks/prime_field_like.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/goldilocks/prime_field_like.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/blake2s/gadgets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/blake2s/gadgets.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/blake2s/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/blake2s/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/blake2s/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/blake2s/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/blake2s/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/blake2s/test.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/gadgets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/gadgets.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/keccak_testsuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/keccak_testsuit.py -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/tests.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/keccak/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/keccak/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/gadgets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/gadgets.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/hasher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/hasher.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/test.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/reinforcement_concrete/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/reinforcement_concrete/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/sha256/gadgets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/sha256/gadgets.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/sha256/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/sha256/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/sha256/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/sha256/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/sha256/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/sha256/test.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/sha256/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/sha256/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/hashes_with_tables/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/hashes_with_tables/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/linear_combination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/linear_combination.rs -------------------------------------------------------------------------------- /src/plonk/circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/multieq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/multieq.rs -------------------------------------------------------------------------------- /src/plonk/circuit/permutation_network/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/permutation_network/circuit.rs -------------------------------------------------------------------------------- /src/plonk/circuit/permutation_network/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/permutation_network/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/permutation_network/witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/permutation_network/witness.rs -------------------------------------------------------------------------------- /src/plonk/circuit/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/poseidon.rs -------------------------------------------------------------------------------- /src/plonk/circuit/rescue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/rescue.rs -------------------------------------------------------------------------------- /src/plonk/circuit/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/sha256.rs -------------------------------------------------------------------------------- /src/plonk/circuit/simple_term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/simple_term.rs -------------------------------------------------------------------------------- /src/plonk/circuit/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/tables.rs -------------------------------------------------------------------------------- /src/plonk/circuit/uint32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/uint32.rs -------------------------------------------------------------------------------- /src/plonk/circuit/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/affine_point_wrapper/aux_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/affine_point_wrapper/aux_data.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/affine_point_wrapper/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/affine_point_wrapper/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/affine_point_wrapper/with_zero_flag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/affine_point_wrapper/with_zero_flag.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/affine_point_wrapper/without_flag_checked.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/affine_point_wrapper/without_flag_checked.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/affine_point_wrapper/without_flag_unchecked.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/affine_point_wrapper/without_flag_unchecked.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/channel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/channel.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/data_structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/data_structs.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/helper_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/helper_functions.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/mod.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/test.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/utils.rs -------------------------------------------------------------------------------- /src/plonk/circuit/verifier_circuit/verifying_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/plonk/circuit/verifier_circuit/verifying_circuit.rs -------------------------------------------------------------------------------- /src/plonk/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod circuit; -------------------------------------------------------------------------------- /src/primitives/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/primitives/mod.rs -------------------------------------------------------------------------------- /src/redjubjub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/redjubjub.rs -------------------------------------------------------------------------------- /src/rescue/bn256/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/rescue/bn256/mod.rs -------------------------------------------------------------------------------- /src/rescue/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/rescue/mod.rs -------------------------------------------------------------------------------- /src/rescue/rescue_transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/rescue/rescue_transcript.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/matter-labs/franklin-crypto/HEAD/src/util.rs --------------------------------------------------------------------------------