Consensys / gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

https://hackmd.io/@gnark

Consensys/gnark Issues

feat: MarshalSolidity() for groth16 proofs
Closed a month ago2
EFS cleanup update
Closed 2 months ago
Generating witness from simple eddsa circuit give error "can't set fr.Element from type expr.LinearExpression".
Closed 2 months ago1
how to register a new hint
Closed 2 months ago1
bug: plonk: Compile() corrupts the circuit object
Closed 2 months ago1
bug: cannot recursively create a witness (of inner circuit) in the production engine
Closed 2 months ago2
in BLS12377/BW6761 recursive circuit, 1 more public variable in inner circuit will cause extra 2678 constrains in outer circuit, is it reasonable?
Closed 2 months ago1
bug: in plonk recursion, if inner/outer1/outer2 circuit are used, proves fails.
Closed 3 months ago3
bug: Groth16Commitments is empty after trusted setup
Updated 3 months ago5
perf: improve PLONK in-circuit verification
Updated 3 months ago
feat: implement commitment verification in Groth16 in-circuit recursive verifier
Closed 3 months ago2
bug: Decompressor fails with `level = GoodSnarkDecompression`
Updated 3 months ago
Can Plonk use R1CS instead of SparseR1CS to reduce Constraint size?
Closed 3 months ago1
Convert int to frontend.Variable or vice versa
Closed 3 months ago2
feat: add solver option to define number of used parallel processes
Closed 3 months ago
bug: Go 1.22 alternates naming of anonymous functions
Closed 3 months ago5
bug: in plonk recursion, if the inner circuit has no public witness , outer circuit compile error .
Closed 3 months ago3
feat: update the stats test with Aggregation circuit(s)
Closed 3 months ago
Add PLONK verifier option to use safe EC arithmetic.
Closed 4 months ago
bug: pairing check failing in computeLines
Closed 4 months ago18
fix: PLONK verifier gadget in-circuit without commitments
Closed 4 months ago
bug: emulated arithmetic: unable to call IsZero after FromBits if the input is bigger than q
Updated 4 months ago3
feat: allow arbitrary circuit verification in PLONK aggregation
Closed 4 months ago
bug: Race condition on Hint
Closed 4 months ago4
Question: does gnark support BW6-633?
Closed 4 months ago4
bug: (Rollup example) Hash function used in multiple locations but not Reset properly
Updated 4 months ago
question: An error happens when using public inputs with Variable-length array
Closed 4 months ago3
how to handle ignoring uninitialized slice errors
Closed 5 months ago1
bug: In plonk recursion, if the inner /outer circuit both use BN254 curve, outer circuit prove fail
Closed 4 months ago4
bug: In Plonk recursion, if multi inner circuit are included, outer circuit prove fails.
Closed 4 months ago2
std/emulated/field_assert.go IsZero() does not work as expected
Closed 4 months ago6
How to set bls12_381 G1Affine from [48]frontend.Variable?
Closed 4 months ago2
bug: constants are reduced before being split in limbs
Closed 4 months ago7
perf: implement Miller loop lines precomputations for all curves
Closed 4 months ago1
20:16:12 ERR error="constraint #106781 is not satisfied: qL⋅xa + qR⋅xb + qO⋅xc + qM⋅(xaxb) + qC != 0 → 143 + 0 + 0 + 0 + -227 != 0" nbConstraints=980154
Closed 4 months ago3
bug: R1CS.ReadFrom() panics in cbor code
Closed 4 months ago1
in
Closed 4 months ago
feat: allow marshalling into Solidity-compatible format from `witness.Witness`.
Updated 5 months ago1
Best possible prover config for mobile devices and ability to cache constraint system solver results
Closed 5 months ago
add sanity check: `domain.Cardinality` should match `size := ecc.NextPowerOfTwo(sizeSystem)`
Updated 5 months ago
doc: explicitly mention the assumption in KZG package
Updated 5 months ago
perf: direct `MillerLoop` in 2-chains precomputes G2 lines on copies
Updated 5 months ago
Personal
Closed 5 months ago
`plonk.Verify` with full witness instead of public witness gives obscure error message
Updated 5 months ago
feat: for tests, look for kzg setups on local file system instead of re-computing each time
Updated 5 months ago
feat: add guards to detect modifying non-natuve element values
Updated 5 months ago
feat: `groth16/mpcsetup` repurpose for creating SRS for KZG
Updated 5 months ago
Best way to read witness values from public witness
Closed 5 months ago
perf: implement bounded scalar multiplication for GLV scalar mul
Updated 6 months ago
bug: `TestCommitment` fails
Closed 6 months ago