3 Commits (main)

Author SHA1 Message Date
  Kevin Jue c01f530fe1
fix: Support range checking non aligned bitwidth values (#47) 1 year ago
  Kevin Jue 9e6d08b99c fix for V-SCT-VUL-032 1 year ago
  Uma Roy 5d53737841 Moved to variables 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
  Kevin Jue cf84b032e2
Rearranged files (#17) 2 years ago
  Kevin Jue a415c95f6f
Refactor gate deserialization (#16) 2 years ago
  Nicholas Ward 9a51b67aca gate deserialization, ArithmeticGate, ConstantGate 2 years ago