Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ConsenSys/gnark issues and pull requests
#1193 - gnark-EdDSA-Verify example
Issue -
State: open - Opened by hellojackhelloma 5 months ago
- 1 comment
#1192 - Build on 32-bit arch would raise int overflow
Issue -
State: closed - Opened by doutv 5 months ago
- 1 comment
#1191 - Audit/final commit
Pull Request -
State: closed - Opened by ThomasPiellard 5 months ago
#1190 - How to use HashToG1 with frontend.Variable
Issue -
State: closed - Opened by HamzaZF 5 months ago
- 1 comment
#1189 - feat: scalarmul in sumcheck
Pull Request -
State: open - Opened by ivokub 5 months ago
#1187 - fix: groth16 solidity templates
Pull Request -
State: closed - Opened by ivokub 5 months ago
Labels: bug
#1185 - fix: fix most typos
Pull Request -
State: closed - Opened by shuriu 5 months ago
- 1 comment
Labels: typo
#1183 - gnark docs need love
Issue -
State: open - Opened by thor314 5 months ago
- 1 comment
Labels: consolidate, doc
#1182 - Make ExpMod work with parametric fields parameters
Pull Request -
State: closed - Opened by AlexandreBelling 5 months ago
Labels: new feature, zk-evm
#1181 - fix: fix OR computation in case one input is constant and other variable
Pull Request -
State: closed - Opened by ivokub 5 months ago
Labels: bug, fuzzing
#1180 - MPC Generated Pedersen Keys
Pull Request -
State: closed - Opened by ewoolsey 5 months ago
- 9 comments
#1179 - https://github.com/Consensys/gnark.git
Issue -
State: closed - Opened by zxramozx 5 months ago
- 1 comment
#1178 - Create devcontainer.json
Pull Request -
State: closed - Opened by zxramozx 5 months ago
- 2 comments
#1175 - Is there an implementation for ed25519 signature verification circuit?
Issue -
State: open - Opened by Teja2045 5 months ago
- 1 comment
#1174 - chore: Configure Renovate
Pull Request -
State: closed - Opened by renovate[bot] 5 months ago
- 1 comment
#1173 - perf(bls12-381): eliminate finalexp ~naively
Pull Request -
State: closed - Opened by yelhousni 6 months ago
Labels: perf
#1170 - Question : Is to possible to read the Message field in human readable format inside the circuit
Issue -
State: closed - Opened by vishal-kanna 6 months ago
- 5 comments
#1169 - Question : Is to possible to read the Message field in human readable format inside the circuit
Issue -
State: closed - Opened by vishal-kanna 6 months ago
#1168 - chore: make function comment match function names
Pull Request -
State: closed - Opened by fivecut 6 months ago
- 2 comments
Labels: typo
#1167 - fix: use emulated arithmetic for GLV decomp
Pull Request -
State: closed - Opened by ivokub 6 months ago
- 3 comments
Labels: bug
#1166 - bug: Icicle integration is out of date
Issue -
State: open - Opened by wwared 6 months ago
- 2 comments
#1165 - fix(math/bitslice): fix partition upper part range check width
Pull Request -
State: closed - Opened by ivokub 6 months ago
Labels: consolidate, doc
#1164 - fix: fix #1149 by removing unused code
Pull Request -
State: closed - Opened by gbotrel 6 months ago
- 1 comment
#1163 - chore: make function comments match function names
Pull Request -
State: closed - Opened by threehonor 6 months ago
- 1 comment
#1162 - gkr_nonnative intial review
Pull Request -
State: open - Opened by amit0365 6 months ago
- 1 comment
#1161 - Enable solidity scan on blockscout
Issue -
State: closed - Opened by naveen-consensys 6 months ago
#1160 - fix: fixes #1157 ensures calls to AttachDebugInfo are surrounded with…
Pull Request -
State: closed - Opened by gbotrel 6 months ago
- 1 comment
#1158 - Fix/neg factorial
Pull Request -
State: closed - Opened by Tabaie 6 months ago
#1157 - bug: AttachDebugInfo() contributes to most memory usage regardless of debug.Debug flag value
Issue -
State: closed - Opened by Scratch-net 6 months ago
Labels: perf
#1156 - feat: allow avoiding commitments in non-native arithmetic using constant points for Schwartz-Zippel lemma
Issue -
State: closed - Opened by zilong-dai 6 months ago
- 5 comments
#1155 - perf: replace BW6-761 final exp by a class equivalence check
Pull Request -
State: closed - Opened by yelhousni 6 months ago
- 2 comments
Labels: perf, zk-evm
#1153 - bug: restrict nbDigits in `std/math/bitslice` `Partition` method
Issue -
State: closed - Opened by ivokub 6 months ago
Labels: bug, consolidate
#1152 - bug: subtraction padding in variable-modulus non-native arithmetic does not enforce underflow protection
Issue -
State: closed - Opened by ivokub 6 months ago
Labels: bug, consolidate
#1151 - fix: ensure decomposition consistency in ValueOf
Pull Request -
State: closed - Opened by ivokub 6 months ago
- 2 comments
Labels: bug
#1149 - bug: NAF decomposition doesn't enforce checks on adjacent values
Issue -
State: closed - Opened by ivokub 6 months ago
- 2 comments
Labels: bug
#1147 - bug: describe in emulated `Reduce` method that the result may be either `x` or `x+p`
Issue -
State: closed - Opened by ivokub 6 months ago
Labels: bug, doc
#1146 - bug: use cryptographically strong hash function for checking if non-native element has to be width-constrained
Issue -
State: closed - Opened by ivokub 6 months ago
Labels: bug, zk-evm, P1: High
#1145 - fix: conditional check in non-native IsZero for applying optimization
Pull Request -
State: closed - Opened by ivokub 6 months ago
Labels: bug
#1143 - perf: replace BN254 final exp by a class equivalence check
Pull Request -
State: closed - Opened by yelhousni 6 months ago
- 6 comments
Labels: perf, zk-evm
#1141 - bug: document clearly that the hash function in `std/recursion` is not collision-resistant when inputs are of different length
Issue -
State: closed - Opened by ivokub 6 months ago
Labels: bug, doc-change-required, consolidate
#1139 - fix(uints): constrain valueOf
Pull Request -
State: closed - Opened by bernard-wagner 6 months ago
- 1 comment
Labels: bug, consolidate, P1: High
#1124 - perf,feat: groth16.ProvingKey implements BinaryDumper using gnark-crypto unsafe
Pull Request -
State: closed - Opened by gbotrel 7 months ago
- 4 comments
Labels: new feature, perf
#1120 - feat: add ripemd160 hash function with permutation
Pull Request -
State: open - Opened by ivokub 7 months ago
- 1 comment
Labels: new feature, zk-evm, P1: High
#1114 - How to implement logical statements
Issue -
State: closed - Opened by 121TheShuDynasty 7 months ago
- 2 comments
#1105 - feat: SHA2 partial precompile
Pull Request -
State: closed - Opened by ivokub 7 months ago
- 2 comments
Labels: new feature, zk-evm, P1: High
#1104 - fix: non-native arithmetic with variable modulus various fixes
Pull Request -
State: closed - Opened by ivokub 7 months ago
Labels: bug, fuzzing
#1102 - feat: allow configurable hash-to-field function for Groth16 Solidity verifier
Pull Request -
State: closed - Opened by ivokub 7 months ago
Labels: consolidate, P3: Low
#1099 - feat: add Poseidon implementation over bn254
Pull Request -
State: open - Opened by HSG88 8 months ago
#1089 - perf/fix: assume variable as zero constant when subtracting from itself
Pull Request -
State: closed - Opened by ivokub 8 months ago
Labels: bug, perf, fuzzing
#1075 - refactor: kill backend.PLONK_FRI
Pull Request -
State: closed - Opened by gbotrel 9 months ago
Labels: fuzzing
#1062 - New Feature: compute the fingerprint of a Plonk verification key for recursive verification
Pull Request -
State: open - Opened by weijiguo 9 months ago
- 3 comments
#1048 - feat: add solver option to define number of used parallel processes
Issue -
State: closed - Opened by ivokub 10 months ago
Labels: consolidate, fuzzing
#1044 - Feat/plonk update
Pull Request -
State: closed - Opened by ThomasPiellard 10 months ago
- 10 comments
#1040 - feat: added HashToG2 and BLS G2 signature verification circuit for BLS12-381
Pull Request -
State: open - Opened by weijiguo 10 months ago
- 6 comments
Labels: new feature
#1001 - chore(std): some proofreading
Pull Request -
State: closed - Opened by Pan-chao 11 months ago
- 1 comment
Labels: typo
#974 - chore: adapt changes from native Fiat-Shamir transcript
Pull Request -
State: open - Opened by ivokub 11 months ago
Labels: consolidate, zk-evm, P1: High
#973 - chore(deps): bump golang.org/x/crypto from 0.12.0 to 0.17.0
Pull Request -
State: open - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#971 - Best possible prover config for mobile devices and ability to cache constraint system solver results
Issue -
State: closed - Opened by Scratch-net 11 months ago
#970 - ignoring uninitialized slice: Digits []frontend.Variable caused by copyWitness in gnark/test/engine.go
Issue -
State: open - Opened by readygo67 12 months ago
#969 - feat: use fft without precomputing twiddles in plonk prove
Pull Request -
State: open - Opened by gbotrel 12 months ago
#968 - Fix std/recursion/plonk native and emulated examples
Pull Request -
State: open - Opened by wzmuda 12 months ago
- 1 comment
#967 - add sanity check: `domain.Cardinality` should match `size := ecc.NextPowerOfTwo(sizeSystem)`
Issue -
State: open - Opened by gbotrel 12 months ago
#966 - feat: allow arbitrary circuit verification in PLONK aggregation
Issue -
State: open - Opened by ivokub 12 months ago
Labels: consolidate
#965 - doc: explicitly mention the assumption in KZG package
Issue -
State: open - Opened by ivokub 12 months ago
#964 - fix: PLONK verifier gadget in-circuit without commitments
Issue -
State: open - Opened by ivokub 12 months ago
#963 - perf: direct `MillerLoop` in 2-chains precomputes G2 lines on copies
Issue -
State: open - Opened by ivokub 12 months ago
#961 - Personal
Issue -
State: closed - Opened by badasserry 12 months ago
#960 - Feat/plonk verifier batching
Pull Request -
State: closed - Opened by ThomasPiellard 12 months ago
- 4 comments
#959 - Refactor: Simplify computation of checksum and words
Pull Request -
State: open - Opened by Tabaie 12 months ago
#958 - fix:exacty->exactly && evalutes->evaluates
Pull Request -
State: open - Opened by AdventureSeeker987 12 months ago
- 1 comment
Labels: P3: Low, typo
#957 - perf,memory: lighter plonk ProvingKey (no trace)
Pull Request -
State: open - Opened by gbotrel 12 months ago
#956 - feat: allow marshalling into Solidity-compatible format from `witness.Witness`.
Issue -
State: open - Opened by ivokub 12 months ago
- 1 comment
#955 - chore(backend/plonkfri/bls12-377): typo fix
Pull Request -
State: open - Opened by guerrierindien 12 months ago
- 1 comment
Labels: P3: Low, typo
#954 - Clarifying Documentation Through Corrections in Code Comments
Pull Request -
State: open - Opened by joaolago1113 12 months ago
- 1 comment
Labels: P3: Low, typo
#953 - refactor: plonk.Setup takes kzg srs in canonical and lagrange form
Pull Request -
State: closed - Opened by gbotrel 12 months ago
- 3 comments
#952 - fix: #951 plonk verifier checks witness length
Pull Request -
State: closed - Opened by gbotrel 12 months ago
#951 - `plonk.Verify` with full witness instead of public witness gives obscure error message
Issue -
State: open - Opened by gbotrel 12 months ago
#950 - feat: for tests, look for kzg setups on local file system instead of re-computing each time
Issue -
State: open - Opened by gbotrel 12 months ago
#949 - Perf: plonk verifier gadget
Pull Request -
State: closed - Opened by yelhousni 12 months ago
- 2 comments
Labels: perf
#948 - feat: ECDSA with scalar multiplications in GKR
Pull Request -
State: open - Opened by ivokub 12 months ago
#946 - feat: add guards to detect modifying non-natuve element values
Issue -
State: open - Opened by ivokub 12 months ago
#945 - feat: `groth16/mpcsetup` repurpose for creating SRS for KZG
Issue -
State: open - Opened by ivokub 12 months ago
Labels: new feature
#943 - fix: several typos in the documentation
Pull Request -
State: closed - Opened by tudorpintea999 12 months ago
- 1 comment
#942 - refactor: use external compressor repo
Pull Request -
State: closed - Opened by Tabaie 12 months ago
#940 - Chore/compression v1
Pull Request -
State: closed - Opened by Tabaie 12 months ago
#939 - Best way to read witness values from public witness
Issue -
State: closed - Opened by 311923 12 months ago
#937 - perf: implement bounded scalar multiplication for GLV scalar mul
Issue -
State: open - Opened by ivokub 12 months ago
Labels: consolidate, perf, zk-evm, P2: Medium
#936 - perf: implement Miller loop lines precomputations for all curves
Issue -
State: open - Opened by ivokub 12 months ago
#935 - perf: improve PLONK in-circuit verification
Issue -
State: open - Opened by ivokub 12 months ago
#934 - perf: bounded scalar multiplication
Pull Request -
State: closed - Opened by ivokub 12 months ago
- 1 comment
Labels: consolidate, zk-evm, P1: High
#933 - Perf: variant of the Karabina cyclotomic squaring
Pull Request -
State: closed - Opened by yelhousni about 1 year ago
Labels: perf
#931 - Perf: optimize addition chains in BW6-761 final exponentiation
Pull Request -
State: closed - Opened by yelhousni about 1 year ago
Labels: perf
#930 - perf: use G2 precomputed lines for Miller loop
Pull Request -
State: closed - Opened by ivokub about 1 year ago
- 2 comments
Labels: perf, zk-evm, P1: High
#929 - perf: if we don't compress, no need to index dict.
Pull Request -
State: closed - Opened by gbotrel about 1 year ago
#928 - feat: exit when condition is not filled
Pull Request -
State: closed - Opened by ThomasPiellard about 1 year ago
#926 - fix: missing wait on channel in plonk prover
Pull Request -
State: closed - Opened by gbotrel about 1 year ago
#925 - Perf: Groth16 verifier circuit with pre-computed lines
Pull Request -
State: open - Opened by yelhousni about 1 year ago
#924 - Feat/bypass compression
Pull Request -
State: closed - Opened by Tabaie about 1 year ago
#920 - feat: make gkr hash registries private and threadsafe
Pull Request -
State: closed - Opened by gbotrel about 1 year ago
#919 - refactor: simplify hint overloading for api.Commit
Pull Request -
State: closed - Opened by gbotrel about 1 year ago