ConsenSys/gnark issues and pull requests

#1328 - final exponentiation: select optimisation

Pull Request - State: open - Opened by shramee about 12 hours ago - 5 comments

#1327 - fix: typos in documentation files

Pull Request - State: closed - Opened by leopardracer about 24 hours ago - 4 comments
Labels: typo

#1326 - perf: fast path operations for small non-native values

Pull Request - State: open - Opened by ivokub 4 days ago - 1 comment
Labels: consolidate

#1325 - fix: typos fixes

Pull Request - State: open - Opened by ivokub 4 days ago
Labels: typo

#1324 - fix bn254 solidity template

Pull Request - State: open - Opened by simplexity-ckcclc 5 days ago - 3 comments
Labels: bug

#1323 - Fix typo Update logger.go

Pull Request - State: closed - Opened by famouswizard 5 days ago - 2 comments

#1323 - Fix typo Update logger.go

Pull Request - State: closed - Opened by famouswizard 5 days ago - 2 comments

#1322 - Add support for Zeknox GPU acceleration

Pull Request - State: closed - Opened by doutv 7 days ago - 2 comments

#1322 - Add support for Zeknox GPU acceleration

Pull Request - State: closed - Opened by doutv 7 days ago - 2 comments

#1321 - Typo Update profile.go

Pull Request - State: closed - Opened by 0xbryer 7 days ago - 1 comment

#1320 - Fix typos in comments for clarity and grammatical correctness

Pull Request - State: closed - Opened by defitricks 8 days ago - 1 comment

#1319 - Fix typo Update api.go

Pull Request - State: closed - Opened by mdqst 8 days ago - 1 comment

#1318 - Update ICICLE integration to use v3 ICICLE

Pull Request - State: open - Opened by jeremyfelder 8 days ago - 3 comments

#1317 - fix: initialize public committed

Pull Request - State: closed - Opened by ivokub 10 days ago
Labels: bug

#1316 - I wanna use proof without commitment [gnark with BLS12-381]

Issue - State: open - Opened by tjchern 10 days ago - 3 comments

#1313 - Fix

Pull Request - State: closed - Opened by nnsW3 20 days ago

#1312 - perf: BW6 pairing computation using non-native Eval

Pull Request - State: open - Opened by ivokub 21 days ago
Labels: perf

#1311 - docs: add input packing example

Pull Request - State: closed - Opened by ivokub 22 days ago
Labels: doc

#1309 - perf: avoid commiting to table and queries in log-derivative argument

Pull Request - State: closed - Opened by ivokub 26 days ago - 1 comment
Labels: perf

#1308 - feat: deserialization limits

Issue - State: open - Opened by ivokub 27 days ago
Labels: consolidate

#1307 - fix: sanitize groth16 verification key reading

Pull Request - State: closed - Opened by ivokub 27 days ago - 1 comment
Labels: bug, fuzzing

#1306 - Verify Circom proofs on Gnark recursivelly

Issue - State: open - Opened by p4u 27 days ago - 17 comments

#1305 - chore: Replace fmt.Printf calls with warning logs

Pull Request - State: closed - Opened by wwared about 1 month ago - 2 comments

#1304 - chore: fix some function names in comment

Pull Request - State: closed - Opened by wangjingcun about 1 month ago - 1 comment

#1303 - chore: generalize support for different curves in `sw_emulated`

Issue - State: open - Opened by ivokub about 1 month ago
Labels: cleanup, consolidate

#1302 - ..

Issue - State: closed - Opened by Foxsenrubas about 1 month ago

#1300 - Feat/poseidon2

Pull Request - State: closed - Opened by ThomasPiellard about 1 month ago

#1299 - feat: direct multivariate polynomial evaluation in non-native

Pull Request - State: closed - Opened by ivokub about 1 month ago
Labels: perf

#1298 - feat: update to latest gnark-crypto

Pull Request - State: closed - Opened by gbotrel about 1 month ago

#1297 - Groth 16 MPC setup - code cleanup

Pull Request - State: open - Opened by Tabaie about 2 months ago

#1296 - Feat: 4-dimensional fake GLV

Pull Request - State: closed - Opened by yelhousni about 2 months ago - 2 comments
Labels: new feature, perf

#1295 - chore: Pedersen verification key reference field

Pull Request - State: closed - Opened by ivokub about 2 months ago
Labels: cleanup

#1294 - fix: expmod precompile if modulus is 1

Pull Request - State: closed - Opened by ivokub about 2 months ago
Labels: bug

#1293 - fix: allow only v=0 or v=1

Pull Request - State: closed - Opened by ivokub about 2 months ago
Labels: bug

#1291 - docs: update api doc following audit suggestions

Pull Request - State: closed - Opened by gbotrel about 2 months ago

#1289 - chore: lint generated files

