Ivo Kubjas

Some curve parameters are unexported (GLV basis, cube root of one etc.). It would be useful in cases if they would be exported (for implementing GLV scalar multiplication in gnark...

### 💻 Environment Platform: Linux (Ubuntu 20.10) ### 📒 Description I am using TogglDesktop from deb package. TogglDesktop application exposes a port globally as seen from `netstat`: ``` $ netstat...

Improve non-native arithmetic gadget

1

Non-native arithmetic gadget has now been implemented. Collecting small snippets and improvement ideas for later improvement: - [x] feat: add Field structure which has methods which return `emulated.Element` instead of...

feat: add NoFuzzing() testing option

4

The new testing option allows to run assertions on `test.Assert` without fuzzing. My use case for running tests without fuzzing is in gadget where some errors panic to simplify the...

It would be useful in other contexts (plookups?) to be able to verify KZG commitments in circuits.

perf: check for duplicate constraints during building CS

2

0 and 2 are essentially the same in http://play.gnark.io/?id=sdvlixeejg

Closes #190 name old time/op new time/op delta PairingCompile-16 1.20s ± 5% 1.28s ± 5% +6.18% (p=0.000 n=10+9) name old alloc/op new alloc/op delta PairingCompile-16 182MB ± 0% 205MB ±...

From #222: > this GLV improvement works also for G2. So the same code should be used in g2.go (as in gnark-crypto). That is said, we can have a 4-dimensional...

Ensure test circuits can be compiled in parallel

2

See discussion [here](https://github.com/ConsenSys/gnark/pull/191#discussion_r765802476)

Initial PR for discussion. If the API looks OK, will add documentation and merge for now. This PR implements also emulated short-Weierstrass package, which for now assumes the special case...