13 Commits (private-witness)

Author SHA1 Message Date
  arnaucube 853a273aa9 add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678) 2 months ago
  Kevin Jue f71795a697 fix for V-SCT-VUL-006 and V-SCT-VUL-012 1 year ago
  Kevin Jue ac49898dd1 fix for V-SCT-VUL-016 1 year ago
  puma314 89b5a01e4b
feat: Plonk optimizations (#39) 2 years ago
  puma314 940c81b212
Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2 years ago
  puma314 0c677ddd0d
Revert "Range check optimizations" 2 years ago
  Uma Roy 19da211317 rename another file 2 years ago
  Uma Roy 3aef7954ed All tests pass 2 years ago
  Uma Roy b173b28649 checkpoint 2 years ago
  Uma Roy 5d53737841 Moved to variables 2 years ago
  Uma Roy 3b8611c6ac Rename back 2 years ago
  Uma Roy 1c0235b35a Renamed symbol a bunch in goldilocks, goldilocks tests pass 2 years ago
  John Guibas b670530e7f
Use optimized goldilocks in codebase (#26) 2 years ago