privacy-scaling-explorations/sonobe

Issues

• Implement Nova folding fitting into `FoldingScheme` trait

  #24 opened 8 months ago
  3

• Implement folding step of F'

  #23 opened 10 months ago
  1

• Specify Groth16 adapted to RelaxedR1CS and fork arkworks Groth16 adapting it into that design

  #22 opened a year ago
  2

• Decide commitment openings approach for the Decider

  #20 opened 8 months ago
  5

• Implement Decider's RelaxedR1CS in-circuit circuit

  #19 opened a year ago
  0

• Implement Augmented F circuit (using CycleFold)

  #18 opened a year ago
  0

• Implement hash committed instance circuit

  #17 opened a year ago
  0

• Implement Circom wrapper

  #16 opened a year ago
  7

• Define Frontend interface and implement it's trait

  #15 opened 10 months ago
  2

• Implement Keccak transcript

  #14 opened a year ago
  10

• SumCheck circuit

  #13 opened a year ago
  0

• Add Grumpkin curve in arkworks

  #12 opened a year ago
  2