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

100 Commits

Author SHA1 Message Date
wborgeaud
6132b2ad73 Use mul_extension in scalar_mul_ext since mul_extension now uses a single gate. 2021-06-14 13:30:14 +02:00
wborgeaud
19b47b5251 Clippy 2021-06-14 10:33:38 +02:00
wborgeaud
445ea3771d Remove Frobeniable trait 2021-06-14 10:28:15 +02:00
wborgeaud
5200d70cf0 Add interpolation gadgets 2021-06-11 16:22:29 +02:00
wborgeaud
4b1f368e89 Use Frobenius optimization in the circuit 2021-06-11 14:16:40 +02:00
wborgeaud
bc7f67c316 In-circuit repeated frobenius 2021-06-11 13:58:05 +02:00
wborgeaud
20741cfb4a Implement out-of-circuit repeated_frobenius using hardcoded constants 2021-06-11 13:45:51 +02:00
wborgeaud
1ebeab2c3a Implement Frobenius optimization discussed in #61 comments to avoid calling the Frobenius for every wires. 2021-06-11 10:27:03 +02:00
wborgeaud
4106a47ded Test rotate gadget 2021-06-11 09:59:55 +02:00
wborgeaud
2cd99ff84c Change ExtensionTarget::frobenius to use 4 constants instead of 1. 2021-06-11 09:35:22 +02:00
wborgeaud
dea6db00ac Rotation gadgets 2021-06-10 17:45:45 +02:00
wborgeaud
bb551092a0 Remove mul_extension_naive 2021-06-09 21:12:15 +02:00
wborgeaud
3db6e38d26 Convert some mul_extension_naive to mul_extension 2021-06-09 18:04:58 +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
wborgeaud
f965211435 Use Daniel's fmt 2021-06-08 19:36:30 +02:00
wborgeaud
e1e4bb36db Started query round 2021-06-08 19:32:23 +02:00
Daniel Lubarov
db1ef913e0 Remove quartic_quartic 2021-06-08 10:08:17 -07:00
wborgeaud
c6c71ef574 Working fri_combine_initial 2021-06-08 14:56:49 +02:00
wborgeaud
47da1ef68c Add MLE tests for algebras 2021-06-08 14:01:47 +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
f5dfe95b2e Added recursive powers 2021-06-04 17:36:48 +02:00
Daniel Lubarov
7334341cfa Attempt at simplification 2021-06-01 23:27:09 -07: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
9cf586274e Fix typos 2021-05-25 15:06:05 -07:00
Daniel Lubarov
d9e828811f Typo 2021-05-24 15:10:45 -07:00
Daniel Lubarov
e98593aa7e Little circuit optimization 2021-05-24 15:09:43 -07:00
wborgeaud
a11d2ed36b Fixes based on PR comments 2021-05-24 22:04:06 +02:00
wborgeaud
c9309eb27b Minor 2021-05-24 17:40:26 +02:00
wborgeaud
4f6e9fb2e0 Recursive evaluation for interpolation gate. 2021-05-24 17:31:55 +02:00
wborgeaud
b64a5fab46 Addition and multiplication for ExtensionTarget 2021-05-24 16:36:21 +02:00
wborgeaud
655bcd8eac Minor 2021-05-24 15:31:52 +02:00
wborgeaud
66d6f3c338 Remove useless Qua(d)r(a)ticFieldExtension traits 2021-05-24 14:12:08 +02:00
wborgeaud
b438760f72 Use bits_u64 2021-05-19 20:22:20 +02:00
wborgeaud
78f71672a3 Change Field::exp to using a u64 power. 2021-05-19 12:17:43 +02:00
wborgeaud
e806d86f86 Remove custom primitive_root_of_unity in extension fields by modifying the generators. 2021-05-19 09:35:39 +02:00
wborgeaud
1cbd12edbd Fixes based on PR comments 2021-05-18 22:22:15 +02:00
wborgeaud
8737c8d5b9 revert extension field order 2021-05-18 16:37:21 +02:00
wborgeaud
4f6f2192ab Minor fixes 2021-05-18 16:23:44 +02:00
wborgeaud
96a880193c Clippy 2021-05-18 16:09:22 +02:00
wborgeaud
37f6ee53cc Merge branch 'main' into fri-extension-field 2021-05-18 15:28:42 +02:00
wborgeaud
a2cf2c03b6 Working FRI with field extensions 2021-05-18 15:22:06 +02:00
BGluth
949fb879cc Switched over from OsRng --> thread_rng 
- At least on my Linux machine, a signiciant amount of time (> 50%) was spent inside
  OsRng.
- Likely due to blocking behaviour of the rng devices on Linux.
- thread_rng should not block, but at the same time should provide good
  enough rng.
 2021-05-14 20:15:03 -06:00
wborgeaud
1e45b0b1c0 Move Frobenius to default trait implementation. 2021-05-11 20:58:04 +02:00
wborgeaud
f1d812812e Added field order test 2021-05-11 15:26:20 +02:00
wborgeaud
04664a54ee Binary extension fields 2021-05-11 14:21:21 +02:00
wborgeaud
5e86e7dc06 Rand + fix mul + tests 2021-05-11 14:06:35 +02:00