Pull Request - State: closed - Opened by ivokub about 2 months ago
Labels: cleanup

#1288 - fix: fix slice init length

Pull Request - State: closed - Opened by cuishuang about 2 months ago - 6 comments
Labels: bug

#1284 - fix: eval contribution encoding

Pull Request - State: open - Opened by jtguibas 2 months ago - 2 comments

#1283 - docs: final audit report from LA

Pull Request - State: closed - Opened by ivokub 2 months ago
Labels: doc

#1282 - added sudoku example for prover and verifier

Pull Request - State: closed - Opened by 2pir2 2 months ago - 1 comment
Labels: good first issue, doc

#1281 - added sudoku example in the directory examples-sudoku.

Pull Request - State: closed - Opened by 2pir2 2 months ago - 1 comment

#1280 - docs: update GKR references and write GKR specification

Issue - State: open - Opened by ivokub 2 months ago
Labels: consolidate, doc

#1277 - build: modify workflows for new CI slack bot

Pull Request - State: closed - Opened by gbotrel 2 months ago

#1276 - feat: replace stats gob format with csv for easier diffs

Pull Request - State: closed - Opened by gbotrel 2 months ago

#1275 - test: add scalar mul to stats

Pull Request - State: closed - Opened by yelhousni 3 months ago
Labels: consolidate

#1274 - chore: up gnark-crypto

Pull Request - State: closed - Opened by yelhousni 3 months ago
Labels: bug, cleanup

#1273 - feat: use fixed G2 element in Pedersen vector commitment verification key

Issue - State: open - Opened by ivokub 3 months ago
Labels: consolidate, perf

#1272 - release: v0.11.0

Pull Request - State: closed - Opened by ivokub 3 months ago

#1271 - Fix: Bandersnatch GLV scalar multiplication

Pull Request - State: open - Opened by yelhousni 3 months ago - 1 comment
Labels: bug

#1270 - perf: Groth16 Solidity verifier

Issue - State: open - Opened by ivokub 3 months ago
Labels: consolidate

#1269 - feat constant 'randomness' - domain-size-independent vk

Pull Request - State: closed - Opened by Tabaie 3 months ago - 3 comments

#1268 - bug: gnark playground RSA example unsound

Issue - State: open - Opened by ivokub 3 months ago
Labels: bug, doc

#1267 - Unsound RSA factorization example in Gnark playground

Issue - State: open - Opened by Merricx 3 months ago - 1 comment

#1266 - chore: explicit IO methods in interfaces

Pull Request - State: closed - Opened by ivokub 3 months ago
Labels: consolidate, doc

#1265 - feat: binary operations for ```frontend.Variable```

Issue - State: open - Opened by zliucd 3 months ago - 3 comments
Labels: new feature, consolidate

#1261 - fix: several external typo fixes

Pull Request - State: closed - Opened by ivokub 3 months ago
Labels: typo

#1260 - build: update runner and go version

Pull Request - State: closed - Opened by gbotrel 3 months ago

#1259 - refactor: utility methods

Issue - State: open - Opened by ivokub 3 months ago
Labels: cleanup, consolidate

#1258 - refactor: utility methods into separate internal package for reuse in std library

Pull Request - State: closed - Opened by ivokub 3 months ago - 1 comment
Labels: cleanup

#1257 - refactor: use strings.ReplaceAll

Pull Request - State: closed - Opened by bytetigers 3 months ago - 1 comment
Labels: typo

#1256 - Docs fix spelling issues

Pull Request - State: closed - Opened by nnsW3 3 months ago - 2 comments
Labels: typo

#1255 - docs: update README

Pull Request - State: closed - Opened by ivokub 3 months ago - 1 comment
Labels: doc

#1254 - perf(bn254): optimize Miller loop

Pull Request - State: closed - Opened by yelhousni 3 months ago
Labels: perf, zk-evm

#1253 - feat test engine friendly GKR

Pull Request - State: closed - Opened by Tabaie 3 months ago

#1251 - bump gnark-crypto version and match interface changes

Pull Request - State: closed - Opened by Tabaie 3 months ago

#1249 - bug: writer broken for hasher given by `recursion.NewShort`?

Issue - State: closed - Opened by aayux 3 months ago - 1 comment

#1248 - Batch sumchecks in a Wire bundle

Pull Request - State: open - Opened by amit0365 3 months ago - 1 comment

#1247 - fix: fixes #1246 ensure cond is boolean in `api.Select`

Pull Request - State: closed - Opened by gbotrel 3 months ago

#1246 - bug: `api.Select` does not enforce condition to be bool on `PlonK` frontend

Issue - State: closed - Opened by gbotrel 3 months ago

#1245 - feat add random mask to groth16 commitment

Pull Request - State: closed - Opened by Tabaie 3 months ago - 2 comments
Labels: bug

