203 Commits (main)
 

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
  arnaucube 1d96750760 update goldilocks generators to the plonky2's updated ones at plonky2's PR#1579 (https://github.com/0xPolygonZero/plonky2/pull/1579) 2 months ago
  Matt Stam 7025b2efd6
feat: add veridise audit (#50) 1 year ago
  Dimo Dimov bc87536ad4
feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 1 year ago
  Kevin Jue c01f530fe1
fix: Support range checking non aligned bitwidth values (#47) 1 year ago
  Kevin Jue c82e6f3747
Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker 1 year ago
  Kevin Jue b064847007
Merge pull request #42 from succinctlabs/kevjue/audit_fixes 1 year ago
  Kevin Jue 503429f92f
Merge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations 1 year ago
  Kevin Jue d241f54f48 address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv needed to be constrained) 1 year ago
  Kevin Jue daad394f73 constraint optimizations for assertLeadingZeros 1 year ago
  Kevin Jue 1a0372621c removed Exp in goldilocks/base.go per V-SCT-VUL-016 1 year ago
  Kevin Jue 9be0171580 added support to optionally use bit decompose range checker 1 year ago
  Kevin Jue f71795a697 fix for V-SCT-VUL-006 and V-SCT-VUL-012 1 year ago
  Kevin Jue 8567f335cb fix for V-SCT-VUL-033 1 year ago
  Kevin Jue 9e6d08b99c fix for V-SCT-VUL-032 1 year ago
  Kevin Jue 49511611b5 fix for V-SCT-VUL-031 1 year ago
  Kevin Jue e3eff27eb1 fix for V-SCT-VUL-030 1 year ago
  Kevin Jue 06f91e4465 fix for V-SCT-VUL-029 1 year ago
  Kevin Jue de0ff4f698 fix for V-SCT-VUL-028 1 year ago
  Kevin Jue f256ca69f3 fix for V-SCT-VUL-027 1 year ago
  Kevin Jue 40d71e9e29 fix for V-SCT-VUL-025 1 year ago
  Kevin Jue 7c7a01a395 fix for V-SCT-VUL-024 1 year ago
  Kevin Jue 888b247e02 fix for V-SCT-VUL-023 1 year ago
  Kevin Jue 318c3ce9de fix for V-SCT-VUL-022 1 year ago
  Kevin Jue cc064aeb3e fix for V-SCT-VUL-021 1 year ago
  Kevin Jue 30d73dacea fix for V-SCT-VUL-020 1 year ago
  Kevin Jue 0f6466c047 fix for V-SCT-VUL-018 1 year ago
  Kevin Jue 2fab6a94b0 fix for V-SCT-VUL-017 1 year ago
  Kevin Jue ac49898dd1 fix for V-SCT-VUL-016 1 year ago
  Kevin Jue 96171410b0 fix for V-SCT-VUL-015 1 year ago
  Kevin Jue 2043890a76 fix for V-SCT-VUL-014 1 year ago
  Kevin Jue 5dd6da255e fix for V-SCT-VUL-013 1 year ago
  Kevin Jue 5766879636 fix for V-SCT-VUL-00 and V-SCT-VUL-010 1 year ago
  Kevin Jue c0cbac8423 fix for V-SCT-VUL-008 1 year ago
  Kevin Jue cc51ec1815 fix for V-SCT-VUL-007 and V-SCT-VUL-011 1 year ago
  Kevin Jue 297a82025f fix for V-SCT-VUL-002 and V-SCT-VUL-003 1 year ago
  Kevin Jue 6af5b0ae93 fix for V-SCT-VUL-005 1 year ago
  Kevin Jue a6707ed714 fix for V-SCT-VUL-004 1 year ago
  Kevin Jue 2c361fa5e3 fix for V-SCT-VUL-003 1 year ago
  Kevin Jue 85d20ce656 fix for V-SCT-VUL-002 1 year ago
  Kevin Jue 9e963933f9 fix for V-SCT-VUL-001 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
  John Guibas 13624e4daf
Merge pull request #36 from succinctlabs/revert-35-uma/optimizations 2 years ago
  puma314 0c677ddd0d
Revert "Range check optimizations" 2 years ago
  puma314 c23b174535
Merge pull request #35 from succinctlabs/uma/optimizations 2 years ago
  Uma Roy 8b96b0fd87 Removed extraneous range check 2 years ago
  Uma Roy 4841d382d7 Modified another name 2 years ago
  Uma Roy 19da211317 rename another file 2 years ago
  Uma Roy ca5d0904d1 benchmark works now 2 years ago