logos-storage/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/gnark-plonky2-verifier.git synced 2026-01-02 13:13:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
207 Commits 1 Branch 0 Tags 4 MiB
Commit Graph

21 Commits

Author SHA1 Message Date
M Alghazwi
97538c7b57 rename imports 2025-05-27 10:51:28 +02:00
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
 2024-01-04 13:56:13 -08:00
Kevin Jue
daad394f73 constraint optimizations for assertLeadingZeros 2023-12-22 11:42:53 -08:00
Kevin Jue
de0ff4f698 fix for V-SCT-VUL-028 2023-12-19 12:25:29 -08:00
Kevin Jue
f256ca69f3 fix for V-SCT-VUL-027 2023-12-19 12:22:19 -08:00
Kevin Jue
318c3ce9de fix for V-SCT-VUL-022 2023-12-19 10:51:43 -08:00
Kevin Jue
30d73dacea fix for V-SCT-VUL-020 2023-12-18 18:31:56 -08:00
Kevin Jue
2fab6a94b0 fix for V-SCT-VUL-017 2023-12-18 18:03:48 -08:00
Kevin Jue
c0cbac8423 fix for V-SCT-VUL-008 2023-12-18 16:29:57 -08:00
Kevin Jue
cc51ec1815 fix for V-SCT-VUL-007 and V-SCT-VUL-011 2023-12-18 16:09:08 -08:00
puma314
89b5a01e4b
feat: Plonk optimizations (#39) 
* Fixed poseidion hash TOOD in fri/fri.go

* optimized goldilocks

* Another optimization

* Down to 16 million

* Finished TODOs
 2023-10-13 14:00:54 -07:00
puma314
940c81b212
Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2023-10-11 18:02:46 -07:00
puma314
0c677ddd0d
Revert "Range check optimizations" 2023-10-11 17:39:52 -07:00
Uma Roy
19da211317 rename another file 2023-10-11 15:23:53 -07:00
Uma Roy
ca5d0904d1 benchmark works now 2023-10-11 15:20:42 -07:00
Uma Roy
3aef7954ed All tests pass 2023-10-11 14:53:34 -07:00
Uma Roy
b173b28649 checkpoint 2023-10-11 12:20:48 -07:00
Uma Roy
5d53737841 Moved to variables 2023-10-11 12:01:26 -07:00
Uma Roy
3b8611c6ac Rename back 2023-10-11 11:37:45 -07:00
Uma Roy
1c0235b35a Renamed symbol a bunch in goldilocks, goldilocks tests pass 2023-10-10 22:32:54 -07:00
John Guibas
b670530e7f
Use optimized goldilocks in codebase (#26) 
* gl

* stage 1 optimizations

* working optimized poseidon

* Fix posedion tests

* in progress gate type refactor

* working gates

* working e2e

* hm'

* hm2

* debug saga continues

* more debugging cry

* more debug

* it finally works

* optimizations

* more optimizations

* new changes

* more optimizations

* more cleanup

* some refactoring

* new files

* flattening of packages

* working commit

* more refactor

* more flattening

* more flattening

* more more refactor

* more optimizations

* more optimizations

* more optimizations

* plonk benchmark

* plonk

* fix r1cs

* resolve kevin's comments

* Update goldilocks/base.go

Co-authored-by: Kevin Jue <kjue235@gmail.com>

* Update goldilocks/base.go

Co-authored-by: Kevin Jue <kjue235@gmail.com>

* Update goldilocks/base.go

Co-authored-by: Kevin Jue <kjue235@gmail.com>

* Update goldilocks/quadratic_extension.go

Co-authored-by: Kevin Jue <kjue235@gmail.com>

* fix: resolve kevin's confusion

---------

Co-authored-by: Kevin Jue <kjue235@gmail.com>
 2023-07-24 16:08:17 -07:00