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

119 Commits

Author SHA1 Message Date
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
85d162cdbc Merge branch 'main' into fix_z_check 2021-07-06 11:00:29 +02:00
wborgeaud
fc0f8a78ce First try 2021-07-02 14:13:57 +02:00
wborgeaud
b5b2ef9f3e Clippy 2021-07-02 11:01:20 +02:00
Daniel Lubarov
519533d4b7
Benchmark tweaks (#83) 
- Configure FRI with a list of arities that's more appropriate for a 2^14 instance. The previous config resulted in a huge final polynomial.
- Log the blinding factors, and other logging tweaks.
 2021-07-01 10:53:42 -07:00
wborgeaud
a017e79f65 Merge branch 'main' into add_routed_wires 
# Conflicts:
#	src/gadgets/arithmetic.rs
 2021-06-30 08:30:10 +02:00
wborgeaud
eee3026eee Move shorten in find_tree 2021-06-30 08:15:56 +02:00
Daniel Lubarov
f1e3474fcb
Simple reduce (#78) 
* Simple reduce

* Fix bug causing test failure
 2021-06-29 12:33:11 -07:00
wborgeaud
bae3777bcd Use max filtered degree found with the tree method in CircuitBuilder::build 2021-06-29 14:00:34 +02:00
wborgeaud
9a352193ed PR feedback 2021-06-29 09:49:05 +02:00
wborgeaud
12e81acccf Optimize the degree of the tree returned by Tree::from_gates to allow non-power of 2 degree. 2021-06-28 11:27:43 +02:00
wborgeaud
636d8bef07 Comments 2021-06-25 17:24:22 +02:00
wborgeaud
42db0a31c1 Clippy 2021-06-25 16:49:29 +02:00
wborgeaud
b62c2e6990 Supplant ArithmeticGate with ArithmeticExtensionGate 2021-06-25 16:31:10 +02:00
wborgeaud
fd3fa739a6 Fix test relying on ArithmeticGate 2021-06-25 13:56:43 +02:00
wborgeaud
e195fe58ed Merge branch 'main' into add_routed_wires 2021-06-25 13:53:30 +02:00
wborgeaud
8aa9c7b816 Merge branch 'main' into gate_tree 
# Conflicts:
#	src/circuit_data.rs
#	src/witness.rs
 2021-06-24 20:58:17 +02:00
wborgeaud
2a38f8656f PR feedback 2021-06-24 20:53:15 +02:00
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
8796c73362 Change MulExtensionGate to ArithmeticExtensionGate and change gadgets to use the new wires in this gate. 2021-06-23 18:04:43 +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
6c864ca522 Merge branch 'main' into fix_target_partition 
# Conflicts:
#	src/witness.rs
 2021-06-23 14:17:02 +02:00
wborgeaud
3bc27c65ef Rollback to previous semantics 2021-06-23 13:46:19 +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
ea6a724560 Enforce copy constraints in partial witness generation. 2021-06-14 17:02:52 +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