jeong0982/gkr

Issues

• Detach proving scheme from aggregation flow

  #7 opened a year ago by jeong0982
  0

• GKR verifying circuit in halo2

  #5 opened 2 years ago by jeong0982
  1

• Reimplement with ark-poly

  #6 opened 2 years ago by jeong0982
  0

• Structure of GKR circuit

  #1 opened 2 years ago by jeong0982
  1

• Separate sumcheck protocol

  #2 opened 2 years ago by jeong0982
  0