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

141 Commits

Author SHA1 Message Date
Nicholas Ward
9f2f987f20 minor fixes 2021-07-14 15:57:35 -07:00
Nicholas Ward
27c93f8f4b addressed comments 2021-07-14 15:47:59 -07:00
Nicholas Ward
0a32e0fdeb cargo fmt 2021-07-13 16:54:04 -07:00
Nicholas Ward
bad2e646c3 Merge branch 'main' into insertion_gate 2021-07-13 16:53:08 -07:00
Nicholas Ward
f4c7756f56 removed test debugging 2021-07-13 16:51:45 -07:00
Nicholas Ward
3a2ba05b27 last fix! 2021-07-13 16:50:50 -07:00
Nicholas Ward
c6a33d0eff more fixes 2021-07-13 16:49:22 -07:00
Nicholas Ward
ca944d5892 fixes; and in-progress test debugging 2021-07-13 16:48:24 -07:00
Nicholas Ward
f0ae72ba74 constraints in base field (fixes low degree test) 2021-07-13 16:15:56 -07:00
Nicholas Ward
1ecc234644 fix 2021-07-13 16:02:55 -07:00
Nicholas Ward
e0c767f3c1 added intermediate wires to generator; and test (does not pass) 2021-07-13 16:01:29 -07:00
Nicholas Ward
57a39a1730 basic tests, and fixes 2021-07-12 16:55:41 -07:00
Nicholas Ward
82206fdc3e num_wires 2021-07-12 16:46:53 -07:00
Nicholas Ward
1b83b4dd4b cargo fmt 2021-07-12 16:45:59 -07:00
Nicholas Ward
4bac34646c generator 2021-07-12 16:38:05 -07:00
Nicholas Ward
185117ed43 params 2021-07-12 15:39:35 -07:00
Nicholas Ward
cbffb854cc cargo fmt 2021-07-12 15:31:26 -07:00
Nicholas Ward
6090f6d6ce changed insert_here to a wire, and fixes 2021-07-12 15:31:12 -07:00
Nicholas Ward
66e4f7c3cf added output constraint 2021-07-12 12:14:14 -07:00
Nicholas Ward
bec189b598 fixes 2021-07-09 16:31:19 -07:00
Nicholas Ward
751e61647f cleanup and progress 2021-07-08 17:05:04 -07:00
Nicholas Ward
662d62d8b4 progress on eval_unfiltered 2021-07-08 15:20:26 -07:00
Nicholas Ward
fbcfbf2d23 insertion gate progress 2021-07-07 14:32:27 -07:00
Nicholas Ward
2bee1c6721 current progress 2021-07-06 10:28:39 -07:00
wborgeaud
fc0f8a78ce First try 2021-07-02 14:13:57 +02:00
Nicholas Ward
6751f920c8 Merge branch 'main' into insertion_gate 2021-07-01 13:12:45 -07:00
Nicholas Ward
bdb6cfe927 skeleton 2021-07-01 13:11:34 -07: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