search

PolyhedraZK / Expander

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
https://expander.polyhedra.network
GNU Affero General Public License v3.0
76 stars 26 forks source link

Reuse eq_evals in prover, verifier, and recursive verifier #138

Closed zhiyong1997 closed 1 week ago

zhiyong1997 commented 1 week ago
  1. $(\alpha, \beta) \rightarrow (1, \alpha)$ to combine the two claims in a layer.
  2. Optimization: In prover, verifier, recursive verifier: reuse eq evals from previous layer if possible. constraints: 9.05M $\rightarrow$ 8.25M
  3. Add mpi+recursion to ci.