scroll-tech / halo2-snark-aggregator

halo2 ecc circuit
Apache License 2.0
114 stars 24 forks source link

WIP (don't merge): trial of support multi-phase on single proof #41

Closed xgaozoyoe closed 1 year ago

xgaozoyoe commented 1 year ago
  1. First stage: support multi-phase for a single proof [done]
  2. Test solidity: [done]
  3. Second: support multi-phase for num_proofs > 1 [test fail]

REMARK: This needs the branch xgao/multi-phase branch for halo2.