search

w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Prover refactoring #11

Closed swasilyev closed 3 years ago

swasilyev commented 3 years ago

Goals

  1. Precomputations L0, L{n-1}, public keys polynomials
  2. Making evaluations amplification n -> 4n explicit
  3. Moving kzg aggregation to mod kzg
  4. Benchmarks