Gautam Botrel issues

Results 83 issues of


                                            Gautam Botrel

mutualize big.Int pool across gnark-crypto packages, expose it for gnark too.

Implement BLS signature scheme

new feature

serialization: canonical GT elements

See * https://github.com/supranational/blst/issues/101#issuecomment-1015511522 * https://github.com/zkcrypto/bls12_381/issues/10 * https://github.com/mratsim/constantine/blob/e29e529f18e59115d8a19f69f5ec251f7cd869a9/constantine/math/pairing/lines_eval.nim#L31

Optimize batch verification of KZG openings

perf

Optimize batch verification of Plookup proofs

perf

Implement Verkle trees

type: new feature

When dynamic linking, R15 may be clobbered by a global variable access

See also #112 . Can reproduce on x86 machine with ``` go build -linkshared ./... ``` For small moduli (

bug

Serialization methods should be on GT, not on E12

w/ subgroup check on GT.

type: cleanup

type: consolidate

test: add non-regression test for `eddsa` package on each curve

On `eddsa.PrivateKey`, `eddsa.PublicKey` and `eddsa.Signature`: * generate (by hand) a hex encoded serialized object with a previous `gnark-crypto` version, define it as const in one test. Add a test that...

type: consolidate

`BatchAffineAddition`

Figure out best algorithm and implement. May be useful for `MultiExponentiation` with lots of `1` ( `gnark` circuit with binary decomposition for example) .

new feature

perf