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

#918 - bug: `TestCommitment` fails

Issue - State: closed - Opened by gbotrel about 1 year ago
Labels: bug

#917 - feat: snarks js binding for gnark

Issue - State: open - Opened by smsunarto about 1 year ago - 1 comment
Labels: proposition, P3: Low

#916 - fix: use platform independent method for counting new multiplication overflow from result limb count

Pull Request - State: closed - Opened by ivokub about 1 year ago
Labels: bug, P2: Medium

#915 - feat: cache lookup blueprint entries in solving phase

Pull Request - State: closed - Opened by gbotrel about 1 year ago - 1 comment
Labels: perf

#913 - perf: `api.FromBinary(api.ToBinary(constant))` is not a constant

Issue - State: open - Opened by gbotrel about 1 year ago
Labels: good first issue, perf, fuzzing

#912 - Perf/multisymbol 4bw

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 16 comments

#911 - fix: range checker should handle edge cases separately

Issue - State: open - Opened by ivokub about 1 year ago
Labels: bug

#908 - feat: batched KZG

Pull Request - State: closed - Opened by ivokub about 1 year ago - 3 comments

#907 - do more test for sha2

Pull Request - State: closed - Opened by zhengjunhe about 1 year ago - 2 comments

#906 - Feat/kzg gadget full

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

#901 - refactor: use emulated.FieldParams as type parameter to generic Curve and Pairing

Pull Request - State: closed - Opened by ivokub about 1 year ago - 4 comments
Labels: consolidate, zk-evm

#900 - feat: Fiat-Shamir transcript using a short hash

Pull Request - State: closed - Opened by ivokub about 1 year ago - 4 comments
Labels: new feature, zk-evm, P1: High

#899 - perf: lookup blueprint compile time improvement

Pull Request - State: closed - Opened by gbotrel about 1 year ago - 1 comment
Labels: perf

#898 - perf: lookup tables with many queries are slow to compile and solve

Issue - State: closed - Opened by gbotrel about 1 year ago
Labels: perf, zk-evm

#896 - Multi sig

Pull Request - State: closed - Opened by soyerefsane about 1 year ago - 2 comments

#895 - Feat/lzssv1 bits

Pull Request - State: closed - Opened by Tabaie about 1 year ago

#894 - Feat/stream utils

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 3 comments

#892 - spec: scalar operations in-circuit

Issue - State: closed - Opened by ivokub about 1 year ago - 3 comments
Labels: question

#891 - Feat/marshal g1 scalar

Pull Request - State: closed - Opened by ThomasPiellard about 1 year ago - 3 comments

#889 - Fix `sw_emulated` test

Pull Request - State: closed - Opened by secure12 about 1 year ago - 1 comment

#888 - Example code for emulated elliptic curve group operations fails

Issue - State: closed - Opened by 311923 about 1 year ago - 1 comment

#886 - Perf/short backref

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 1 comment

#885 - Perf/deferred backref

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 1 comment

#884 - feat: add short-hash wrappers for recursion

Pull Request - State: closed - Opened by ivokub about 1 year ago
Labels: new feature, consolidate, zk-evm, P1: High

#883 - Perf/compression zero in alphabet

Pull Request - State: closed - Opened by Tabaie about 1 year ago

#882 - perf: "start at"

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 5 comments

#881 - feat: check compatibility with the outer curve when initializing parametric Curve and Pairing objects

Issue - State: open - Opened by ivokub about 1 year ago
Labels: cleanup, consolidate, P3: Low

#880 - feat: add PLONK in-circuit verifier

Pull Request - State: closed - Opened by ivokub about 1 year ago - 19 comments
Labels: new feature, zk-evm, P1: High

#879 - feat: emulated mimc (WIP)

Pull Request - State: closed - Opened by ivokub about 1 year ago - 2 comments
Labels: new feature, consolidate, zk-evm, P1: High, doc

#878 - chore: cleanup documentation examples

Pull Request - State: closed - Opened by ivokub about 1 year ago
Labels: consolidate, P3: Low, doc

#876 - Refactor(BW6-761): use revisited Ate pairing instead of Tate

Pull Request - State: closed - Opened by yelhousni about 1 year ago - 5 comments
Labels: new feature, perf

#875 - test: refactor and avoid concurrent call to register

Pull Request - State: open - Opened by gbotrel about 1 year ago

#874 - Perf: KZG verify gadget

Pull Request - State: closed - Opened by yelhousni about 1 year ago - 12 comments
Labels: perf, zk-evm, P1: High

#873 - feat: allow custom hash function in backends

