├── .gitattributes ├── .github ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── deny.yml │ ├── nix.yml │ ├── pr.yml │ └── wasm.yml ├── .gitignore ├── .rustfmt.toml ├── CHANGELOG.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── cliff.toml ├── crates ├── noir_halo2_backend_axiom │ ├── Cargo.toml │ ├── benches │ │ ├── bench_compilation.rs │ │ ├── bench_noir_halo2_axiom_prove.rs │ │ └── bench_noir_halo2_axiom_verify.rs │ ├── src │ │ ├── acvm_interop │ │ │ ├── common_reference_string.rs │ │ │ ├── mod.rs │ │ │ ├── proof_system.rs │ │ │ ├── pwg.rs │ │ │ └── smart_contract.rs │ │ ├── assigned_map.rs │ │ ├── circuit_translator.rs │ │ ├── constrains.rs │ │ ├── dimension_measure.rs │ │ ├── halo2_params.rs │ │ ├── halo2_plonk_api.rs │ │ ├── lib.rs │ │ ├── tests.rs │ │ └── wasm.rs │ └── tests │ │ └── test_axiom.rs ├── noir_halo2_backend_common │ ├── Cargo.toml │ ├── src │ │ ├── aztec_crs.rs │ │ ├── errors.rs │ │ ├── lib.rs │ │ ├── test_helpers.rs │ │ ├── utils.rs │ │ └── wasm.rs │ └── test_programs │ │ ├── 10_public_io │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 11_public_io_array │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 1_mul │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 2_div │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 3_add │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 4_sub │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 5_over │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 6_array │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 7_function │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ ├── 8_bit_and │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ │ └── 9_poseidon │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ └── main.nr ├── noir_halo2_backend_pse │ ├── Cargo.toml │ ├── benches │ │ ├── bench_compilation.rs │ │ ├── bench_noir_halo2_pse_prove.rs │ │ └── bench_noir_halo2_pse_verify.rs │ ├── src │ │ ├── acvm_interop │ │ │ ├── common_reference_string.rs │ │ │ ├── mod.rs │ │ │ ├── proof_system.rs │ │ │ ├── pwg.rs │ │ │ └── smart_contract.rs │ │ ├── assigned_map.rs │ │ ├── circuit_translator.rs │ │ ├── constrains.rs │ │ ├── dimension_measure.rs │ │ ├── halo2_params.rs │ │ ├── halo2_plonk_api.rs │ │ ├── lib.rs │ │ ├── tests.rs │ │ └── wasm.rs │ └── tests │ │ └── test_pse.rs └── noir_halo2_backend_zcash │ ├── Cargo.toml │ └── src │ ├── acvm_interop │ ├── common_reference_string.rs │ ├── mod.rs │ ├── proof_system.rs │ ├── pwg.rs │ └── smart_contract.rs │ ├── circuit_translator.rs │ ├── constrains.rs │ ├── halo2_params.rs │ ├── halo2_plonk_api.rs │ └── lib.rs ├── default.nix ├── deny.toml ├── flake.lock ├── flake.nix ├── rust-toolchain └── shell.nix /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/deny.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/workflows/deny.yml -------------------------------------------------------------------------------- /.github/workflows/nix.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/workflows/nix.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/wasm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.github/workflows/wasm.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.gitignore -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/.rustfmt.toml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/README.md -------------------------------------------------------------------------------- /cliff.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/cliff.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/Cargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/benches/bench_compilation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/benches/bench_compilation.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/benches/bench_noir_halo2_axiom_prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/benches/bench_noir_halo2_axiom_prove.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/benches/bench_noir_halo2_axiom_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/benches/bench_noir_halo2_axiom_verify.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/acvm_interop/common_reference_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/acvm_interop/common_reference_string.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/acvm_interop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/acvm_interop/mod.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/acvm_interop/proof_system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/acvm_interop/proof_system.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/acvm_interop/pwg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/acvm_interop/pwg.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/acvm_interop/smart_contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/acvm_interop/smart_contract.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/assigned_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/assigned_map.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/circuit_translator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/circuit_translator.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/constrains.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/constrains.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/dimension_measure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/dimension_measure.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/halo2_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/halo2_params.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/halo2_plonk_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/halo2_plonk_api.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/lib.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/tests.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/src/wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/src/wasm.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_axiom/tests/test_axiom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_axiom/tests/test_axiom.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/Cargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/aztec_crs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/aztec_crs.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/errors.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/lib.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/test_helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/test_helpers.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/utils.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/src/wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/src/wasm.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/10_public_io/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/10_public_io/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/10_public_io/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/10_public_io/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/10_public_io/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/10_public_io/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/11_public_io_array/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/11_public_io_array/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/11_public_io_array/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/11_public_io_array/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/11_public_io_array/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/11_public_io_array/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/1_mul/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/1_mul/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/1_mul/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/1_mul/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/1_mul/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/1_mul/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/2_div/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/2_div/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/2_div/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/2_div/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/2_div/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/2_div/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/3_add/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/3_add/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/3_add/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/3_add/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/3_add/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/3_add/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/4_sub/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/4_sub/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/4_sub/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/4_sub/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/4_sub/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/4_sub/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/5_over/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/5_over/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/5_over/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/5_over/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/5_over/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/5_over/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/6_array/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/6_array/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/6_array/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/6_array/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/6_array/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/6_array/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/7_function/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/7_function/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/7_function/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/7_function/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/7_function/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/7_function/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/8_bit_and/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/8_bit_and/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/8_bit_and/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/8_bit_and/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/8_bit_and/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/8_bit_and/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/9_poseidon/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/9_poseidon/Nargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/9_poseidon/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/9_poseidon/Prover.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_common/test_programs/9_poseidon/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_common/test_programs/9_poseidon/src/main.nr -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/Cargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/benches/bench_compilation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/benches/bench_compilation.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/benches/bench_noir_halo2_pse_prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/benches/bench_noir_halo2_pse_prove.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/benches/bench_noir_halo2_pse_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/benches/bench_noir_halo2_pse_verify.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/acvm_interop/common_reference_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/acvm_interop/common_reference_string.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/acvm_interop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/acvm_interop/mod.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/acvm_interop/proof_system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/acvm_interop/proof_system.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/acvm_interop/pwg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/acvm_interop/pwg.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/assigned_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/assigned_map.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/circuit_translator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/circuit_translator.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/constrains.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/constrains.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/dimension_measure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/dimension_measure.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/halo2_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/halo2_params.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/halo2_plonk_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/halo2_plonk_api.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/lib.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/tests.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/src/wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/src/wasm.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_pse/tests/test_pse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_pse/tests/test_pse.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/Cargo.toml -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/acvm_interop/common_reference_string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/acvm_interop/common_reference_string.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/acvm_interop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/acvm_interop/mod.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/acvm_interop/proof_system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/acvm_interop/proof_system.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/acvm_interop/pwg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/acvm_interop/pwg.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/acvm_interop/smart_contract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/acvm_interop/smart_contract.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/circuit_translator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/circuit_translator.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/constrains.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/constrains.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/halo2_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/halo2_params.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/halo2_plonk_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/halo2_plonk_api.rs -------------------------------------------------------------------------------- /crates/noir_halo2_backend_zcash/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/crates/noir_halo2_backend_zcash/src/lib.rs -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/default.nix -------------------------------------------------------------------------------- /deny.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/deny.toml -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/flake.nix -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2022-10-28 2 | -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ethan-000/halo2_backend/HEAD/shell.nix --------------------------------------------------------------------------------