├── .github └── workflows │ └── rust.yml ├── .gitignore ├── Cargo.toml ├── TODO.md ├── jellyfish ├── .dockerignore ├── .envrc ├── .github │ ├── dependabot.yml │ ├── pull_request_template.md │ └── workflows │ │ ├── build.yml │ │ └── periodic_checks.yml ├── .gitignore ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE ├── README.md ├── bench.md ├── flake.lock ├── flake.nix ├── plonk │ ├── Cargo.toml │ ├── benches │ │ └── bench.rs │ ├── examples │ │ └── proof_of_exp.rs │ └── src │ │ ├── circuit │ │ ├── mod.rs │ │ ├── plonk_verifier │ │ │ ├── gadgets.rs │ │ │ ├── mod.rs │ │ │ ├── poly.rs │ │ │ └── structs.rs │ │ └── transcript.rs │ │ ├── constants.rs │ │ ├── errors.rs │ │ ├── lib.rs │ │ ├── proof_system │ │ ├── batch_arg.rs │ │ ├── mod.rs │ │ ├── prover.rs │ │ ├── snark.rs │ │ ├── structs.rs │ │ └── verifier.rs │ │ ├── testing_apis.rs │ │ └── transcript │ │ ├── mod.rs │ │ ├── rescue.rs │ │ ├── solidity.rs │ │ └── standard.rs ├── primitives │ ├── Cargo.toml │ ├── benches │ │ ├── merkle_path.rs │ │ └── pcs.rs │ └── src │ │ ├── aead.rs │ │ ├── circuit │ │ ├── commitment.rs │ │ ├── elgamal.rs │ │ ├── merkle_tree │ │ │ ├── mod.rs │ │ │ ├── rescue_merkle_tree.rs │ │ │ └── sparse_merkle_tree.rs │ │ ├── mod.rs │ │ ├── prf.rs │ │ ├── rescue │ │ │ ├── mod.rs │ │ │ ├── native.rs │ │ │ └── non_native.rs │ │ └── signature │ │ │ ├── mod.rs │ │ │ └── schnorr.rs │ │ ├── commitment.rs │ │ ├── constants.rs │ │ ├── crhf.rs │ │ ├── elgamal.rs │ │ ├── errors.rs │ │ ├── hash_to_group │ │ ├── mod.rs │ │ ├── short_weierstrass.rs │ │ └── twisted_edwards.rs │ │ ├── lib.rs │ │ ├── merkle_tree │ │ ├── append_only.rs │ │ ├── examples.rs │ │ ├── internal.rs │ │ ├── light_weight.rs │ │ ├── macros.rs │ │ ├── mod.rs │ │ ├── prelude.rs │ │ └── universal_merkle_tree.rs │ │ ├── pasta │ │ └── mod.rs │ │ ├── pcs │ │ ├── errors.rs │ │ ├── mod.rs │ │ ├── multilinear_kzg │ │ │ ├── batching.rs │ │ │ ├── mod.rs │ │ │ ├── srs.rs │ │ │ └── util.rs │ │ ├── prelude.rs │ │ ├── structs.rs │ │ ├── transcript.rs │ │ ├── univariate_ipa │ │ │ └── mod.rs │ │ └── univariate_kzg │ │ │ ├── mod.rs │ │ │ └── srs.rs │ │ ├── prf.rs │ │ ├── rescue │ │ ├── errors.rs │ │ ├── mod.rs │ │ ├── rescue_constants │ │ │ ├── bls12_377_base.rs │ │ │ ├── bls12_381_base.rs │ │ │ ├── bn254_base.rs │ │ │ ├── bw6_761_base.rs │ │ │ ├── ed_on_bls12_377_base.rs │ │ │ ├── ed_on_bls12_381_base.rs │ │ │ ├── ed_on_bn254_base.rs │ │ │ └── mod.rs │ │ └── sponge.rs │ │ ├── scalars_n_bases.rs │ │ ├── signatures │ │ ├── bls.rs │ │ ├── mod.rs │ │ └── schnorr.rs │ │ ├── utils.rs │ │ └── vrf │ │ ├── blsvrf.rs │ │ ├── ecvrf.rs │ │ └── mod.rs ├── relation │ ├── Cargo.toml │ └── src │ │ ├── constants.rs │ │ ├── constraint_system.rs │ │ ├── errors.rs │ │ ├── gadgets │ │ ├── arithmetic.rs │ │ ├── cmp.rs │ │ ├── ecc │ │ │ ├── conversion.rs │ │ │ ├── glv.rs │ │ │ ├── mod.rs │ │ │ └── msm.rs │ │ ├── logic.rs │ │ ├── mod.rs │ │ ├── range.rs │ │ ├── ultraplonk │ │ │ ├── lookup_table.rs │ │ │ ├── mod.rs │ │ │ ├── mod_arith.rs │ │ │ ├── non_native_gates.rs │ │ │ └── range.rs │ │ └── utils.rs │ │ ├── gates │ │ ├── arithmetic.rs │ │ ├── ecc.rs │ │ ├── logic.rs │ │ ├── lookup.rs │ │ └── mod.rs │ │ └── lib.rs ├── rustfmt.toml ├── scripts │ ├── check_no_std.sh │ ├── run_benchmarks.m4 │ ├── run_benchmarks.sh │ ├── run_tests.sh │ └── test_coverage.sh ├── shell.nix └── utilities │ ├── Cargo.toml │ └── src │ ├── conversion.rs │ ├── lib.rs │ ├── macros.rs │ ├── multi_pairing.rs │ ├── par_utils.rs │ └── serialize.rs └── src ├── errors.rs ├── folding_scheme.rs ├── ivc.rs ├── lib.rs ├── relaxed_plonk.rs ├── sangria.rs └── vector_commitment ├── mod.rs └── pedersen ├── arithmetic_definitions ├── commitment.rs └── mod.rs ├── mod.rs └── tests.rs /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /Cargo.lock 3 | /.vscode 4 | .DS_store -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/Cargo.toml -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/TODO.md -------------------------------------------------------------------------------- /jellyfish/.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.dockerignore -------------------------------------------------------------------------------- /jellyfish/.envrc: -------------------------------------------------------------------------------- 1 | use nix 2 | -------------------------------------------------------------------------------- /jellyfish/.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.github/dependabot.yml -------------------------------------------------------------------------------- /jellyfish/.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.github/pull_request_template.md -------------------------------------------------------------------------------- /jellyfish/.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.github/workflows/build.yml -------------------------------------------------------------------------------- /jellyfish/.github/workflows/periodic_checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.github/workflows/periodic_checks.yml -------------------------------------------------------------------------------- /jellyfish/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/.gitignore -------------------------------------------------------------------------------- /jellyfish/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/CHANGELOG.md -------------------------------------------------------------------------------- /jellyfish/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/Cargo.toml -------------------------------------------------------------------------------- /jellyfish/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/LICENSE -------------------------------------------------------------------------------- /jellyfish/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/README.md -------------------------------------------------------------------------------- /jellyfish/bench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/bench.md -------------------------------------------------------------------------------- /jellyfish/flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/flake.lock -------------------------------------------------------------------------------- /jellyfish/flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/flake.nix -------------------------------------------------------------------------------- /jellyfish/plonk/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/Cargo.toml -------------------------------------------------------------------------------- /jellyfish/plonk/benches/bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/benches/bench.rs -------------------------------------------------------------------------------- /jellyfish/plonk/examples/proof_of_exp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/examples/proof_of_exp.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/mod.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/plonk_verifier/gadgets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/plonk_verifier/gadgets.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/plonk_verifier/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/plonk_verifier/mod.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/plonk_verifier/poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/plonk_verifier/poly.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/plonk_verifier/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/plonk_verifier/structs.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/circuit/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/circuit/transcript.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/constants.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/errors.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/lib.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/batch_arg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/batch_arg.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/mod.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/prover.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/snark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/snark.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/structs.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/proof_system/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/proof_system/verifier.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/testing_apis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/testing_apis.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/transcript/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/transcript/mod.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/transcript/rescue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/transcript/rescue.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/transcript/solidity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/transcript/solidity.rs -------------------------------------------------------------------------------- /jellyfish/plonk/src/transcript/standard.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/plonk/src/transcript/standard.rs -------------------------------------------------------------------------------- /jellyfish/primitives/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/Cargo.toml -------------------------------------------------------------------------------- /jellyfish/primitives/benches/merkle_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/benches/merkle_path.rs -------------------------------------------------------------------------------- /jellyfish/primitives/benches/pcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/benches/pcs.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/aead.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/aead.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/commitment.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/elgamal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/elgamal.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/merkle_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/merkle_tree/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/merkle_tree/rescue_merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/merkle_tree/rescue_merkle_tree.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/merkle_tree/sparse_merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/merkle_tree/sparse_merkle_tree.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/prf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/prf.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/rescue/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/rescue/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/rescue/native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/rescue/native.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/rescue/non_native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/rescue/non_native.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/signature/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/signature/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/circuit/signature/schnorr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/circuit/signature/schnorr.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/commitment.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/constants.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/crhf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/crhf.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/elgamal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/elgamal.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/errors.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/hash_to_group/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/hash_to_group/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/hash_to_group/short_weierstrass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/hash_to_group/short_weierstrass.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/hash_to_group/twisted_edwards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/hash_to_group/twisted_edwards.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/lib.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/append_only.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/append_only.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/examples.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/examples.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/internal.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/light_weight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/light_weight.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/macros.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/prelude.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/merkle_tree/universal_merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/merkle_tree/universal_merkle_tree.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pasta/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pasta/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/errors.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/multilinear_kzg/batching.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/multilinear_kzg/batching.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/multilinear_kzg/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/multilinear_kzg/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/multilinear_kzg/srs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/multilinear_kzg/srs.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/multilinear_kzg/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/multilinear_kzg/util.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/prelude.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/structs.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/transcript.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/univariate_ipa/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/univariate_ipa/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/univariate_kzg/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/univariate_kzg/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/pcs/univariate_kzg/srs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/pcs/univariate_kzg/srs.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/prf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/prf.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/errors.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/bls12_377_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/bls12_377_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/bls12_381_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/bls12_381_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/bn254_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/bn254_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/bw6_761_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/bw6_761_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/ed_on_bls12_377_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/ed_on_bls12_377_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/ed_on_bls12_381_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/ed_on_bls12_381_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/ed_on_bn254_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/ed_on_bn254_base.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/rescue_constants/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/rescue_constants/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/rescue/sponge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/rescue/sponge.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/scalars_n_bases.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/scalars_n_bases.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/signatures/bls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/signatures/bls.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/signatures/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/signatures/mod.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/signatures/schnorr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/signatures/schnorr.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/utils.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/vrf/blsvrf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/vrf/blsvrf.rs -------------------------------------------------------------------------------- /jellyfish/primitives/src/vrf/ecvrf.rs: -------------------------------------------------------------------------------- 1 | //! Place holder for ECVRF 2 | -------------------------------------------------------------------------------- /jellyfish/primitives/src/vrf/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/primitives/src/vrf/mod.rs -------------------------------------------------------------------------------- /jellyfish/relation/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/Cargo.toml -------------------------------------------------------------------------------- /jellyfish/relation/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/constants.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/constraint_system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/constraint_system.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/errors.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/arithmetic.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/cmp.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ecc/conversion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ecc/conversion.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ecc/glv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ecc/glv.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ecc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ecc/mod.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ecc/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ecc/msm.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/logic.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/mod.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/range.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ultraplonk/lookup_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ultraplonk/lookup_table.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ultraplonk/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ultraplonk/mod.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ultraplonk/mod_arith.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ultraplonk/mod_arith.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ultraplonk/non_native_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ultraplonk/non_native_gates.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/ultraplonk/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/ultraplonk/range.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gadgets/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gadgets/utils.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gates/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gates/arithmetic.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gates/ecc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gates/ecc.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gates/logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gates/logic.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gates/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gates/lookup.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/gates/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/gates/mod.rs -------------------------------------------------------------------------------- /jellyfish/relation/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/relation/src/lib.rs -------------------------------------------------------------------------------- /jellyfish/rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/rustfmt.toml -------------------------------------------------------------------------------- /jellyfish/scripts/check_no_std.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/scripts/check_no_std.sh -------------------------------------------------------------------------------- /jellyfish/scripts/run_benchmarks.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/scripts/run_benchmarks.m4 -------------------------------------------------------------------------------- /jellyfish/scripts/run_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/scripts/run_benchmarks.sh -------------------------------------------------------------------------------- /jellyfish/scripts/run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/scripts/run_tests.sh -------------------------------------------------------------------------------- /jellyfish/scripts/test_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/scripts/test_coverage.sh -------------------------------------------------------------------------------- /jellyfish/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/shell.nix -------------------------------------------------------------------------------- /jellyfish/utilities/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/Cargo.toml -------------------------------------------------------------------------------- /jellyfish/utilities/src/conversion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/conversion.rs -------------------------------------------------------------------------------- /jellyfish/utilities/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/lib.rs -------------------------------------------------------------------------------- /jellyfish/utilities/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/macros.rs -------------------------------------------------------------------------------- /jellyfish/utilities/src/multi_pairing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/multi_pairing.rs -------------------------------------------------------------------------------- /jellyfish/utilities/src/par_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/par_utils.rs -------------------------------------------------------------------------------- /jellyfish/utilities/src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/jellyfish/utilities/src/serialize.rs -------------------------------------------------------------------------------- /src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/errors.rs -------------------------------------------------------------------------------- /src/folding_scheme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/folding_scheme.rs -------------------------------------------------------------------------------- /src/ivc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/ivc.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/relaxed_plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/relaxed_plonk.rs -------------------------------------------------------------------------------- /src/sangria.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/sangria.rs -------------------------------------------------------------------------------- /src/vector_commitment/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/vector_commitment/mod.rs -------------------------------------------------------------------------------- /src/vector_commitment/pedersen/arithmetic_definitions/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/vector_commitment/pedersen/arithmetic_definitions/commitment.rs -------------------------------------------------------------------------------- /src/vector_commitment/pedersen/arithmetic_definitions/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod commitment; 2 | -------------------------------------------------------------------------------- /src/vector_commitment/pedersen/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/vector_commitment/pedersen/mod.rs -------------------------------------------------------------------------------- /src/vector_commitment/pedersen/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/geometryxyz/sangria_impl/HEAD/src/vector_commitment/pedersen/tests.rs --------------------------------------------------------------------------------