• Steps
  • Basic implementations
    • GKR
    • Documentation
  • Circuit Construction
    • PSE fork of Halo2 v0.3.0
    • Halo2 Circuit Construction Repo for integration
    • Proof System
      • HyperPlonk

• HOWTO: GKR compression

• Proof aggregation using GKR

• GKR - MSM

  • Multi-scalar multiplication (MSM): The addition of many points multiplied by many scalars [𝑎]𝑃+[𝑏]𝑄+[𝑐]𝑅. There are efficient algorithms to do this in a non-naive way.
  • Multi-exponentiation: Equivalent to an [MSM], if you use the multiplicative notation for your group (common in cryptography)
  • Base field: An elliptic curve is an equation defined over some field 𝐹`. Consequently, elliptic curve points have coordinates in this field. We call this field the base field.
  • Scalar field:

• Step 1

  • Prover end-to-end
    • with IOP
    • with lookup
      • logup
    • with Frontend + VM

• Step 2

  • PCS
    • KGZ

• Step 3

  • Recursion
    • Get an idea

This project is part of Explore expander bounty