Brandon H. Gomes
5dfe1b412e
feat: add no-std support for starky
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-04 16:04:10 -07:00
Brandon H. Gomes
fc3f63398d
wip: start moving starky to no-std
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-03 12:17:03 -07:00
Brandon H. Gomes
38e467f1c0
chore: fix serde-cbor and run cargo-sort
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-03 11:41:12 -07:00
Brandon H. Gomes
e2cdd5a954
feat: upgrade Sampling APIs
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-03 08:26:03 -07:00
Brandon H. Gomes
6fd0da216a
fix: remove unstable features from plonky2
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-02 17:50:31 -07:00
Daniel Lubarov
b6d71a7008
Keccak benchmark
...
And reworking things a bit to include the timing data we want.
2022-09-23 10:54:17 -07:00
Daniel Lubarov
d7d50e9d5a
Minor
2022-09-19 23:04:53 -07:00
Daniel Lubarov
5d4d81c29f
Shape check in starky
2022-09-19 21:41:24 -07:00
Daniel Lubarov
dbce356818
Validate the shape of each proof
2022-09-19 17:37:18 -07:00
wborgeaud
a930c1a823
s/l1/l0
2022-09-12 08:09:17 +02:00
Daniel Lubarov
19162db596
Tweak features
2022-09-07 15:10:40 -07:00
Sladuca
aa0f0f6e75
add other features back
2022-09-06 15:10:55 -04:00
Sladuca
e72152eed8
fix default features in starky & evm
2022-09-06 14:56:48 -04:00
Daniel Lubarov
8a8b3f36aa
Merge pull request #678 from proxima-one/fix-starky-avx
...
Fix starky avx
2022-08-21 12:06:39 -07:00
Sladuca
ca35502660
fmt
2022-08-19 17:54:48 -04:00
Sladuca
ff961a34a3
fix lost evals when P::WIDTH > 0
2022-08-19 17:39:55 -04:00
Daniel Lubarov
faa75178a2
MIT + Apache2 licenses
2022-08-15 07:43:00 -07:00
Sebastien La Duca
e48bfa837f
fmt
2022-07-24 18:06:03 -04:00
Sebastien La Duca
c9d610ec10
use maybe_rayon in starky and evm
2022-07-24 17:47:14 -04:00
Daniel Lubarov
e73d01a037
packed_field -> packed (#584 )
...
* `packed_field` -> `packed`
For cleaner imports; "field" is usually clear from context
* fix
2022-06-27 15:07:52 -07:00
Daniel Lubarov
3346d3f902
field_types -> types (#583 )
...
* `field_types` -> `types`
Here too, I think "field" is usually clear from context, e.g. in `use plonky2::field::types::Field;`.
* fixes
* fmt
2022-06-27 12:24:09 -07:00
Daniel Lubarov
410e03349c
extension_field -> extension (#581 )
...
It seems redundant in most contexts, e.g. `use plonky2::field::extension_field::Extendable;`. One could import `extension_field`, but it's not that common in Rust, and `field::extension` is now about as short.
2022-06-27 07:18:21 -07:00
wborgeaud
918201d0f9
Fix new lints
2022-06-15 17:23:04 +02:00
wborgeaud
ccc9c024a2
Change some fn to take iterators instead of slices
2022-06-03 19:20:19 +02:00
wborgeaud
6f5c8e46f6
s/right/next
2022-06-02 23:55:56 +02:00
wborgeaud
b3f873c66a
Finish test
2022-05-19 11:10:10 +02:00
wborgeaud
2bc5b24c52
Start
2022-05-19 10:22:57 +02:00
wborgeaud
17dfa8d713
Merge pull request #541 from mir-protocol/starky_multitables
...
Start of Starky multitable implementation
2022-05-18 14:35:00 +02:00
wborgeaud
7676f907bf
Missed some
2022-05-17 11:15:53 +02:00
wborgeaud
b606d99e07
Use *_circuit suffix for gadgets
2022-05-17 11:04:35 +02:00
wborgeaud
e40276ef19
Compiles somehow
2022-05-05 17:14:21 +02:00
wborgeaud
90f6d07f72
Merge pull request #539 from proxima-one/make_recover_degree_bits_public
...
Make `recover_degree_bits` public
2022-04-30 10:30:36 +02:00
Sebastien La Duca
737e237ee5
make recover_degree_bits public for StarkProofTarget
2022-04-29 22:27:03 +02:00
Sebastien La Duca
b17e2c8db5
fmt
2022-04-29 15:47:00 +02:00
Sebastien La Duca
5b90d91235
add doc explaining ordering in
2022-04-29 15:39:54 +02:00
Sebastien La Duca
aad56c6603
make recover_degree_bits_public
2022-04-29 10:50:02 +02:00
Daniel Lubarov
0d118d0f49
STARK recursion timing info ( #537 )
...
* STARK recursion timing info
* clippy
2022-04-24 15:35:28 +02:00
Daniel Lubarov
4fc6fdadd3
Stop suppressing unused/dead warnings globally ( #527 )
...
Most of them were trivial to address; for the remaining warnings I suppressed just the relevant line and added TODOs.
2022-03-31 22:53:47 -07:00
Daniel Lubarov
482dfe559a
Vectorize constraint evaluation in Starky ( #520 )
2022-03-20 08:58:23 -07:00
Daniel Lubarov
7d6c0a448d
Halo2 style lookup arguments in System Zero ( #513 )
...
* Halo2 style lookup arguments in System Zero
It's a really nice and simple protocol, particularly for the verifier since the constraints are trivial (aside from the underlying batched permutation checks, which we already support). See the [Halo2 book](https://zcash.github.io/halo2/design/proving-system/lookup.html ) and this [talk](https://www.youtube.com/watch?v=YlTt12s7vGE&t=5237s ) by @daira.
Previously we generated the whole trace in row-wise form, but it's much more efficient to generate these "permuted" columns column-wise. So I changed our STARK framework to accept the trace in column-wise form. STARK impls now have the flexibility to do some generation row-wise and some column-wise (without extra costs; there's a single transpose as before).
* sorting
* fixes
* PR feedback
* into_iter
* timing
2022-03-16 17:37:34 -07:00
wborgeaud
dd4cc21309
PR feedback
2022-02-23 09:36:28 +01:00
wborgeaud
8c5cbbc7c6
Add first row Z check
2022-02-22 17:40:48 +01:00
wborgeaud
17bbc6f3e4
Minor
2022-02-22 17:30:08 +01:00
wborgeaud
a31c58b69d
Use ReducingFactor
2022-02-22 17:23:55 +01:00
wborgeaud
150d764440
Simplification
2022-02-22 17:00:08 +01:00
wborgeaud
4ea418a486
Clippy
2022-02-22 16:35:20 +01:00
wborgeaud
064b3c07a8
Forgot to set permutation cap
2022-02-22 16:18:41 +01:00
wborgeaud
6cd2fc62b5
Should work (does not)
2022-02-22 11:44:24 +01:00
wborgeaud
ed4aef0fa0
Fill permutation todos
2022-02-22 10:46:51 +01:00
wborgeaud
56e269e27a
Working (not recursively)
2022-02-22 10:37:08 +01:00
