Commit e986a9e
1 file changed
+1
-1
lines changedSubmodule proof-systems updated 84 files
- .github/actions/ocaml-shared/action.yml+1-1
- .github/actions/toolchain-shared/action.yml+4-1
- .github/workflows/benches-mina-prover-set-baseline.yml+8-1
- .github/workflows/benches-mina-prover.yml+2-2
- .github/workflows/benches.yml+1-1
- .github/workflows/ci-nightly.yml+2-2
- .github/workflows/ci.yml+2-2
- .github/workflows/o1vm-ci.yml+1-1
- .github/workflows/saffron.yml+3-3
- .github/workflows/test-export-vectors.yml+137
- CONTRIBUTING.md+1-1
- Cargo.lock+122-16
- Cargo.toml+11-7
- arrabbiata/src/interpreter.rs+2-2
- arrabbiata/src/witness.rs+2-2
- crates/arkworks/src/group_affine.rs+16
- folding/src/instance_witness.rs+1-1
- hasher/src/roinput.rs+260-1
- kimchi-stubs/src/pasta_fp_plonk_proof.rs+4
- kimchi-stubs/src/pasta_fq_plonk_proof.rs+4
- kimchi/Cargo.toml+3-2
- kimchi/src/circuits/constraints.rs-1
- kimchi/src/tests/framework.rs+2-2
- kimchi/src/tests/lazy_mode.rs+2-2
- kimchi/tests/test_constraints.rs+40
- msm/src/logup.rs+2-2
- msm/src/serialization/interpreter.rs+1-1
- o1vm/LICENSE-APACHE+18
- o1vm/LICENSE-MIT+21
- o1vm/README.md+11
- o1vm/src/interpreters/mips/tests.rs+1-1
- o1vm/src/interpreters/mips/witness.rs+1-1
- o1vm/src/interpreters/riscv32im/tests.rs+1-1
- o1vm/src/interpreters/riscv32im/witness.rs+1-1
- plonk-napi/Cargo.toml+43
- plonk-napi/build.rs+3
- plonk-napi/src/lib.rs+6
- plonk-napi/src/poseidon.rs+52
- plonk-wasm/Cargo.toml+1-1
- plonk-wasm/src/lib.rs+3-2
- plonk-wasm/src/wasm_ocaml_serde/mod.rs+3-3
- plonk-wasm/src/wasm_vector.rs+34
- poly-commitment/src/combine.rs+7-6
- poly-commitment/src/commitment.rs+15-12
- poly-commitment/src/hash_map_cache.rs+3-2
- poly-commitment/src/ipa.rs+50-36
- poly-commitment/src/kzg.rs+15-10
- poly-commitment/src/pbt_srs.rs+6-5
- poly-commitment/src/precomputed_srs.rs+1-1
- poly-commitment/tests/batch_15_wires.rs-172
- poly-commitment/tests/ipa_commitment.rs+155-2
- poseidon/export_test_vectors/Cargo.toml+4-4
- poseidon/export_test_vectors/README.md+74
- poseidon/export_test_vectors/src/main.rs+134-71
- poseidon/export_test_vectors/src/vectors.rs+204-4
- poseidon/export_test_vectors/test_vectors/b10_kimchi.js+36
- poseidon/export_test_vectors/test_vectors/b10_kimchi.json+49
- poseidon/export_test_vectors/test_vectors/b10_legacy.js+36
- poseidon/export_test_vectors/test_vectors/b10_legacy.json+49
- poseidon/export_test_vectors/test_vectors/hex_kimchi.js+36
- poseidon/export_test_vectors/test_vectors/hex_kimchi.json+49
- poseidon/export_test_vectors/test_vectors/hex_legacy.js+36
- poseidon/export_test_vectors/test_vectors/hex_legacy.json+49
- rust-toolchain-1
- rust-toolchain.toml+2
- saffron/Cargo.toml+1-3
- saffron/README.md+1-1
- saffron/benches/folding_bench.rs+8-9
- saffron/benches/read_proof_bench.rs+44-54
- saffron/og-flow/main.rs+1-1
- saffron/src/blob.rs+10-48
- saffron/src/commitment.rs+78-9
- saffron/src/diff.rs+15-13
- saffron/src/encoding.rs+169
- saffron/src/folding.rs+50-54
- saffron/src/lib.rs+11-10
- saffron/src/main.rs+11-12
- saffron/src/read_proof.rs+216-100
- saffron/src/storage.rs+237
- saffron/src/storage_proof.rs+31-34
- saffron/src/utils.rs+27-109
- scripts/bench-criterion-mina-circuits.sh+9
- utils/Cargo.toml+5-2
- utils/src/lazy_cache.rs+2-2
0 commit comments