Upgrade gnark to v0.12.0 (#3)

* Feat/plonk memory optim (Consensys#1395) * perf: `PairingCheck` for BN254, BLS12-381, BLS12-377 and BW6-761 (Consensys#1365) Co-authored-by: Ivo Kubjas <[email protected]> * fix: add G2 membership check for constant points (Consensys#1397) * fix: stashed typo fixes for v0.12 (Consensys#1398) Signed-off-by: oliveredget <[email protected]> Signed-off-by: dashangcun <[email protected]> Signed-off-by: zhuhaicity <[email protected]> Signed-off-by: hidewrong <[email protected]> Co-authored-by: oliveredget <[email protected]> Co-authored-by: dashangcun <[email protected]> Co-authored-by: ZhuHaiCheng <[email protected]> Co-authored-by: hidewrong <[email protected]> Co-authored-by: VolodymyrBg <[email protected]> * release: v0.12.0 (Consensys#1399) --------- Signed-off-by: oliveredget <[email protected]> Signed-off-by: dashangcun <[email protected]> Signed-off-by: zhuhaicity <[email protected]> Signed-off-by: hidewrong <[email protected]> Co-authored-by: ThomasPiellard <[email protected]> Co-authored-by: Youssef El Housni <[email protected]> Co-authored-by: Ivo Kubjas <[email protected]> Co-authored-by: oliveredget <[email protected]> Co-authored-by: dashangcun <[email protected]> Co-authored-by: ZhuHaiCheng <[email protected]> Co-authored-by: hidewrong <[email protected]> Co-authored-by: VolodymyrBg <[email protected]>
risc0 · Jan 31, 2025 · e9ea17d · e9ea17d
1 parent 318f272
commit e9ea17d
Show file tree

Hide file tree

Showing 46 changed files with 2,067 additions and 933 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,10 +1,97 @@
+<a name="v0.12.0"></a>
+## [v0.12.0] - 2025-01-23
+### Build
+- modify workflows for new CI slack bot ([#1277](https://github.com/Consensys/gnark/issues/1277))
+- **deps:** bump golang.org/x/crypto from 0.26.0 to 0.31.0 ([#1346](https://github.com/Consensys/gnark/issues/1346))
+
+### Chore
+- use max builtin
+- go mod update
+- generate changelog
+- update citation
+- update hardcoded version
+- fix some struct names in comment ([#1370](https://github.com/Consensys/gnark/issues/1370))
+- fix typos ([#1371](https://github.com/Consensys/gnark/issues/1371))
+- fix error message  ([#1337](https://github.com/Consensys/gnark/issues/1337))
+- use errors.New to replace fmt.Errorf with no parameters ([#1338](https://github.com/Consensys/gnark/issues/1338))
+- fix some problematic function names in comment ([#1334](https://github.com/Consensys/gnark/issues/1334))
+- fix some struct and interface names in comment ([#1329](https://github.com/Consensys/gnark/issues/1329))
+- remove duplicate nil-check ([#1355](https://github.com/Consensys/gnark/issues/1355))
+- fix some function names in comment ([#1304](https://github.com/Consensys/gnark/issues/1304))
+- Replace fmt.Printf calls with warning logs ([#1305](https://github.com/Consensys/gnark/issues/1305))
+- Pedersen verification key reference field ([#1295](https://github.com/Consensys/gnark/issues/1295))
+- lint generated files ([#1289](https://github.com/Consensys/gnark/issues/1289))
+- up gnark-crypto ([#1274](https://github.com/Consensys/gnark/issues/1274))
+
+### Doc
+- add audit report ([#1342](https://github.com/Consensys/gnark/issues/1342))
+
+### Docs
+- Change copyright year to 2025 (not autogenerated) ([#1388](https://github.com/Consensys/gnark/issues/1388))
+- less verbose Apache 2 header, latest bavard ([#1344](https://github.com/Consensys/gnark/issues/1344))
+- add input packing example ([#1311](https://github.com/Consensys/gnark/issues/1311))
+- update api doc following audit suggestions ([#1291](https://github.com/Consensys/gnark/issues/1291))
+- final audit report from LA ([#1283](https://github.com/Consensys/gnark/issues/1283))
+
+### Feat
+- settable hasher for MiMC ([#1345](https://github.com/Consensys/gnark/issues/1345))
+- 4-dimensional fake GLV ([#1296](https://github.com/Consensys/gnark/issues/1296))
+
+### Feat
+- add ripemd160 hash function with permutation ([#1120](https://github.com/Consensys/gnark/issues/1120))
+- direct multivariate polynomial evaluation in non-native ([#1299](https://github.com/Consensys/gnark/issues/1299))
+- update to latest gnark-crypto
+- replace stats gob format with csv for easier diffs ([#1276](https://github.com/Consensys/gnark/issues/1276))
+- **bls12-381:** pairing using direct Fp12 + non-native `Eval()` ([#1349](https://github.com/Consensys/gnark/issues/1349))
+
+### Fix
+- stashed typo fixes for v0.12 ([#1398](https://github.com/Consensys/gnark/issues/1398))
+- add G2 membership check for constant points ([#1397](https://github.com/Consensys/gnark/issues/1397))
+- do not return unused sign ([#1385](https://github.com/Consensys/gnark/issues/1385))
+- typos in documentation files ([#1369](https://github.com/Consensys/gnark/issues/1369))
+- spellchecker  ([#1359](https://github.com/Consensys/gnark/issues/1359))
+- typos in documentation files ([#1327](https://github.com/Consensys/gnark/issues/1327))
+- tinyfield generation with updated gnark-crypto ([#1358](https://github.com/Consensys/gnark/issues/1358))
+- avoid linking icicle dependent files when tag not provided ([#1352](https://github.com/Consensys/gnark/issues/1352))
+- NNA quotient length computation edge cases ([#1340](https://github.com/Consensys/gnark/issues/1340))
+- initialize public committed ([#1317](https://github.com/Consensys/gnark/issues/1317))
+- sanitize groth16 verification key reading ([#1307](https://github.com/Consensys/gnark/issues/1307))
+- expmod precompile if modulus is 1 ([#1294](https://github.com/Consensys/gnark/issues/1294))
+- allow only v=0 or v=1 ([#1293](https://github.com/Consensys/gnark/issues/1293))
+- fix slice init length ([#1288](https://github.com/Consensys/gnark/issues/1288))
+
+### Optim
+- avoid div in millerLoopAndFinalExpResult ([#1363](https://github.com/Consensys/gnark/issues/1363))
+
+### Perf
+- `PairingCheck` for BN254, BLS12-381, BLS12-377 and BW6-761 ([#1365](https://github.com/Consensys/gnark/issues/1365))
+- G1/2 membership using Eval ([#1356](https://github.com/Consensys/gnark/issues/1356))
+- using non-native Eval for curve arithmetic ([#1331](https://github.com/Consensys/gnark/issues/1331))
+- normalize the random linear combination in logderivarg ([#1333](https://github.com/Consensys/gnark/issues/1333))
+- BW6 pairing computation using non-native Eval ([#1312](https://github.com/Consensys/gnark/issues/1312))
+- fast path operations for small non-native values ([#1326](https://github.com/Consensys/gnark/issues/1326))
+- **bn254:** include G2 membership check in ML ([#1387](https://github.com/Consensys/gnark/issues/1387))
+- **emulated:** small perf on doubleAndAdd ([#1386](https://github.com/Consensys/gnark/issues/1386))
+
+### Perf
+- Pairing on BN254 using direct Fp12 extension and non-native `Eval()` ([#1339](https://github.com/Consensys/gnark/issues/1339))
+
+### Refactor
+- move poseidon2 to permutation package ([#1353](https://github.com/Consensys/gnark/issues/1353))
+
+### Test
+- add scalar mul to stats ([#1275](https://github.com/Consensys/gnark/issues/1275))
+
+### Pull Requests
+- Merge pull request [#1298](https://github.com/Consensys/gnark/issues/1298) from Consensys/build/gnark-crypto
+
+
 <a name="v0.11.0"></a>
 ## [v0.11.0] - 2024-09-06
 ### Build
 - update runner and go version ([#1260](https://github.com/Consensys/gnark/issues/1260))
 
 ### Chore
-- update version
 - explicit IO methods in interfaces ([#1266](https://github.com/Consensys/gnark/issues/1266))
 - update gnark-crypto module
 - clean old definition
@@ -57,6 +144,9 @@
 ### Feat
 - implement FixedLengthSum of sha2 ([#821](https://github.com/Consensys/gnark/issues/821))
 
+### Fix
+- Build on 32-bit arch would raise int overflow https://github.com/Consensys/gnark/issues/1192 ([#1195](https://github.com/Consensys/gnark/issues/1195))
+
 ### Fix
 - remove redundant select
 - variable modulus subtraction padding ([#1200](https://github.com/Consensys/gnark/issues/1200))
@@ -116,9 +206,6 @@
 - **pairing:** fix benchmarks
 - **uints:** constrain valueOf ([#1139](https://github.com/Consensys/gnark/issues/1139))
 
-### Fix
-- Build on 32-bit arch would raise int overflow https://github.com/Consensys/gnark/issues/1192 ([#1195](https://github.com/Consensys/gnark/issues/1195))
-
 ### Perf
 - eliminate final exp in bls12-381 optimized
 - eliminate final exp in bls12-377
@@ -171,6 +258,9 @@
 - **bw6:** remove benchmark
 - **bw6:** apply review suggestion
 
+### Release
+- v0.11.0 ([#1272](https://github.com/Consensys/gnark/issues/1272))
+
 ### Style
 - fixed wrong EcMul comment
 - fixed comment
@@ -3199,6 +3289,7 @@
 - Merge pull request [#5](https://github.com/Consensys/gnark/issues/5) from ConsenSys/go1.14_deps
 
 
+[v0.12.0]: https://github.com/Consensys/gnark/compare/v0.11.0...v0.12.0
 [v0.11.0]: https://github.com/Consensys/gnark/compare/v0.10.0...v0.11.0
 [v0.10.0]: https://github.com/Consensys/gnark/compare/v0.9.1...v0.10.0
 [v0.9.1]: https://github.com/Consensys/gnark/compare/v0.9.0...v0.9.1

diff --git a/README.md b/README.md
@@ -192,17 +192,17 @@ If you use `gnark` in your research a citation would be appreciated.
 Please use the following BibTeX to cite the most recent release.
 
 ```bib
-@software{gnark-v0.11.0,
+@software{gnark-v0.12.0,
   author       = {Gautam Botrel and
                   Thomas Piellard and
                   Youssef El Housni and
                   Ivo Kubjas and
                   Arya Tabaie},
-  title        = {Consensys/gnark: v0.11.0},
-  month        = sep,
-  year         = 2024,
+  title        = {Consensys/gnark: v0.12.0},
+  month        = jan,
+  year         = 2025,
   publisher    = {Zenodo},
-  version      = {v0.11.0},
+  version      = {v0.12.0},
   doi          = {10.5281/zenodo.5819104},
   url          = {https://doi.org/10.5281/zenodo.5819104}
 }

diff --git a/backend/groth16/bls12-377/verify.go b/backend/groth16/bls12-377/verify.go
diff --git a/backend/groth16/bls12-381/verify.go b/backend/groth16/bls12-381/verify.go
diff --git a/backend/groth16/bls24-315/verify.go b/backend/groth16/bls24-315/verify.go
diff --git a/backend/groth16/bls24-317/verify.go b/backend/groth16/bls24-317/verify.go
diff --git a/backend/groth16/bn254/verify.go b/backend/groth16/bn254/verify.go
diff --git a/backend/groth16/bw6-633/verify.go b/backend/groth16/bw6-633/verify.go
diff --git a/backend/groth16/bw6-761/verify.go b/backend/groth16/bw6-761/verify.go