Merge pull request MinaProtocol#14549 from MinaProtocol/dannywillems/…

…update-proof-systems-to-new-lookup Update proof-systems
openmina · Nov 21, 2023 · 78535ae · 78535ae
2 parents 5528528 + 8a71c44
commit 78535ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/lib/crypto/proof-systems b/src/lib/crypto/proof-systems
diff --git a/src/lib/snarkyjs b/src/lib/snarkyjs
+1 −1		.github/workflows/benches.yml
+1 −1		.github/workflows/coverage.yml.disabled
+1 −1		.github/workflows/gh-page.yml
+1 −1		.github/workflows/rust.yml
+3 −1		.gitignore
+17 −17		book/src/SUMMARY.md
+11 −11		book/src/kimchi/overview.md
+106 −79		book/src/rfcs/3-lookup.md
+2 −2		book/src/specs/kimchi.md
+63 −39		kimchi/src/circuits/constraints.rs
+2 −0		kimchi/src/circuits/lookup/constraints.rs
+164 −38		kimchi/src/circuits/lookup/index.rs
+1 −1		kimchi/src/circuits/lookup/lookups.rs
+7 −3		kimchi/src/circuits/lookup/runtime_tables.rs
+173 −24		kimchi/src/circuits/lookup/tables/mod.rs
+3 −5		kimchi/src/circuits/lookup/tables/range_check.rs
+2 −4		kimchi/src/circuits/lookup/tables/xor.rs
+4 −0		kimchi/src/error.rs
+3 −0		kimchi/src/precomputed_srs.rs
+1 −0		kimchi/src/prover_index.rs
+1 −0		kimchi/src/tests/and.rs
+0 −1		kimchi/src/tests/foreign_field_add.rs
+7 −7		kimchi/src/tests/lookup.rs
+4 −1		kimchi/src/tests/range_check.rs
+0 −1		kimchi/src/tests/rot.rs
+0 −1		kimchi/src/tests/xor.rs