Pull Request - State: closed - Opened by ivokub about 1 year ago - 2 comments
Labels: consolidate, zk-evm, P1: High

#871 - bug: Solver consistency test fails for commitment circuit with small modulus

Issue - State: closed - Opened by ivokub about 1 year ago - 1 comment
Labels: bug, P3: Low

#870 - fix: non-native arithmetic autoreduction for division, inversion and sqrt

Pull Request - State: closed - Opened by ivokub about 1 year ago - 5 comments
Labels: bug

#869 - Feat/lzssv1

Pull Request - State: closed - Opened by Tabaie about 1 year ago - 4 comments

#868 - Fix: edge cases in the Karabina cyclotomic square decompression

Pull Request - State: closed - Opened by yelhousni about 1 year ago - 3 comments
Labels: bug

#867 - bug: omitted automatic reductions for Div, Inverse and Sqrt in field emulation

Issue - State: closed - Opened by ivokub about 1 year ago
Labels: bug, P1: High

#862 - Feat/plonk dummy setup

Pull Request - State: open - Opened by ThomasPiellard about 1 year ago - 3 comments

#861 - chore: avoid nonnative dereferences

Pull Request - State: closed - Opened by ivokub about 1 year ago - 1 comment
Labels: consolidate

#853 - fix binary decomposition of 0

Pull Request - State: closed - Opened by lightning-li about 1 year ago - 6 comments

#848 - feat: emulated MiMC

Issue - State: closed - Opened by ivokub about 1 year ago - 1 comment
Labels: new feature

#847 - feat: implement Plonk verifier in-circuit

Issue - State: closed - Opened by ivokub about 1 year ago
Labels: new feature, P1: High

#844 - FEAT: Add experimental support for Icicle GPU acceleration behind build tag

Pull Request - State: closed - Opened by jeremyfelder about 1 year ago - 6 comments

#836 - bug: binary decomposition of a variable is not asserted to be less than the modulus

Issue - State: closed - Opened by ivokub about 1 year ago
Labels: bug, P1: High

#835 - fix: assert that the binary decomposition of a variable is less than the modulus

Pull Request - State: closed - Opened by ivokub about 1 year ago - 8 comments
Labels: bug, P1: High

#834 - refactor: GKR improvements

Issue - State: open - Opened by ivokub about 1 year ago
Labels: new feature, proposition, consolidate

#831 - feat: implement lookup-table base comparison and less-than assertion

Issue - State: open - Opened by ivokub about 1 year ago - 1 comment
Labels: perf

#827 - Getting BLS group generators

Issue - State: closed - Opened by 311923 about 1 year ago - 2 comments

#801 - test: GKR API testing

Pull Request - State: closed - Opened by ivokub over 1 year ago

#800 - Division in GKR Circuits

Issue - State: closed - Opened by Tabaie over 1 year ago - 2 comments
Labels: consolidate

#765 - feat: custom gate for nonnative multiplication

Issue - State: closed - Opened by ivokub over 1 year ago - 1 comment
Labels: proposition, perf, zk-evm

#749 - perf: non-native modular multiplication

Pull Request - State: closed - Opened by ivokub over 1 year ago - 1 comment
Labels: perf, zk-evm, P1: High

#740 - Feat/gkr testing

Pull Request - State: open - Opened by Tabaie over 1 year ago

#700 - bug: bits.ToBinary create unnecessary constraints for constant inputs

Issue - State: open - Opened by ivokub over 1 year ago
Labels: bug

#696 - refactor: emulation parameters

Pull Request - State: open - Opened by ivokub over 1 year ago
Labels: new feature, cleanup, consolidate, P3: Low

#695 - fix: init elements in arrays and slices if have init hook

Pull Request - State: closed - Opened by ivokub over 1 year ago
Labels: bug

#694 - Feat/change opening order kzg

Pull Request - State: open - Opened by ThomasPiellard over 1 year ago

#693 - Kzg vk part is not serialised when serialising a plonk verification key

Issue - State: closed - Opened by ThomasPiellard over 1 year ago - 2 comments
Labels: bug

#692 - Coordinator -> prover

Issue - State: closed - Opened by nkeywal over 1 year ago

#691 - Link L1 -> L2: forward L1 messages to the L2

Issue - State: closed - Opened by nkeywal over 1 year ago

#690 - Link L1 -> L2: forward L1 messages to the L2

Issue - State: closed - Opened by nkeywal over 1 year ago

#689 - feat: add sha2 primitive

Pull Request - State: open - Opened by ivokub over 1 year ago
Labels: new feature, zk-evm, P1: High

#687 - Unexpected output in `CosineSimilarityCircuit` when `c.CS` should be `0`

