24 Commits

Author SHA1 Message Date
M Alghazwi
70dc4f535d update gnark dependency 2025-06-04 11:31:53 +02:00
M Alghazwi
97538c7b57 rename imports 2025-05-27 10:51:28 +02:00
M Alghazwi
b5eec1d2c9 change the testdata to plonky2 v1.0.2 output 2025-05-27 10:28:45 +02:00
Dimo Dimov
bc87536ad4
feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -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
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
d8b919a403 Fixed underconstrained in range check and added dummy mode to benchmark.go 2023-10-11 00:28:20 -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
Kevin Jue
867b3abd7c
serialize proof and witness (#27) 2023-06-22 14:59:15 -07:00
Kevin Jue
71cfa20fcb
output proof (#24) 2023-06-19 08:27:19 -07:00
Kevin Jue
9ce7bb7dbb
Step test case with public inputs (#23)
* added step test case

* export solidity code

* just set proof's public input as public variables

* make serialization a command line option

* added flag to output solidity

* some changes to the benchmark file

* used gnark cherry picked bug fix

* removed fuzz testing

* added some logging

* more debug messages and test cases for the hint issue

* removed usage of goldilocks reduce

* removed prints

* removed GoldilocksReduce

* removed prints

* added a todo

* some serialization changes
2023-06-17 19:44:20 -07:00
Kevin Jue
ecfc4a7b2b added serialization support for benchmark.go 2023-06-07 11:33:18 -07:00
Kevin Jue
302b5f5bf1
Upgrade to gnark 0.8 (#18)
* make proof with PIS public input

* upgraded to 0.8 gnark

* reduced pow witness

* fixed bug

* fixed test

* fixed bug

* adding profiling

* changed everything to be pointers

* convert remaining poseidon constants

* added the recursive_very_small

* added more outputs for benchmark
2023-05-25 07:39:06 -07:00
Kevin Jue
cf84b032e2
Rearranged files (#17)
* removed unused file

* change field import

* change import of field package

* changed field import

* moved hash to poseidon and some changes to the field package

* changed file structure
2023-05-19 19:49:14 -07:00
Kevin Jue
11f5ee28c6
Circuit modifications for recent Plonky2 changes (#5)
* pretty print fibonacci data files

* added in new dummy proof serialized data

* updated powresponse calculation in the challenger chip

* changes to reflect these plonky2 changes:  40aecc8e95

* modified benchmark to accept circuit name
2023-05-11 15:31:32 -07:00
Nicholas Ward
f1dc02d30f Poseidon extension function versions, and finished PoseidonGate 2023-04-06 11:15:07 -07:00
John Guibas
b053926793 Add benchmark script 2023-03-28 10:59:47 -07:00