├── .github ├── ISSUE_TEMPLATE │ └── eli15.md ├── actions │ └── prepare │ │ └── action.yml ├── dependabot.yml └── workflows │ ├── bench.yml │ ├── book.yml │ ├── ci.yml │ ├── lints-beta.yml │ ├── lints-stable.yml │ └── zizmor.yml ├── .gitignore ├── COPYING.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── book ├── .gitignore ├── book.toml ├── macros.txt └── src │ ├── IDENTIFIERS.json │ ├── README.md │ ├── SUMMARY.md │ ├── background.md │ ├── background │ ├── curves.md │ ├── fields.md │ ├── groups.md │ ├── pc-ipa.md │ ├── plonkish.md │ ├── polynomials.md │ └── recursion.md │ ├── concepts.md │ ├── concepts │ ├── arithmetization.md │ ├── chips.md │ ├── gadgets.md │ └── proofs.md │ ├── design.md │ ├── design │ ├── gadgets.md │ ├── gadgets │ │ ├── decomposition.md │ │ ├── ecc.md │ │ ├── ecc │ │ │ ├── addition.md │ │ │ ├── fixed-base-scalar-mul.md │ │ │ ├── var-base-scalar-mul.md │ │ │ └── witnessing-points.md │ │ ├── sha256.md │ │ ├── sha256 │ │ │ ├── bit_reassignment.png │ │ │ ├── compression.png │ │ │ ├── low_sigma_0.png │ │ │ ├── low_sigma_1.png │ │ │ ├── table16.md │ │ │ ├── upp_sigma_0.png │ │ │ └── upp_sigma_1.png │ │ ├── sinsemilla.md │ │ └── sinsemilla │ │ │ └── merkle-crh.md │ ├── implementation.md │ ├── implementation │ │ ├── fields.md │ │ ├── proofs.md │ │ └── selector-combining.md │ ├── protocol.md │ ├── proving-system.md │ └── proving-system │ │ ├── circuit-commitments.md │ │ ├── comparison.md │ │ ├── inner-product.md │ │ ├── lookup.md │ │ ├── multipoint-opening.md │ │ ├── permutation-diagram.png │ │ ├── permutation-diagram.svg │ │ ├── permutation.md │ │ └── vanishing.md │ ├── dev.md │ ├── dev │ └── features.md │ ├── user.md │ └── user │ ├── dev-tools.md │ ├── gadgets.md │ ├── lookup-tables.md │ ├── simple-example.md │ ├── tips-and-tricks.md │ └── wasm-port.md ├── halo2 ├── CHANGELOG.md ├── Cargo.toml ├── katex-header.html └── src │ └── lib.rs ├── halo2_gadgets ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── benches │ ├── poseidon.rs │ ├── primitives.rs │ └── sha256.rs ├── katex-header.html ├── proptest-regressions │ └── constants │ │ └── util.txt └── src │ ├── ecc.rs │ ├── ecc │ ├── chip.rs │ └── chip │ │ ├── add.rs │ │ ├── add_incomplete.rs │ │ ├── constants.rs │ │ ├── mul.rs │ │ ├── mul │ │ ├── complete.rs │ │ ├── incomplete.rs │ │ └── overflow.rs │ │ ├── mul_fixed.rs │ │ ├── mul_fixed │ │ ├── base_field_elem.rs │ │ ├── full_width.rs │ │ └── short.rs │ │ └── witness_point.rs │ ├── lib.rs │ ├── poseidon.rs │ ├── poseidon │ └── pow5.rs │ ├── sha256.rs │ ├── sha256 │ ├── table16.rs │ └── table16 │ │ ├── compression.rs │ │ ├── compression │ │ ├── compression_gates.rs │ │ ├── compression_util.rs │ │ ├── subregion_digest.rs │ │ ├── subregion_initial.rs │ │ └── subregion_main.rs │ │ ├── gates.rs │ │ ├── message_schedule.rs │ │ ├── message_schedule │ │ ├── schedule_gates.rs │ │ ├── schedule_util.rs │ │ ├── subregion1.rs │ │ ├── subregion2.rs │ │ └── subregion3.rs │ │ ├── spread_table.rs │ │ └── util.rs │ ├── sinsemilla.rs │ ├── sinsemilla │ ├── chip.rs │ ├── chip │ │ ├── generator_table.rs │ │ └── hash_to_point.rs │ ├── merkle.rs │ ├── merkle │ │ └── chip.rs │ └── message.rs │ ├── test_circuits.rs │ ├── test_circuits │ ├── circuit_data │ │ ├── proof_ecc_chip.bin │ │ ├── proof_ecc_chip_4_5b.bin │ │ ├── proof_lookup_range_check.bin │ │ ├── proof_lookup_range_check_4_5b.bin │ │ ├── proof_merkle_chip.bin │ │ ├── proof_merkle_with_private_init_chip_4_5b.bin │ │ ├── proof_short_range_check_4_5b_case0.bin │ │ ├── proof_short_range_check_4_5b_case1.bin │ │ ├── proof_short_range_check_4_5b_case2.bin │ │ ├── proof_short_range_check_4_5b_case3.bin │ │ ├── proof_short_range_check_case0.bin │ │ ├── proof_short_range_check_case1.bin │ │ ├── proof_short_range_check_case2.bin │ │ ├── proof_sinsemilla_chip.bin │ │ ├── proof_sinsemilla_with_private_init_chip_4_5b.bin │ │ ├── vk_ecc_chip.rdata │ │ ├── vk_ecc_chip_4_5b.rdata │ │ ├── vk_lookup_range_check.rdata │ │ ├── vk_lookup_range_check_4_5b.rdata │ │ ├── vk_merkle_chip.rdata │ │ ├── vk_merkle_with_private_init_chip_4_5b.rdata │ │ ├── vk_short_range_check_4_5b_case0.rdata │ │ ├── vk_short_range_check_4_5b_case1.rdata │ │ ├── vk_short_range_check_4_5b_case2.rdata │ │ ├── vk_short_range_check_4_5b_case3.rdata │ │ ├── vk_short_range_check_case0.rdata │ │ ├── vk_short_range_check_case1.rdata │ │ ├── vk_short_range_check_case2.rdata │ │ ├── vk_sinsemilla_chip.rdata │ │ └── vk_sinsemilla_with_private_init_chip_4_5b.rdata │ └── test_utils.rs │ ├── utilities.rs │ └── utilities │ ├── cond_swap.rs │ ├── decompose_running_sum.rs │ └── lookup_range_check.rs ├── halo2_poseidon ├── CHANGELOG.md ├── Cargo.toml ├── README.md └── src │ ├── fp.rs │ ├── fq.rs │ ├── grain.rs │ ├── lib.rs │ ├── mds.rs │ ├── p128pow5t3.rs │ └── test_vectors.rs ├── halo2_proofs ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── benches │ ├── arithmetic.rs │ ├── dev_lookup.rs │ ├── fft.rs │ ├── hashtocurve.rs │ ├── msm.rs │ └── plonk.rs ├── examples │ ├── circuit-layout.rs │ ├── cost-model.rs │ ├── simple-example.rs │ └── two-chip.rs ├── katex-header.html ├── proptest-regressions │ └── plonk │ │ ├── assigned.txt │ │ └── circuit │ │ └── compress_selectors.txt ├── src │ ├── arithmetic.rs │ ├── circuit.rs │ ├── circuit │ │ ├── floor_planner.rs │ │ ├── floor_planner │ │ │ ├── single_pass.rs │ │ │ ├── v1.rs │ │ │ └── v1 │ │ │ │ └── strategy.rs │ │ ├── layouter.rs │ │ ├── table_layouter.rs │ │ └── value.rs │ ├── dev.rs │ ├── dev │ │ ├── cost.rs │ │ ├── failure.rs │ │ ├── failure │ │ │ └── emitter.rs │ │ ├── gates.rs │ │ ├── graph.rs │ │ ├── graph │ │ │ └── layout.rs │ │ ├── metadata.rs │ │ ├── tfp.rs │ │ └── util.rs │ ├── helpers.rs │ ├── lib.rs │ ├── multicore.rs │ ├── plonk.rs │ ├── plonk │ │ ├── assigned.rs │ │ ├── circuit.rs │ │ ├── circuit │ │ │ └── compress_selectors.rs │ │ ├── error.rs │ │ ├── keygen.rs │ │ ├── lookup.rs │ │ ├── lookup │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── permutation.rs │ │ ├── permutation │ │ │ ├── keygen.rs │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── prover.rs │ │ ├── vanishing.rs │ │ ├── vanishing │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── verifier.rs │ │ └── verifier │ │ │ └── batch.rs │ ├── poly.rs │ ├── poly │ │ ├── commitment.rs │ │ ├── commitment │ │ │ ├── msm.rs │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── domain.rs │ │ ├── evaluator.rs │ │ ├── multiopen.rs │ │ └── multiopen │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ └── transcript.rs └── tests │ ├── plonk_api.rs │ └── plonk_api_proof.bin └── rust-toolchain.toml /.github/ISSUE_TEMPLATE/eli15.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/ISSUE_TEMPLATE/eli15.md -------------------------------------------------------------------------------- /.github/actions/prepare/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/actions/prepare/action.yml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/bench.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/bench.yml -------------------------------------------------------------------------------- /.github/workflows/book.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/book.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/lints-beta.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/lints-beta.yml -------------------------------------------------------------------------------- /.github/workflows/lints-stable.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/lints-stable.yml -------------------------------------------------------------------------------- /.github/workflows/zizmor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.github/workflows/zizmor.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/COPYING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/README.md -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/macros.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/macros.txt -------------------------------------------------------------------------------- /book/src/IDENTIFIERS.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/IDENTIFIERS.json -------------------------------------------------------------------------------- /book/src/README.md: -------------------------------------------------------------------------------- 1 | {{#include ../../README.md}} 2 | -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/background.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background.md -------------------------------------------------------------------------------- /book/src/background/curves.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/curves.md -------------------------------------------------------------------------------- /book/src/background/fields.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/fields.md -------------------------------------------------------------------------------- /book/src/background/groups.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/groups.md -------------------------------------------------------------------------------- /book/src/background/pc-ipa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/pc-ipa.md -------------------------------------------------------------------------------- /book/src/background/plonkish.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/plonkish.md -------------------------------------------------------------------------------- /book/src/background/polynomials.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/polynomials.md -------------------------------------------------------------------------------- /book/src/background/recursion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/background/recursion.md -------------------------------------------------------------------------------- /book/src/concepts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/concepts.md -------------------------------------------------------------------------------- /book/src/concepts/arithmetization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/concepts/arithmetization.md -------------------------------------------------------------------------------- /book/src/concepts/chips.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/concepts/chips.md -------------------------------------------------------------------------------- /book/src/concepts/gadgets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/concepts/gadgets.md -------------------------------------------------------------------------------- /book/src/concepts/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/concepts/proofs.md -------------------------------------------------------------------------------- /book/src/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design.md -------------------------------------------------------------------------------- /book/src/design/gadgets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets.md -------------------------------------------------------------------------------- /book/src/design/gadgets/decomposition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/decomposition.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/ecc.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/addition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/ecc/addition.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/fixed-base-scalar-mul.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/ecc/fixed-base-scalar-mul.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/var-base-scalar-mul.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/ecc/var-base-scalar-mul.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/witnessing-points.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/ecc/witnessing-points.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/bit_reassignment.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/bit_reassignment.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/compression.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/compression.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/low_sigma_0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/low_sigma_0.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/low_sigma_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/low_sigma_1.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/table16.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/table16.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/upp_sigma_0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/upp_sigma_0.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/upp_sigma_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sha256/upp_sigma_1.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sinsemilla.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sinsemilla.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sinsemilla/merkle-crh.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/gadgets/sinsemilla/merkle-crh.md -------------------------------------------------------------------------------- /book/src/design/implementation.md: -------------------------------------------------------------------------------- 1 | # Implementation 2 | -------------------------------------------------------------------------------- /book/src/design/implementation/fields.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/implementation/fields.md -------------------------------------------------------------------------------- /book/src/design/implementation/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/implementation/proofs.md -------------------------------------------------------------------------------- /book/src/design/implementation/selector-combining.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/implementation/selector-combining.md -------------------------------------------------------------------------------- /book/src/design/protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/protocol.md -------------------------------------------------------------------------------- /book/src/design/proving-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system.md -------------------------------------------------------------------------------- /book/src/design/proving-system/circuit-commitments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/circuit-commitments.md -------------------------------------------------------------------------------- /book/src/design/proving-system/comparison.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/comparison.md -------------------------------------------------------------------------------- /book/src/design/proving-system/inner-product.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/inner-product.md -------------------------------------------------------------------------------- /book/src/design/proving-system/lookup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/lookup.md -------------------------------------------------------------------------------- /book/src/design/proving-system/multipoint-opening.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/multipoint-opening.md -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation-diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/permutation-diagram.png -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation-diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/permutation-diagram.svg -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/permutation.md -------------------------------------------------------------------------------- /book/src/design/proving-system/vanishing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/design/proving-system/vanishing.md -------------------------------------------------------------------------------- /book/src/dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/dev.md -------------------------------------------------------------------------------- /book/src/dev/features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/dev/features.md -------------------------------------------------------------------------------- /book/src/user.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user.md -------------------------------------------------------------------------------- /book/src/user/dev-tools.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user/dev-tools.md -------------------------------------------------------------------------------- /book/src/user/gadgets.md: -------------------------------------------------------------------------------- 1 | # Gadgets 2 | -------------------------------------------------------------------------------- /book/src/user/lookup-tables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user/lookup-tables.md -------------------------------------------------------------------------------- /book/src/user/simple-example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user/simple-example.md -------------------------------------------------------------------------------- /book/src/user/tips-and-tricks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user/tips-and-tricks.md -------------------------------------------------------------------------------- /book/src/user/wasm-port.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/book/src/user/wasm-port.md -------------------------------------------------------------------------------- /halo2/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2/CHANGELOG.md -------------------------------------------------------------------------------- /halo2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2/Cargo.toml -------------------------------------------------------------------------------- /halo2/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2/katex-header.html -------------------------------------------------------------------------------- /halo2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2/src/lib.rs -------------------------------------------------------------------------------- /halo2_gadgets/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/CHANGELOG.md -------------------------------------------------------------------------------- /halo2_gadgets/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/Cargo.toml -------------------------------------------------------------------------------- /halo2_gadgets/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/README.md -------------------------------------------------------------------------------- /halo2_gadgets/benches/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/benches/poseidon.rs -------------------------------------------------------------------------------- /halo2_gadgets/benches/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/benches/primitives.rs -------------------------------------------------------------------------------- /halo2_gadgets/benches/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/benches/sha256.rs -------------------------------------------------------------------------------- /halo2_gadgets/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/katex-header.html -------------------------------------------------------------------------------- /halo2_gadgets/proptest-regressions/constants/util.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/proptest-regressions/constants/util.txt -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/add.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/add_incomplete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/add_incomplete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/constants.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/complete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul/complete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/incomplete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul/incomplete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul/overflow.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed/base_field_elem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed/base_field_elem.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed/full_width.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed/full_width.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed/short.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed/short.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/witness_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/ecc/chip/witness_point.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/lib.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/poseidon.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/pow5.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/poseidon/pow5.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/compression_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression/compression_gates.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/compression_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression/compression_util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_digest.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_initial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_initial.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_main.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/gates.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/schedule_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/schedule_gates.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion1.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/spread_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/spread_table.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sha256/table16/util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip/generator_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/chip/generator_table.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/merkle.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/merkle/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/merkle/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/sinsemilla/message.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits.rs: -------------------------------------------------------------------------------- 1 | pub(crate) mod test_utils; 2 | -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_ecc_chip.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_ecc_chip.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_ecc_chip_4_5b.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_ecc_chip_4_5b.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_lookup_range_check.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_lookup_range_check.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_lookup_range_check_4_5b.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_lookup_range_check_4_5b.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_merkle_chip.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_merkle_chip.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_merkle_with_private_init_chip_4_5b.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_merkle_with_private_init_chip_4_5b.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case0.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case0.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case1.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case2.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_4_5b_case3.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case0.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case0.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case1.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_short_range_check_case2.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_sinsemilla_chip.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_sinsemilla_chip.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/proof_sinsemilla_with_private_init_chip_4_5b.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/proof_sinsemilla_with_private_init_chip_4_5b.bin -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_ecc_chip.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_ecc_chip.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_ecc_chip_4_5b.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_ecc_chip_4_5b.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_lookup_range_check.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_lookup_range_check.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_lookup_range_check_4_5b.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_lookup_range_check_4_5b.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_merkle_chip.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_merkle_chip.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_merkle_with_private_init_chip_4_5b.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_merkle_with_private_init_chip_4_5b.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case0.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case0.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case1.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case1.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case2.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case2.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case3.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_4_5b_case3.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case0.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case0.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case1.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case1.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case2.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_short_range_check_case2.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_sinsemilla_chip.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_sinsemilla_chip.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/circuit_data/vk_sinsemilla_with_private_init_chip_4_5b.rdata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/circuit_data/vk_sinsemilla_with_private_init_chip_4_5b.rdata -------------------------------------------------------------------------------- /halo2_gadgets/src/test_circuits/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/test_circuits/test_utils.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/utilities.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/cond_swap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/utilities/cond_swap.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/decompose_running_sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/utilities/decompose_running_sum.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/lookup_range_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_gadgets/src/utilities/lookup_range_check.rs -------------------------------------------------------------------------------- /halo2_poseidon/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/CHANGELOG.md -------------------------------------------------------------------------------- /halo2_poseidon/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/Cargo.toml -------------------------------------------------------------------------------- /halo2_poseidon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/README.md -------------------------------------------------------------------------------- /halo2_poseidon/src/fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/fp.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/fq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/fq.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/grain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/grain.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/lib.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/mds.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/mds.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/p128pow5t3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/p128pow5t3.rs -------------------------------------------------------------------------------- /halo2_poseidon/src/test_vectors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_poseidon/src/test_vectors.rs -------------------------------------------------------------------------------- /halo2_proofs/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/CHANGELOG.md -------------------------------------------------------------------------------- /halo2_proofs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/Cargo.toml -------------------------------------------------------------------------------- /halo2_proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/README.md -------------------------------------------------------------------------------- /halo2_proofs/benches/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/arithmetic.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/dev_lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/dev_lookup.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/fft.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/fft.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/hashtocurve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/hashtocurve.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/msm.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/benches/plonk.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/circuit-layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/examples/circuit-layout.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/cost-model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/examples/cost-model.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/simple-example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/examples/simple-example.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/two-chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/examples/two-chip.rs -------------------------------------------------------------------------------- /halo2_proofs/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/katex-header.html -------------------------------------------------------------------------------- /halo2_proofs/proptest-regressions/plonk/assigned.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/proptest-regressions/plonk/assigned.txt -------------------------------------------------------------------------------- /halo2_proofs/proptest-regressions/plonk/circuit/compress_selectors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/proptest-regressions/plonk/circuit/compress_selectors.txt -------------------------------------------------------------------------------- /halo2_proofs/src/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/arithmetic.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/floor_planner.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/single_pass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/floor_planner/single_pass.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/floor_planner/v1.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/v1/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/floor_planner/v1/strategy.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/layouter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/layouter.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/table_layouter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/table_layouter.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/circuit/value.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/cost.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/cost.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/failure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/failure.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/failure/emitter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/failure/emitter.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/gates.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/graph.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/graph/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/graph/layout.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/metadata.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/metadata.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/tfp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/tfp.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/dev/util.rs -------------------------------------------------------------------------------- /halo2_proofs/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/helpers.rs -------------------------------------------------------------------------------- /halo2_proofs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/lib.rs -------------------------------------------------------------------------------- /halo2_proofs/src/multicore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/multicore.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/assigned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/assigned.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/circuit.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/circuit/compress_selectors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/circuit/compress_selectors.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/error.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/keygen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/lookup.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/lookup/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/lookup/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/permutation.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/permutation/keygen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/permutation/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/permutation/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/vanishing.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/vanishing/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/vanishing/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/verifier/batch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/plonk/verifier/batch.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/commitment.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/commitment/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/commitment/msm.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/commitment/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/commitment/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/commitment/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/commitment/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/domain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/domain.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/evaluator.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/multiopen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/multiopen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/multiopen/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/multiopen/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/multiopen/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/poly/multiopen/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/src/transcript.rs -------------------------------------------------------------------------------- /halo2_proofs/tests/plonk_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/tests/plonk_api.rs -------------------------------------------------------------------------------- /halo2_proofs/tests/plonk_api_proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/halo2_proofs/tests/plonk_api_proof.bin -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zcash/halo2/HEAD/rust-toolchain.toml --------------------------------------------------------------------------------