Merge commit from fork

* chore: go.mod update * feat: multi-POK verification * chore: go generate * feat: use new Pedersen verification * feat: upgrade Solidity verifier * feat: warn if skipping Solidity checks * fix: marshaling round-trip * chore: go generate * feat: init commitmentkeys structs * chore: go generate * chore: go.mod update * feat: use native folding * chore: go generate * test: avoid setup for vk generation * chore: go generate * test: Bellman test vector padding to ensure no big makes * chore: use master gnark-crypto * chore: go.mod update
Consensys · Sep 6, 2024 · b2e6197 · b2e6197
1 parent d651b89
commit b2e6197
Show file tree

Hide file tree

Showing 56 changed files with 1,309 additions and 886 deletions.
diff --git a/backend/groth16/bellman_test.go b/backend/groth16/bellman_test.go
diff --git a/backend/groth16/bls12-377/commitment_test.go b/backend/groth16/bls12-377/commitment_test.go
diff --git a/backend/groth16/bls12-377/marshal.go b/backend/groth16/bls12-377/marshal.go
diff --git a/backend/groth16/bls12-377/marshal_test.go b/backend/groth16/bls12-377/marshal_test.go
diff --git a/backend/groth16/bls12-377/prove.go b/backend/groth16/bls12-377/prove.go
diff --git a/backend/groth16/bls12-377/setup.go b/backend/groth16/bls12-377/setup.go
diff --git a/backend/groth16/bls12-377/verify.go b/backend/groth16/bls12-377/verify.go