Halo2 Sub-Team weekly meeting notes.

2023-01-03

Done/To-Do

• Onur
  • SSHPlonk improvements review.
  • Brecht/MSM improvements and how to apply to MSM circuits.
  • Fixed-base MSM impl.
  • Understand hyperplonk (Han's code).
  • Review https://github.com/privacy-scaling-explorations/halo2/pull/114
  • Ask @ed255 about Inputs to ECC chip.
• Han
  • Snark-verifier docs elaboration.
• Carlos
  • Release tag for halo2curves and ping Jonathan on halo2 PR
  • Fix very_par, assert_verify in halo2 fork.
  • Column annotations PR merge.

Discussions

• Purpose date for rebasing? (FieldExt removal).
  • Check in halo2 the major changes that this implies. Then judge if we want to go for it or not.
• Review of https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1000 once the Snark verifier docs are done.

2023-01-10

Done/To-Do

• Onur
  • Reviewed MSM PR from Brechtpd. + Resolve conflicts.
  • Working on pippernger impl in circuits. Pushing soon to halo2wrong.
  • Sync halo2-curves with pasta-curves changes.
  • Reviewed SHPLONK PR from jonathan.
  • Waiting to review the snark-verifier doc.
  • Start looking into hyperplonk. (Maybe check Han's impl).
• Han
  • Snark-verifier doc done + PR ready for review: https://github.com/privacy-scaling-explorations/snark-verifier/pull/22
  • Busy mostly with zkevm-circuit reviews.
  • Next week focus on circuits team to help review + code.
• David
  • Catching up with all of the holidays messages.
  • Reviewing halo2-curves issues and solving them (Uncompressed repr for points, CI).
• Carlos
  • Adding Instance Column and Advice-lookup column annotation support.
  • Work on https://github.com/privacy-scaling-explorations/halo2/issues/117
  • Memory profiling work on halo2 codebase.

Discussions

• Check https://github.com/privacy-scaling-explorations/halo2/issues/112 to include more metadata within Region.