DoHoonKim8/halo2-lasso

Issues

• Define abstract trait for MemoryChecking

  #5 opened a year ago by DoHoonKim8
  7

• Implement basic ops for `PolyExpr` type

  #15 opened 8 months ago by DoHoonKim8
  0

• Implement basic ops for `PolyExpr` type

  #14 opened 8 months ago by DoHoonKim8
  0

• Add polynomial expression

  #10 opened 8 months ago by DoHoonKim8
  0

• Invoke grand product GKR only once

  #12 opened 9 months ago by DoHoonKim8
  0

• About `DecomposableTable` trait API

  #6 opened a year ago by DoHoonKim8
  1

• Lookup index is not tied to chunked indices

  #11 opened 10 months ago by DoHoonKim8
  0

• Error handling for Lasso lookup

  #7 opened a year ago by DoHoonKim8
  0

• Port `ConstraintSystem` from halo2 frontend

  #2 opened a year ago by DoHoonKim8
  0

• Add some benchmarks for RISC-V instructions

  #3 opened a year ago by DoHoonKim8
  0

• Add example for 128-bits field element range check

  #1 opened a year ago by DoHoonKim8
  0