Issue - State: closed - Opened by sigridjineth over 1 year ago - 1 comment

#686 - Error when converting `frontend.Variable` to `Field`

Issue - State: closed - Opened by sigridjineth over 1 year ago - 3 comments

#683 - if else

Issue - State: closed - Opened by infinite-pursuits over 1 year ago

#682 - Clarification questions

Issue - State: closed - Opened by infinite-pursuits over 1 year ago

#681 - Error "can't set val" while parsing circuit

Issue - State: closed - Opened by infinite-pursuits over 1 year ago - 2 comments

#680 - Error when using array of emulated elements as input

Issue - State: closed - Opened by tiagofneto over 1 year ago - 1 comment
Labels: bug

#679 - Test fails without unnecessary dummy constraint for PlonkFRI backend

Issue - State: open - Opened by tiagofneto over 1 year ago - 3 comments
Labels: bug, P3: Low

#678 - Fix/scs multicommits

Pull Request - State: closed - Opened by Tabaie over 1 year ago

#677 - ci: ensure linter runs on generated files + adjustements

Pull Request - State: closed - Opened by gbotrel over 1 year ago

#676 - fix race condition when compiling circuits in parallel

Pull Request - State: closed - Opened by gbotrel over 1 year ago - 1 comment

#675 - missing test path in CI

Issue - State: open - Opened by gbotrel over 1 year ago
Labels: cleanup, consolidate, zk-evm

#674 - `api.AssertIsEqual` creates one redundant R1CS constraint in many cases

Issue - State: open - Opened by aybehrouz over 1 year ago - 5 comments

#673 - Adds ground work for custom blueprints. Fixes #660

Pull Request - State: closed - Opened by gbotrel over 1 year ago
Labels: zk-evm

#670 - Using other libraries in circuits

Issue - State: closed - Opened by infinite-pursuits over 1 year ago - 1 comment

#669 - Fix/scs multicommits

Pull Request - State: closed - Opened by Tabaie over 1 year ago

#668 - Feat/plonk multicommit

Pull Request - State: closed - Opened by Tabaie over 1 year ago - 2 comments

#666 - feat: hint name options

Pull Request - State: closed - Opened by Tabaie over 1 year ago - 9 comments

#665 - Reduce Commitment Info In Verifying Keys

Pull Request - State: closed - Opened by Tabaie over 1 year ago

#664 - Refactor, perf: 2-chains pairing + groth16 API

Pull Request - State: closed - Opened by yelhousni over 1 year ago
Labels: consolidate, perf

#661 - perf(ecdsa): JoinScalarMulBase avoids 0 edge-cases

Pull Request - State: closed - Opened by yelhousni over 1 year ago
Labels: perf, zk-evm

#660 - perf/bug: `logderivlookup.Table` memory blowup

Issue - State: closed - Opened by gbotrel over 1 year ago
Labels: perf, zk-evm

#659 - perf: add a function for handling hints more efficiently

Pull Request - State: open - Opened by aybehrouz over 1 year ago - 1 comment

#658 - Perf: KZG verification circuit in a single point

Pull Request - State: closed - Opened by yelhousni over 1 year ago
Labels: perf

#657 - Document `constraint/` package

Issue - State: open - Opened by gbotrel over 1 year ago

#656 - feat: differentiate ecrecover with strict and lax check for s

Pull Request - State: open - Opened by ivokub over 1 year ago - 5 comments
Labels: consolidate, zk-evm, P1: High

#655 - fix: assert oddity of y coordinate from v instead of high bit

Pull Request - State: closed - Opened by ivokub over 1 year ago
Labels: bug, zk-evm

#654 - perf: reduce mem allocs in scs frontend

Pull Request - State: closed - Opened by gbotrel over 1 year ago

#653 - There should be some way for flagging the output of a hint as a constant when needed

Issue - State: open - Opened by aybehrouz over 1 year ago - 14 comments
Labels: question

#652 - feat: make commitment API optional

Issue - State: open - Opened by ivokub over 1 year ago
Labels: new feature, consolidate, perf

#651 - [BUG FIX] constraint: serializeCommitment

Pull Request - State: closed - Opened by SherLzp over 1 year ago - 2 comments
Labels: bug

#650 - fix: test engine does not differentiate between constants and variables

Issue - State: open - Opened by ivokub over 1 year ago
Labels: bug, good first issue, consolidate

#649 - Detect under-constrained circuits / wires

Issue - State: open - Opened by gbotrel over 1 year ago
Labels: good first issue, spike

#648 - feat: hash to curve

Issue - State: open - Opened by ivokub over 1 year ago
Labels: new feature, good first issue