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 )
* initial commit
* most of the code done
* made global poseidon chip
* changed decompSize and added some panics
* made all gl chip as pointers
* working code
* revert go.mod and go.sum
* cleanup and comments
* cleaned up range checker selection
* renamed gnarkRangeCheckSelector to gnarkRangeCheckerSelector
* addressed PR comment
* addressed overflow issue identified by Veridise
* added some comments
* fixed some comment typos
* restore change made from commit hash 85d20ce
and 9617141
1 year ago
Kevin Jue
c82e6f3747
Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker
feat: added support to optionally use bit decompose range checker
1 year ago
Kevin Jue
b064847007
Merge pull request #42 from succinctlabs/kevjue/audit_fixes
fix: Veridise audit fixes
1 year ago
Kevin Jue
503429f92f
Merge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations
perf: assertLeadingZeros constraint 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 )
* Fixed poseidion hash TOOD in fri/fri.go
* optimized goldilocks
* Another optimization
* Down to 16 million
* Finished TODOs
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
Range check 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