#1244 - bug: Json Serialization returns empty witness

Issue - State: closed - Opened by feltroidprime 4 months ago - 1 comment

#1240 - chore: fix some function names

Pull Request - State: closed - Opened by highcloudwind 4 months ago - 1 comment
Labels: typo

#1239 - feat: add format specifiers for `api.Println` or implement `api.Printf`

Issue - State: open - Opened by George551556 4 months ago - 3 comments
Labels: new feature, good first issue

#1238 - perf: Groth16 verifier

Pull Request - State: closed - Opened by yelhousni 4 months ago - 3 comments
Labels: perf

#1235 - perf: Groth16 verifier

Pull Request - State: closed - Opened by yelhousni 4 months ago
Labels: perf

#1234 - fix: branch with unchecked cast could panic at compile time

Pull Request - State: closed - Opened by gbotrel 4 months ago
Labels: fuzzing

#1232 - How to assign a bigint value？

Issue - State: closed - Opened by doubiliu 4 months ago - 1 comment

#1230 - perf: optimize `DoublePairingCheck` i.e. e(a,b)e(c,d) == 1

Pull Request - State: open - Opened by yelhousni 4 months ago - 1 comment
Labels: perf, zk-evm

#1229 - fix: minimum 1 bit for constant binary decomposition

Pull Request - State: closed - Opened by gbotrel 4 months ago - 1 comment
Labels: fuzzing

#1228 - fixes #1227: api.AssertIsLessOrEqual incorrect behavior on R1CS with constant variable

Pull Request - State: closed - Opened by gbotrel 4 months ago - 1 comment
Labels: fuzzing

#1227 - bug: `api.AssertIsLessOrEqual` incorrect behavior on R1CS with constant variable

Issue - State: closed - Opened by gbotrel 4 months ago
Labels: bug, fuzzing

#1226 - fix: edge case with PLONK backend when 1 constraint

Pull Request - State: closed - Opened by ivokub 4 months ago
Labels: bug

#1225 - perf: non-native ToBitsCanonical inline binary decomposition and range checking

Issue - State: open - Opened by ivokub 4 months ago
Labels: consolidate

#1224 - fix: strict ModReduce in emulated fields

Pull Request - State: closed - Opened by ivokub 4 months ago - 2 comments
Labels: consolidate, doc

#1220 - bug: ...The usage of func : api.AssertIsLessOrEqual()

Issue - State: closed - Opened by George551556 4 months ago - 2 comments

#1219 - Question: how to capture the error of api.AssertIsEqual() func ?

Issue - State: closed - Opened by George551556 4 months ago - 6 comments

#1218 - fix: remove unconstrained and unused variables

Pull Request - State: closed - Opened by ivokub 4 months ago
Labels: bug

#1217 - refactor: separate the fixed circuits for ECPairing used in zkevm

Pull Request - State: closed - Opened by ivokub 4 months ago - 1 comment
Labels: consolidate, zk-evm, P1: High

#1216 - Update README.md

Pull Request - State: closed - Opened by Lubov66 4 months ago - 1 comment

#1215 - Recursive proof of signature on `".../std/recursion/groth16".VerifyingKey`

Issue - State: closed - Opened by aayux 4 months ago - 3 comments

#1214 - fix: avoid malicious hint in BN254 final exp check

Pull Request - State: closed - Opened by yelhousni 4 months ago
Labels: bug, zk-evm, P1: High

#1213 - bug: malicious hint in BN254 final exp check

Issue - State: closed - Opened by yelhousni 4 months ago - 1 comment
Labels: bug

#1212 - fix: use consecutive powers instead of squaring

Pull Request - State: closed - Opened by ivokub 4 months ago
Labels: bug

#1211 - feat: capture O variable in gate for external range checker

Pull Request - State: closed - Opened by ivokub 4 months ago
Labels: consolidate, zk-evm

#1210 - Help!!! please help me solve a simple question

Issue - State: closed - Opened by George551556 4 months ago - 4 comments

#1209 - feat: add BN254 final exponentiation check with output

Pull Request - State: closed - Opened by ivokub 4 months ago - 1 comment
Labels: consolidate

#1208 - bug: Deserialization fails for large circuits

Issue - State: closed - Opened by liyue201 4 months ago - 3 comments

#1207 - perf: optimize class equivalence check for BLS12 final exp

Pull Request - State: closed - Opened by yelhousni 4 months ago
Labels: perf, zk-evm

#1206 - Common serialization format between shared between all zk-snarks framworks

Issue - State: open - Opened by tdelabro 4 months ago - 8 comments

#1204 - feat: add IsOnG2 for BN254

Pull Request - State: closed - Opened by ivokub 4 months ago
Labels: consolidate

GitHub / ConsenSys/gnark issues and pull requests