logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-17 05:03:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
579 Commits 4 Branches 0 Tags 17 MiB
Commit Graph

24 Commits

Author SHA1 Message Date
wborgeaud
4bc06deed8 zs_root -> zs_partial_products_root 2021-07-15 10:59:53 +02:00
wborgeaud
fe05da6720 Clipp 2021-07-15 10:39:57 +02:00
wborgeaud
becd0c969e Merge branch 'main' into more_recursive_verifier 
# Conflicts:
#	src/gadgets/insert.rs
#	src/plonk_common.rs
#	src/verifier.rs
 2021-07-15 09:01:36 +02:00
Daniel Lubarov
c678c55452 Imports 2021-07-14 21:43:55 -07:00
wborgeaud
02f0715040 PR feedback 2021-07-14 08:39:09 +02:00
wborgeaud
5c2c01b1ab Circuit compiles 2021-07-13 15:20:14 +02:00
wborgeaud
139430c549 Fixed GMiMC 2021-07-13 09:15:16 +02:00
wborgeaud
ad24f5d4d1 Almost working recursive verifier 2021-07-12 14:25:28 +02:00
wborgeaud
805ebb1b0d Working verifier 2021-07-08 15:13:29 +02:00
wborgeaud
b5b2ef9f3e Clippy 2021-07-02 11:01:20 +02:00
wborgeaud
1915ef9b27 Minor improvements 2021-07-02 10:58:59 +02:00
wborgeaud
90bdb5796c Fix product bug 2021-07-02 09:55:28 +02:00
wborgeaud
b86e60a397 Open the partial products polynomials only at zeta 2021-07-01 18:24:49 +02:00
wborgeaud
625377b4c0 Merge constant and sigma polynomials 2021-06-25 11:24:26 +02:00
wborgeaud
f7e92af963 Comment out errors 2021-06-09 17:55:49 +02:00
wborgeaud
7f63276623 Merge branch 'main' into recursive_verifier 2021-06-09 10:04:45 +02:00
Daniel Lubarov
72c2e19bc5
Bit of verifier work (#54) 
* Bit of verifier work

* Minor

* next_plonk_zs now available after William's changes
 2021-06-08 21:23:52 -07:00
wborgeaud
eee117512b Fill todo! 2021-06-04 17:12:39 +02:00
wborgeaud
482b40065d Merge with main 2021-06-01 11:26:23 +02:00
Daniel Lubarov
cb7f8c8b8c
Draw challenge points from the extension field (#51) 
* Draw challenge points from the extension field

* Now building

* Misc

* Default eval_unfiltered_base

* fmt

* A few field settings

* Add to Sage

* Display tweak

* eval_filtered_base

* Quartic in bench

* Missing methods

* Fix tests

* PR feedback
 2021-05-30 13:25:53 -07:00
Daniel Lubarov
5a5a86a416 First bit of verifier 
Mostly stubbed out, more coming soon...
 2021-05-26 16:23:17 -07:00
Daniel Lubarov
6d164adc6a Have the prover use the new MerkleTree API 
Before it was storing leaf data and Merkle roots, but nothing in between, since it wasn't yet interacting with intermediate layers (but it will once we hook up the FRI code).
 2021-04-24 11:15:11 -07:00
Daniel Lubarov
75b9340000 Tweak APIs 2021-03-21 11:29:47 -07:00
Daniel Lubarov
13cc76316c Initial commit 2021-02-17 14:36:32 -08:00