├── .github ├── ISSUE_TEMPLATE │ └── eli15.md ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── ci_main.yml │ ├── lints-beta.yml │ ├── lints-stable.yml │ └── trigger_proverbench_dispatch.yml ├── .gitignore ├── COPYING.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── book ├── .gitignore ├── Makefile ├── book.toml ├── edithtml.sh ├── 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 │ ├── user.md │ └── user │ ├── dev-tools.md │ ├── gadgets.md │ ├── lookup-tables.md │ ├── simple-example.md │ └── tips-and-tricks.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 │ ├── primitives.rs │ └── primitives │ │ ├── fp.rs │ │ ├── fq.rs │ │ ├── grain.rs │ │ ├── mds.rs │ │ ├── p128pow5t3.rs │ │ └── test_vectors.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 │ ├── primitives.rs │ └── primitives │ │ ├── addition.rs │ │ └── sinsemilla_s.rs │ ├── utilities.rs │ └── utilities │ ├── cond_swap.rs │ ├── decompose_running_sum.rs │ └── lookup_range_check.rs ├── halo2_proofs ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── benches │ ├── arithmetic.rs │ ├── commit_zk.rs │ ├── dev_lookup.rs │ ├── fft.rs │ ├── hashtocurve.rs │ └── plonk.rs ├── examples │ ├── circuit-layout.rs │ ├── cost-model.rs │ ├── folding.rs │ ├── serialization.rs │ ├── shuffle.rs │ ├── shuffle_api.rs │ ├── simple-example.rs │ ├── two-chip.rs │ └── vector-mul.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 │ │ └── value.rs │ ├── dev.rs │ ├── dev │ │ ├── cost.rs │ │ ├── failure.rs │ │ ├── failure │ │ │ └── emitter.rs │ │ ├── gates.rs │ │ ├── graph.rs │ │ ├── graph │ │ │ └── layout.rs │ │ ├── metadata.rs │ │ └── util.rs │ ├── helpers.rs │ ├── lib.rs │ ├── multicore.rs │ ├── plonk.rs │ ├── plonk │ │ ├── assigned.rs │ │ ├── circuit.rs │ │ ├── circuit │ │ │ └── compress_selectors.rs │ │ ├── error.rs │ │ ├── evaluation.rs │ │ ├── keygen.rs │ │ ├── lookup.rs │ │ ├── lookup │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── permutation.rs │ │ ├── permutation │ │ │ ├── keygen.rs │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── prover.rs │ │ ├── shuffle.rs │ │ ├── shuffle │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── vanishing.rs │ │ ├── vanishing │ │ │ ├── prover.rs │ │ │ └── verifier.rs │ │ ├── verifier.rs │ │ └── verifier │ │ │ └── batch.rs │ ├── poly.rs │ ├── poly │ │ ├── commitment.rs │ │ ├── domain.rs │ │ ├── evaluator.rs │ │ ├── ipa │ │ │ ├── commitment.rs │ │ │ ├── commitment │ │ │ │ ├── prover.rs │ │ │ │ └── verifier.rs │ │ │ ├── mod.rs │ │ │ ├── msm.rs │ │ │ ├── multiopen.rs │ │ │ ├── multiopen │ │ │ │ ├── prover.rs │ │ │ │ └── verifier.rs │ │ │ └── strategy.rs │ │ ├── kzg │ │ │ ├── commitment.rs │ │ │ ├── mod.rs │ │ │ ├── msm.rs │ │ │ ├── multiopen.rs │ │ │ ├── multiopen │ │ │ │ ├── gwc.rs │ │ │ │ ├── gwc │ │ │ │ │ ├── prover.rs │ │ │ │ │ └── verifier.rs │ │ │ │ ├── shplonk.rs │ │ │ │ └── shplonk │ │ │ │ │ ├── prover.rs │ │ │ │ │ └── verifier.rs │ │ │ └── strategy.rs │ │ ├── multiopen_test.rs │ │ ├── query.rs │ │ └── strategy.rs │ ├── protostar.rs │ ├── protostar │ │ ├── accumulator.rs │ │ ├── accumulator │ │ │ ├── committed.rs │ │ │ ├── compressed_verifier.rs │ │ │ ├── gate.rs │ │ │ └── lookup.rs │ │ ├── constraints.rs │ │ ├── constraints │ │ │ ├── expression.rs │ │ │ ├── paired.rs │ │ │ └── polynomial.rs │ │ ├── keygen.rs │ │ ├── prover.rs │ │ └── verifier.rs │ └── transcript.rs └── tests │ └── plonk_api.rs └── rust-toolchain /.github/ISSUE_TEMPLATE/eli15.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/ISSUE_TEMPLATE/eli15.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/ci_main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/workflows/ci_main.yml -------------------------------------------------------------------------------- /.github/workflows/lints-beta.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/workflows/lints-beta.yml -------------------------------------------------------------------------------- /.github/workflows/lints-stable.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/workflows/lints-stable.yml -------------------------------------------------------------------------------- /.github/workflows/trigger_proverbench_dispatch.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.github/workflows/trigger_proverbench_dispatch.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/COPYING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/README.md -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /book/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/Makefile -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/edithtml.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/edithtml.sh -------------------------------------------------------------------------------- /book/macros.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/macros.txt -------------------------------------------------------------------------------- /book/src/IDENTIFIERS.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/IDENTIFIERS.json -------------------------------------------------------------------------------- /book/src/README.md: -------------------------------------------------------------------------------- 1 | {{#include ../../README.md}} 2 | -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/background.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background.md -------------------------------------------------------------------------------- /book/src/background/curves.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/curves.md -------------------------------------------------------------------------------- /book/src/background/fields.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/fields.md -------------------------------------------------------------------------------- /book/src/background/groups.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/groups.md -------------------------------------------------------------------------------- /book/src/background/pc-ipa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/pc-ipa.md -------------------------------------------------------------------------------- /book/src/background/plonkish.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/plonkish.md -------------------------------------------------------------------------------- /book/src/background/polynomials.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/polynomials.md -------------------------------------------------------------------------------- /book/src/background/recursion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/background/recursion.md -------------------------------------------------------------------------------- /book/src/concepts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/concepts.md -------------------------------------------------------------------------------- /book/src/concepts/arithmetization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/concepts/arithmetization.md -------------------------------------------------------------------------------- /book/src/concepts/chips.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/concepts/chips.md -------------------------------------------------------------------------------- /book/src/concepts/gadgets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/concepts/gadgets.md -------------------------------------------------------------------------------- /book/src/concepts/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/concepts/proofs.md -------------------------------------------------------------------------------- /book/src/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design.md -------------------------------------------------------------------------------- /book/src/design/gadgets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets.md -------------------------------------------------------------------------------- /book/src/design/gadgets/decomposition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/decomposition.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/ecc.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/addition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/ecc/addition.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/fixed-base-scalar-mul.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/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/geometryxyz/protostar/HEAD/book/src/design/gadgets/ecc/var-base-scalar-mul.md -------------------------------------------------------------------------------- /book/src/design/gadgets/ecc/witnessing-points.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/ecc/witnessing-points.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/bit_reassignment.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/bit_reassignment.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/compression.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/compression.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/low_sigma_0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/low_sigma_0.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/low_sigma_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/low_sigma_1.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/table16.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/table16.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/upp_sigma_0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/upp_sigma_0.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sha256/upp_sigma_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sha256/upp_sigma_1.png -------------------------------------------------------------------------------- /book/src/design/gadgets/sinsemilla.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/gadgets/sinsemilla.md -------------------------------------------------------------------------------- /book/src/design/gadgets/sinsemilla/merkle-crh.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/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/geometryxyz/protostar/HEAD/book/src/design/implementation/fields.md -------------------------------------------------------------------------------- /book/src/design/implementation/proofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/implementation/proofs.md -------------------------------------------------------------------------------- /book/src/design/implementation/selector-combining.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/implementation/selector-combining.md -------------------------------------------------------------------------------- /book/src/design/protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/protocol.md -------------------------------------------------------------------------------- /book/src/design/proving-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system.md -------------------------------------------------------------------------------- /book/src/design/proving-system/circuit-commitments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/circuit-commitments.md -------------------------------------------------------------------------------- /book/src/design/proving-system/comparison.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/comparison.md -------------------------------------------------------------------------------- /book/src/design/proving-system/inner-product.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/inner-product.md -------------------------------------------------------------------------------- /book/src/design/proving-system/lookup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/lookup.md -------------------------------------------------------------------------------- /book/src/design/proving-system/multipoint-opening.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/multipoint-opening.md -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation-diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/permutation-diagram.png -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation-diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/permutation-diagram.svg -------------------------------------------------------------------------------- /book/src/design/proving-system/permutation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/permutation.md -------------------------------------------------------------------------------- /book/src/design/proving-system/vanishing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/design/proving-system/vanishing.md -------------------------------------------------------------------------------- /book/src/user.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/user.md -------------------------------------------------------------------------------- /book/src/user/dev-tools.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/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/geometryxyz/protostar/HEAD/book/src/user/lookup-tables.md -------------------------------------------------------------------------------- /book/src/user/simple-example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/user/simple-example.md -------------------------------------------------------------------------------- /book/src/user/tips-and-tricks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/book/src/user/tips-and-tricks.md -------------------------------------------------------------------------------- /halo2/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2/CHANGELOG.md -------------------------------------------------------------------------------- /halo2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2/Cargo.toml -------------------------------------------------------------------------------- /halo2/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2/katex-header.html -------------------------------------------------------------------------------- /halo2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2/src/lib.rs -------------------------------------------------------------------------------- /halo2_gadgets/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/CHANGELOG.md -------------------------------------------------------------------------------- /halo2_gadgets/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/Cargo.toml -------------------------------------------------------------------------------- /halo2_gadgets/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/README.md -------------------------------------------------------------------------------- /halo2_gadgets/benches/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/benches/poseidon.rs -------------------------------------------------------------------------------- /halo2_gadgets/benches/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/benches/primitives.rs -------------------------------------------------------------------------------- /halo2_gadgets/benches/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/benches/sha256.rs -------------------------------------------------------------------------------- /halo2_gadgets/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/katex-header.html -------------------------------------------------------------------------------- /halo2_gadgets/proptest-regressions/constants/util.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/proptest-regressions/constants/util.txt -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/add.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/add_incomplete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/add_incomplete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/constants.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/complete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul/complete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/incomplete.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul/incomplete.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul/overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul/overflow.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed/base_field_elem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/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/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed/full_width.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/mul_fixed/short.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/mul_fixed/short.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/ecc/chip/witness_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/ecc/chip/witness_point.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/lib.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/pow5.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/pow5.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/fp.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/fq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/fq.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/grain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/grain.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/mds.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/mds.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/p128pow5t3.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/poseidon/primitives/test_vectors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/poseidon/primitives/test_vectors.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/compression_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression/compression_gates.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/compression_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression/compression_util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_digest.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_initial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_initial.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/compression/subregion_main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/compression/subregion_main.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/gates.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/message_schedule.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/schedule_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/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/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/schedule_util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion1.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion2.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/message_schedule/subregion3.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/spread_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/spread_table.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sha256/table16/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sha256/table16/util.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip/generator_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/chip/generator_table.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/chip/hash_to_point.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/merkle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/merkle.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/merkle/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/merkle/chip.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/message.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/primitives.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/primitives/addition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/primitives/addition.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/sinsemilla/primitives/sinsemilla_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/sinsemilla/primitives/sinsemilla_s.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/utilities.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/cond_swap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/utilities/cond_swap.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/decompose_running_sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/utilities/decompose_running_sum.rs -------------------------------------------------------------------------------- /halo2_gadgets/src/utilities/lookup_range_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_gadgets/src/utilities/lookup_range_check.rs -------------------------------------------------------------------------------- /halo2_proofs/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/CHANGELOG.md -------------------------------------------------------------------------------- /halo2_proofs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/Cargo.toml -------------------------------------------------------------------------------- /halo2_proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/README.md -------------------------------------------------------------------------------- /halo2_proofs/benches/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/arithmetic.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/commit_zk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/commit_zk.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/dev_lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/dev_lookup.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/fft.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/fft.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/hashtocurve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/hashtocurve.rs -------------------------------------------------------------------------------- /halo2_proofs/benches/plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/benches/plonk.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/circuit-layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/circuit-layout.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/cost-model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/cost-model.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/folding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/folding.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/serialization.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/shuffle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/shuffle.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/shuffle_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/shuffle_api.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/simple-example.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/simple-example.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/two-chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/two-chip.rs -------------------------------------------------------------------------------- /halo2_proofs/examples/vector-mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/examples/vector-mul.rs -------------------------------------------------------------------------------- /halo2_proofs/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/katex-header.html -------------------------------------------------------------------------------- /halo2_proofs/proptest-regressions/plonk/assigned.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/proptest-regressions/plonk/assigned.txt -------------------------------------------------------------------------------- /halo2_proofs/proptest-regressions/plonk/circuit/compress_selectors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/proptest-regressions/plonk/circuit/compress_selectors.txt -------------------------------------------------------------------------------- /halo2_proofs/src/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/arithmetic.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/floor_planner.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/single_pass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/floor_planner/single_pass.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/floor_planner/v1.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/floor_planner/v1/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/floor_planner/v1/strategy.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/layouter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/layouter.rs -------------------------------------------------------------------------------- /halo2_proofs/src/circuit/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/circuit/value.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/cost.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/cost.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/failure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/failure.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/failure/emitter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/failure/emitter.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/gates.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/graph.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/graph/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/graph/layout.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/metadata.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/metadata.rs -------------------------------------------------------------------------------- /halo2_proofs/src/dev/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/dev/util.rs -------------------------------------------------------------------------------- /halo2_proofs/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/helpers.rs -------------------------------------------------------------------------------- /halo2_proofs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/lib.rs -------------------------------------------------------------------------------- /halo2_proofs/src/multicore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/multicore.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/assigned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/assigned.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/circuit.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/circuit/compress_selectors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/circuit/compress_selectors.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/error.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/evaluation.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/keygen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/lookup.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/lookup/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/lookup/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/lookup/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/permutation.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/permutation/keygen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/permutation/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/permutation/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/permutation/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/shuffle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/shuffle.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/shuffle/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/shuffle/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/shuffle/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/shuffle/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/vanishing.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/vanishing/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/vanishing/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/vanishing/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/plonk/verifier/batch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/plonk/verifier/batch.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/commitment.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/domain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/domain.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/evaluator.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/commitment.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/commitment/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/commitment/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/commitment/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/commitment/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/mod.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/msm.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/multiopen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/multiopen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/multiopen/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/multiopen/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/multiopen/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/multiopen/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/ipa/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/ipa/strategy.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/commitment.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/mod.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/msm.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/gwc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/gwc.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/gwc/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/gwc/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/gwc/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/gwc/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/shplonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/shplonk.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/shplonk/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/shplonk/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/multiopen/shplonk/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/multiopen/shplonk/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/kzg/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/kzg/strategy.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/multiopen_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/multiopen_test.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/query.rs -------------------------------------------------------------------------------- /halo2_proofs/src/poly/strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/poly/strategy.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/accumulator.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/accumulator/committed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/accumulator/committed.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/accumulator/compressed_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/accumulator/compressed_verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/accumulator/gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/accumulator/gate.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/accumulator/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/accumulator/lookup.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/constraints.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/constraints/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/constraints/expression.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/constraints/paired.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/constraints/paired.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/constraints/polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/constraints/polynomial.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/keygen.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/prover.rs -------------------------------------------------------------------------------- /halo2_proofs/src/protostar/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/protostar/verifier.rs -------------------------------------------------------------------------------- /halo2_proofs/src/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/src/transcript.rs -------------------------------------------------------------------------------- /halo2_proofs/tests/plonk_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/protostar/HEAD/halo2_proofs/tests/plonk_api.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | 1.70.0 2 | --------------------------------------------------------------------------------