GitHub · Where software is built

Labels Milestones New issue

perf: implement bounded scalar multiplication for GLV scalar mul

#937

· ivokub opened

on Nov 28, 2023

Mismatching field arithmetic using GKR

#803

· ivokub opened

on Aug 1, 2023

tests: add regression tests for Solidity verifier

#759

· ivokub opened

on Jul 5, 2023

missing test path in CI

#675

· gbotrel opened

on May 5, 2023

Pre compute an optimal parallel solving strategy

good first issue

#646

· gbotrel opened

on Apr 18, 2023

bindPublicData should deal only with data in the verification key

#622

· ThomasPiellard opened

on Apr 6, 2023

feat: add Blake2 precompile

#577

· gbotrel opened

on Mar 15, 2023

perf: (de)serialization revisit

#565

· gbotrel opened

on Mar 14, 2023

reduce constraint generated with <code>api.AssertIsEqual(...)</code>

#555

· gbotrel opened

on Mar 9, 2023

feat: zk-evm precompiles

#466

· gbotrel opened

on Feb 8, 2023

Improve non-native arithmetic gadget

#341

· ivokub opened

on Jul 15, 2022