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

96 Commits

Author SHA1 Message Date
wborgeaud
c7753186b8 Clippy 2021-06-24 18:11:37 +02:00
wborgeaud
54315d1735 Remove GatePrefixes to avoid using a HashMap 2021-06-24 18:08:39 +02:00
wborgeaud
b4258976b1 PR fixes 2021-06-24 17:49:30 +02:00
wborgeaud
8c008ce4fb Add comments 2021-06-24 17:43:53 +02:00
wborgeaud
24af1f8c0a New heuristic 2021-06-24 17:03:07 +02:00
wborgeaud
1cfffcc919 Add comment on compute_filter 2021-06-23 16:45:30 +02:00
wborgeaud
0a75dcdb95 Remove prefix before calling eval_unfiltered_* 2021-06-23 16:06:30 +02:00
wborgeaud
c01e772fd8 Simplify filter computation 2021-06-23 15:41:39 +02:00
wborgeaud
680d7a6389 Add eval_filtered methods 2021-06-22 17:10:36 +02:00
wborgeaud
5acbb674ad Add prefix to constant polys 2021-06-22 16:54:20 +02:00
wborgeaud
aec6f21792 Test with tree from all gates. 2021-06-22 16:07:35 +02:00
wborgeaud
cfa3d3a660 Added comments 2021-06-22 15:34:50 +02:00
wborgeaud
1983600169 Change tree from struct to enum 2021-06-22 14:50:08 +02:00
wborgeaud
da3d34a0d4 Working gate tree generation 2021-06-22 14:31:46 +02:00
wborgeaud
a4c86a6b08 lagrange.rs -> interpolation.rs 2021-06-18 11:44:06 +02:00
wborgeaud
5edaab59e6 Renaming + Clippy 2021-06-16 11:37:07 +02:00
wborgeaud
6203eb0097 Rewrite MulExtensionGenerator::run_once. 2021-06-16 08:52:25 +02:00
wborgeaud
ab7e2381a2 Remove rev in computation of the reversed sum in BaseSplitGenerator. 2021-06-16 08:15:44 +02:00
wborgeaud
89b25c528c PR feedback fixes 2021-06-15 19:13:15 +02:00
wborgeaud
b44a01c975 Merge main 2021-06-15 09:20:00 +02:00
wborgeaud
cfa5807556 Add insert gadget to insert inferred leaf in FRI query rounds 2021-06-14 15:15:22 +02:00
wborgeaud
4ed03f4fb1 Fix InterpolationGenerator dependencies. 2021-06-11 19:06:12 +02:00
wborgeaud
5200d70cf0 Add interpolation gadgets 2021-06-11 16:22:29 +02:00
wborgeaud
81ce0eb710 Fix bugs 2021-06-10 16:48:05 +02:00
wborgeaud
6cce4c1f78 Add low-high split 2021-06-10 15:55:29 +02:00
wborgeaud
bb551092a0 Remove mul_extension_naive 2021-06-09 21:12:15 +02:00
wborgeaud
89761ef22a Added in-circuit reverse_bits and exp. 2021-06-09 17:39:45 +02:00
wborgeaud
9adf5bb43f Use ExtensionAlgebra + new CircuitBuilder::mul_extension 2021-06-09 10:51:50 +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
Daniel Lubarov
db1ef913e0 Remove quartic_quartic 2021-06-08 10:08:17 -07:00
wborgeaud
c674d6c1f6 Remove unused imports 2021-06-08 12:53:04 +02:00
wborgeaud
19a38682ab Minor tweaks 2021-06-08 12:49:45 +02:00
wborgeaud
070dc7c9f1 s/ext_ext/ext_algebra 2021-06-08 11:30:39 +02:00
wborgeaud
d727f84a56 Working test 2021-06-08 11:18:21 +02:00
wborgeaud
5678c7ebda Added ExtensionAlgebra 2021-06-08 10:58:03 +02:00
wborgeaud
8cf2758b6c Division gadget for extension field 2021-06-07 17:55:27 +02:00
wborgeaud
a8da9b945e Working MulExtensionGate 2021-06-07 17:09:53 +02:00
wborgeaud
6f2275bc6d Progress 2021-06-07 11:19:54 +02:00
wborgeaud
1169870163 Added test 2021-06-04 17:07:14 +02:00
wborgeaud
51c06d74ee Recursive PoW 2021-06-04 16:02:48 +02:00
wborgeaud
42d5b80a7a BaseSum gate 2021-06-04 15:40:54 +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
wborgeaud
4f6e9fb2e0 Recursive evaluation for interpolation gate. 2021-05-24 17:31:55 +02:00
Daniel Lubarov
741dc4c94c Tweaks to bench_ldes 2021-05-22 09:38:07 -07:00
Daniel Lubarov
a4be58557e Fix GMiMCGate 2021-05-20 05:35:16 -07:00
Daniel Lubarov
747974558f Add test_low_degree for other gates 2021-05-20 05:27:56 -07:00
Daniel Lubarov
229784e574 Delete old FRI gate 2021-05-20 05:27:47 -07:00
Daniel Lubarov
621b097a70 Address most feedback 2021-05-20 05:15:25 -07:00
Daniel Lubarov
d05513475c Not just quartic 2021-05-19 23:07:24 -07:00