lambdaclass/zksync_era_precompiles

Issues

• Test ecmul failures

  #232 opened 10 months ago by rdubois-crypto
  2

• G1 point `-xp` and `-yp` can be precomputed before miller loop

  #248 opened 9 months ago by IAvecilla
  0

• G2 subgroup check is mandatory

  #252 opened 9 months ago by IAvecilla
  1

• `g2IsInSubGroup` can be optimised

  #251 opened 9 months ago by IAvecilla
  1

• Simplify point-at-infinity check in G2 point addition

  #249 opened 9 months ago by IAvecilla
  0

• `mixedAdditionStep` step is not necessary

  #247 opened 9 months ago by IAvecilla
  0

• NAF representation can be shortened

  #244 opened 9 months ago by IAvecilla
  0

• No need to initialize `let l00, l01, l10, l11, l20, l21, l30, l31, l40, l41, l50, l51`

  #246 opened 9 months ago by IAvecilla
  0

• `g2ProjectiveFromAffine` does not have to make final check.

  #241 opened 9 months ago by IAvecilla
  0

• Add Yul precompiles compilation to the CI

  #147 opened 9 months ago by ilitteri
  1

• Optimize `montgomerySub()`

  #235 opened 9 months ago by IAvecilla
  0

• Typo in referenced paper for `mixedAdditionStep` implementation

  #243 opened 9 months ago by IAvecilla
  0

• Function `g2JacobianAdd` does not support same inputs

  #245 opened 9 months ago by IAvecilla
  0

• Inacurate doc comment for `fp12Expt`

  #239 opened 9 months ago by IAvecilla
  0

• Inaccurate `finalExponentiation` doc comment

  #240 opened 9 months ago by IAvecilla
  0

• Doc comments for functions

  #242 opened 9 months ago by IAvecilla
  0

• Wrong paper reference for `fp12CyclotomicSquare`

  #238 opened 9 months ago by IAvecilla
  0

• Inaccurate `t` value in `NAF_REPRESENTATIVE()` doc comment

  #236 opened 9 months ago by IAvecilla
  0

• Final exponentiation should only be applied to the accumulator

  #250 opened 9 months ago by IAvecilla
  0

• Potential G2 subgroup check optimization using NAF representation

  #237 opened 9 months ago by IAvecilla
  0

• Deploying precompiles on zksync

  #221 opened a year ago by zerotwodao
  22

• consecutive make clean/make failing (file erasure ?)

  #233 opened 10 months ago by rdubois-crypto
  0

• Missing `.zbin` files

  #225 opened 10 months ago by qd-qd
  7

• 28/36 Test EcAdd fail

  #223 opened 10 months ago by rdubois-crypto
  4

• Update zksolc version to 1.4.0

  #229 opened 10 months ago by ilitteri
  0

• Update `gas_consumption` for `zksolc` "1.13.18"

  #207 opened a year ago by ilitteri
  1

• error: compiling pre-compiles with solc fails

  #209 opened a year ago by bajpai244
  4

• Feature for gas reports generation along with the precompile tests

  #222 opened a year ago by IAvecilla
  0

• Fix new_verifier_succeeds()

  #214 opened a year ago by MauroToscano
  0

• Addresses of precompiles redefined between repos

  #216 opened a year ago by MauroToscano
  0

• Compilation error in`EcPairing`

  #153 opened a year ago by ColoCarletti
  1

• Trying to test gast costs for an input for modexp but compiler fails on `make run`

  #208 opened a year ago by 0x73696d616f
  6

• Don't fetch the era-test-node as a git submodule

  #146 opened a year ago by jpcenteno
  0

• Curve point evaluation output should be validated. It can be `infinity`

  #181 opened a year ago by ilitteri
  1

• Optimize `REDC`

  #182 opened a year ago by ilitteri
  1

• Clarify `REDC` implementation (TODO comments)

  #183 opened a year ago by ilitteri
  1

• Remove unnecessary `r` conversion from Montgomery form.

  #184 opened a year ago by ilitteri
  1

• Remove unnecassary variables storing in `currentB` and `currentC`

  #185 opened a year ago by ilitteri
  1

• Redundant point-at-infinity check in `projectiveAdd()`

  #190 opened a year ago by ilitteri
  1

• Functions naming and doc comments improvements

  #191 opened a year ago by ilitteri
  1

• `shamirLinearCombination` doc comment and the implementation mismatch

  #192 opened a year ago by ilitteri
  1

• Redundant opposite point addition case

  #193 opened a year ago by ilitteri
  1

• Add tests for special hash values

  #201 opened a year ago by ilitteri
  1

• Reuse computation for detecting point doubling case

  #194 opened a year ago by ilitteri
  0

• Avoid copying to the memory and load it on stack right away (`ecPairing`)

  #175 opened a year ago by ilitteri
  0

• Add API Docs for precompiles `ecMul`, `ecAdd`, `ecPairing`, and `modexp`

  #158 opened a year ago by ilitteri
  0

• Use `burnGas()` instead of `invalid()`

  #154 opened a year ago by ilitteri
  0

• Use Montogomery add/sub in EcAdd

  #143 opened a year ago by ilitteri
  0

• Remove unnecessary checks for point at infinity cases

  #142 opened a year ago by ilitteri
  0

• Remove unnecessary check for `P + (-P)` case

  #141 opened a year ago by ilitteri
  0