├── .cargo └── config.toml ├── .github ├── pull_request_template.md └── workflows │ └── rust.yml ├── .gitignore ├── .scripts └── build_profiling.py ├── Cargo.toml ├── LICENSE ├── README.md ├── benches ├── cyclefold_poseidon.rs ├── ivc_gate_scaling.rs ├── sangria_poseidon.rs └── sangria_trivial.rs ├── docs ├── cyclefold_report.md └── img │ ├── cyclefold.png │ └── ivc_sangria_vs_cyclefold.png ├── examples ├── cli.rs ├── cyclefold_poseidon.rs ├── cyclefold_trivial.rs ├── instances.rs ├── merkle │ ├── circuit.rs │ ├── ipa.rs │ ├── kzg.rs │ ├── main.rs │ ├── merkle_tree_gadget │ │ ├── chip.rs │ │ ├── mod.rs │ │ └── off_circuit.rs │ └── mod.rs ├── my_circuit.rs ├── sangria_poseidon.rs ├── sangria_trivial.rs └── sha256 │ ├── main.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 │ ├── mod.rs │ ├── spread_table.rs │ └── util.rs ├── rust-toolchain.toml └── src ├── commitment.rs ├── constants.rs ├── digest.rs ├── error.rs ├── fft.rs ├── gadgets ├── ecc │ ├── gate.rs │ ├── mod.rs │ └── point.rs ├── mod.rs ├── nonnative │ ├── bn │ │ ├── big_uint.rs │ │ ├── big_uint_mul_mod_chip │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ └── mod.rs │ └── mod.rs ├── poseidon_step_circuit.rs └── util.rs ├── ivc ├── cyclefold │ ├── incrementally_verifiable_computation │ │ ├── mod.rs │ │ └── public_params.rs │ ├── mod.rs │ ├── sfc │ │ ├── input │ │ │ ├── assigned.rs │ │ │ └── mod.rs │ │ ├── mod.rs │ │ └── sangria_adapter.rs │ └── support_circuit │ │ ├── mod.rs │ │ └── tiny_gate.rs ├── mod.rs ├── protogalaxy │ └── mod.rs ├── sangria │ ├── consistency_markers_computation.rs │ ├── fold_relaxed_plonk_instance_chip.rs │ ├── incrementally_verifiable_computation.rs │ ├── instances_accumulator_computation.rs │ ├── mod.rs │ ├── public_params.rs │ └── step_folding_circuit.rs └── step_circuit.rs ├── lib.rs ├── main_gate.rs ├── nifs ├── mod.rs ├── protogalaxy │ ├── accumulator.rs │ ├── mod.rs │ ├── poly │ │ ├── folded_witness.rs │ │ └── mod.rs │ └── tests.rs ├── sangria │ ├── accumulator.rs │ ├── mod.rs │ └── tests.rs └── tests.rs ├── plonk ├── eval.rs ├── lookup.rs ├── mod.rs ├── permutation.rs └── util.rs ├── polynomial ├── expression.rs ├── graph_evaluator.rs ├── grouped_poly.rs ├── lagrange.rs ├── mod.rs ├── sparse.rs └── univariate.rs ├── poseidon ├── mod.rs ├── poseidon_circuit.rs ├── poseidon_hash.rs ├── random_oracle.rs └── spec.rs ├── sps.rs ├── table ├── circuit_data.rs ├── circuit_runner.rs ├── constraint_system_metainfo.rs ├── mod.rs ├── tests.rs └── witness_data.rs └── util ├── mock_prover.rs └── mod.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/.gitignore -------------------------------------------------------------------------------- /.scripts/build_profiling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/.scripts/build_profiling.py -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/README.md -------------------------------------------------------------------------------- /benches/cyclefold_poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/benches/cyclefold_poseidon.rs -------------------------------------------------------------------------------- /benches/ivc_gate_scaling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/benches/ivc_gate_scaling.rs -------------------------------------------------------------------------------- /benches/sangria_poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/benches/sangria_poseidon.rs -------------------------------------------------------------------------------- /benches/sangria_trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/benches/sangria_trivial.rs -------------------------------------------------------------------------------- /docs/cyclefold_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/docs/cyclefold_report.md -------------------------------------------------------------------------------- /docs/img/cyclefold.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/docs/img/cyclefold.png -------------------------------------------------------------------------------- /docs/img/ivc_sangria_vs_cyclefold.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/docs/img/ivc_sangria_vs_cyclefold.png -------------------------------------------------------------------------------- /examples/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/cli.rs -------------------------------------------------------------------------------- /examples/cyclefold_poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/cyclefold_poseidon.rs -------------------------------------------------------------------------------- /examples/cyclefold_trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/cyclefold_trivial.rs -------------------------------------------------------------------------------- /examples/instances.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/instances.rs -------------------------------------------------------------------------------- /examples/merkle/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/circuit.rs -------------------------------------------------------------------------------- /examples/merkle/ipa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/ipa.rs -------------------------------------------------------------------------------- /examples/merkle/kzg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/kzg.rs -------------------------------------------------------------------------------- /examples/merkle/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/main.rs -------------------------------------------------------------------------------- /examples/merkle/merkle_tree_gadget/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/merkle_tree_gadget/chip.rs -------------------------------------------------------------------------------- /examples/merkle/merkle_tree_gadget/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/merkle_tree_gadget/mod.rs -------------------------------------------------------------------------------- /examples/merkle/merkle_tree_gadget/off_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/merkle_tree_gadget/off_circuit.rs -------------------------------------------------------------------------------- /examples/merkle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/merkle/mod.rs -------------------------------------------------------------------------------- /examples/my_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/my_circuit.rs -------------------------------------------------------------------------------- /examples/sangria_poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sangria_poseidon.rs -------------------------------------------------------------------------------- /examples/sangria_trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sangria_trivial.rs -------------------------------------------------------------------------------- /examples/sha256/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/main.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression/compression_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression/compression_gates.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression/compression_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression/compression_util.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression/subregion_digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression/subregion_digest.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression/subregion_initial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression/subregion_initial.rs -------------------------------------------------------------------------------- /examples/sha256/table16/compression/subregion_main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/compression/subregion_main.rs -------------------------------------------------------------------------------- /examples/sha256/table16/gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/gates.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule/schedule_gates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule/schedule_gates.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule/schedule_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule/schedule_util.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule/subregion1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule/subregion1.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule/subregion2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule/subregion2.rs -------------------------------------------------------------------------------- /examples/sha256/table16/message_schedule/subregion3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/message_schedule/subregion3.rs -------------------------------------------------------------------------------- /examples/sha256/table16/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/mod.rs -------------------------------------------------------------------------------- /examples/sha256/table16/spread_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/spread_table.rs -------------------------------------------------------------------------------- /examples/sha256/table16/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/examples/sha256/table16/util.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | toolchain.channel = "1.85.0" 2 | -------------------------------------------------------------------------------- /src/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/commitment.rs -------------------------------------------------------------------------------- /src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/constants.rs -------------------------------------------------------------------------------- /src/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/digest.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/fft.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/fft.rs -------------------------------------------------------------------------------- /src/gadgets/ecc/gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/ecc/gate.rs -------------------------------------------------------------------------------- /src/gadgets/ecc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/ecc/mod.rs -------------------------------------------------------------------------------- /src/gadgets/ecc/point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/ecc/point.rs -------------------------------------------------------------------------------- /src/gadgets/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/mod.rs -------------------------------------------------------------------------------- /src/gadgets/nonnative/bn/big_uint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/nonnative/bn/big_uint.rs -------------------------------------------------------------------------------- /src/gadgets/nonnative/bn/big_uint_mul_mod_chip/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/nonnative/bn/big_uint_mul_mod_chip/mod.rs -------------------------------------------------------------------------------- /src/gadgets/nonnative/bn/big_uint_mul_mod_chip/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/nonnative/bn/big_uint_mul_mod_chip/tests.rs -------------------------------------------------------------------------------- /src/gadgets/nonnative/bn/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/nonnative/bn/mod.rs -------------------------------------------------------------------------------- /src/gadgets/nonnative/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod bn; 2 | -------------------------------------------------------------------------------- /src/gadgets/poseidon_step_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/poseidon_step_circuit.rs -------------------------------------------------------------------------------- /src/gadgets/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/gadgets/util.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/incrementally_verifiable_computation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/incrementally_verifiable_computation/mod.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/mod.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/sfc/input/assigned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/sfc/input/assigned.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/sfc/input/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/sfc/input/mod.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/sfc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/sfc/mod.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/sfc/sangria_adapter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/sfc/sangria_adapter.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/support_circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/support_circuit/mod.rs -------------------------------------------------------------------------------- /src/ivc/cyclefold/support_circuit/tiny_gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/cyclefold/support_circuit/tiny_gate.rs -------------------------------------------------------------------------------- /src/ivc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/mod.rs -------------------------------------------------------------------------------- /src/ivc/protogalaxy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/protogalaxy/mod.rs -------------------------------------------------------------------------------- /src/ivc/sangria/consistency_markers_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/consistency_markers_computation.rs -------------------------------------------------------------------------------- /src/ivc/sangria/fold_relaxed_plonk_instance_chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/fold_relaxed_plonk_instance_chip.rs -------------------------------------------------------------------------------- /src/ivc/sangria/incrementally_verifiable_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/incrementally_verifiable_computation.rs -------------------------------------------------------------------------------- /src/ivc/sangria/instances_accumulator_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/instances_accumulator_computation.rs -------------------------------------------------------------------------------- /src/ivc/sangria/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/mod.rs -------------------------------------------------------------------------------- /src/ivc/sangria/public_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/public_params.rs -------------------------------------------------------------------------------- /src/ivc/sangria/step_folding_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/sangria/step_folding_circuit.rs -------------------------------------------------------------------------------- /src/ivc/step_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/ivc/step_circuit.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main_gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/main_gate.rs -------------------------------------------------------------------------------- /src/nifs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/mod.rs -------------------------------------------------------------------------------- /src/nifs/protogalaxy/accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/protogalaxy/accumulator.rs -------------------------------------------------------------------------------- /src/nifs/protogalaxy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/protogalaxy/mod.rs -------------------------------------------------------------------------------- /src/nifs/protogalaxy/poly/folded_witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/protogalaxy/poly/folded_witness.rs -------------------------------------------------------------------------------- /src/nifs/protogalaxy/poly/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/protogalaxy/poly/mod.rs -------------------------------------------------------------------------------- /src/nifs/protogalaxy/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/protogalaxy/tests.rs -------------------------------------------------------------------------------- /src/nifs/sangria/accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/sangria/accumulator.rs -------------------------------------------------------------------------------- /src/nifs/sangria/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/sangria/mod.rs -------------------------------------------------------------------------------- /src/nifs/sangria/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/sangria/tests.rs -------------------------------------------------------------------------------- /src/nifs/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/nifs/tests.rs -------------------------------------------------------------------------------- /src/plonk/eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/plonk/eval.rs -------------------------------------------------------------------------------- /src/plonk/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/plonk/lookup.rs -------------------------------------------------------------------------------- /src/plonk/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/plonk/mod.rs -------------------------------------------------------------------------------- /src/plonk/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/plonk/permutation.rs -------------------------------------------------------------------------------- /src/plonk/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/plonk/util.rs -------------------------------------------------------------------------------- /src/polynomial/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/expression.rs -------------------------------------------------------------------------------- /src/polynomial/graph_evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/graph_evaluator.rs -------------------------------------------------------------------------------- /src/polynomial/grouped_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/grouped_poly.rs -------------------------------------------------------------------------------- /src/polynomial/lagrange.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/lagrange.rs -------------------------------------------------------------------------------- /src/polynomial/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/mod.rs -------------------------------------------------------------------------------- /src/polynomial/sparse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/sparse.rs -------------------------------------------------------------------------------- /src/polynomial/univariate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/polynomial/univariate.rs -------------------------------------------------------------------------------- /src/poseidon/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/poseidon/mod.rs -------------------------------------------------------------------------------- /src/poseidon/poseidon_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/poseidon/poseidon_circuit.rs -------------------------------------------------------------------------------- /src/poseidon/poseidon_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/poseidon/poseidon_hash.rs -------------------------------------------------------------------------------- /src/poseidon/random_oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/poseidon/random_oracle.rs -------------------------------------------------------------------------------- /src/poseidon/spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/poseidon/spec.rs -------------------------------------------------------------------------------- /src/sps.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/sps.rs -------------------------------------------------------------------------------- /src/table/circuit_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/circuit_data.rs -------------------------------------------------------------------------------- /src/table/circuit_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/circuit_runner.rs -------------------------------------------------------------------------------- /src/table/constraint_system_metainfo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/constraint_system_metainfo.rs -------------------------------------------------------------------------------- /src/table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/mod.rs -------------------------------------------------------------------------------- /src/table/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/tests.rs -------------------------------------------------------------------------------- /src/table/witness_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/table/witness_data.rs -------------------------------------------------------------------------------- /src/util/mock_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/util/mock_prover.rs -------------------------------------------------------------------------------- /src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snarkify/sirius/HEAD/src/util/mod.rs --------------------------------------------------------------------------------