wborgeaud
2e008eac23
Change Merkle tree lead hashing (to change back when #481 lands)
2022-02-14 09:35:08 +01:00
wborgeaud
24c201477c
Recursive stark test (failing)
2022-02-10 16:14:18 +01:00
wborgeaud
3aa192a7f6
Add witness generation for stark proofs
2022-02-10 16:04:46 +01:00
wborgeaud
ff7a654840
Methods for virtual stark proofs
2022-02-09 17:11:13 +01:00
wborgeaud
ae330ff6a7
Clippy
2022-02-08 18:19:11 +01:00
wborgeaud
ba63a37b7d
Compiles
2022-02-08 18:16:33 +01:00
wborgeaud
8a07d7af41
Merge pull request #474 from mir-protocol/match_recursive_verifier
...
Match native and recursive verifier structures
2022-02-07 22:24:03 +01:00
wborgeaud
0cc776922a
Make get_challenges private.
2022-02-07 22:11:37 +01:00
wborgeaud
a10cd49b29
Merge pull request #473 from mir-protocol/standardize_set_method_order
...
Standardize `set_*` method parameter order
2022-02-07 22:06:21 +01:00
wborgeaud
415da246a5
Naming
2022-02-07 12:10:14 +01:00
wborgeaud
02746d8a0f
Minor
2022-02-07 12:03:52 +01:00
wborgeaud
f39352896f
Unused
2022-02-07 12:02:37 +01:00
wborgeaud
d7bdc75082
Further cleaning
2022-02-07 11:56:16 +01:00
wborgeaud
61fcc9048e
Working
2022-02-07 11:47:58 +01:00
wborgeaud
afe89a61f4
Add methods
2022-02-07 11:23:49 +01:00
Daniel Lubarov
b40827e655
trim_to_len helper function (#472 )
...
* trim_to_len helper function
Seems a little nicer IMO to only remove a certain number of zeros, vs removing all trailing zeros then re-adding some.
* PR feedback
2022-02-06 23:35:46 -08:00
wborgeaud
0a96d33f78
Standardize set_* method parameters order
2022-02-07 08:33:13 +01:00
Daniel Lubarov
a43e138f57
Move some FRI stuff into the FRI module ( #471 )
...
I think it would be nice to eventually have separate crates for IOP, FRI, PLONK, etc. This is one step toward that.
2022-02-06 23:13:12 -08:00
Daniel Lubarov
b6a60e721d
Separate methods for hashing with or without padding ( #458 )
...
* Separate methods for hashing with or without padding
This should be a tad better for for performance, and lets us do padding in a generic way, rather than each hash reimplementing it.
This also disables padding for public inputs. It seems unnecessary since the number of public inputs is fixed for any given instance.
* PR feedback
* update
2022-02-04 13:08:57 -08:00
Jakub Nabaglo
659f1337f2
Permit small circuits in compute_quotient_polys ( #469 )
...
* Permit small circuits in `compute_quotient_polys`
* PR comments
2022-02-04 12:41:29 -08:00
wborgeaud
9eb9bac0db
Merge pull request #468 from mir-protocol/stark_constraint_degree
...
Stark constraint degree
2022-02-04 21:06:44 +01:00
wborgeaud
511cb863fc
s/max_degree_bits/quotient_degree_bits
2022-02-04 20:42:49 +01:00
Jakub Nabaglo
0df1545f0c
Merkle tree bugfixes + tests ( #467 )
...
* Merkle tree bugfixes + tests
* Minor: Clippy + lints
2022-02-04 07:59:05 -08:00
wborgeaud
6b2b8b6e5d
Use stark degree in compute_quotient
2022-02-04 16:36:22 +01:00
wborgeaud
588911f156
Merge pull request #461 from mir-protocol/fix_reducing_tests
...
Fix reducing tests
2022-02-03 21:05:15 +01:00
wborgeaud
77af9fa4cb
Merge pull request #462 from mir-protocol/disallow_degree_1
...
Disallow `quotient_degree_factor = 1`
2022-02-03 18:11:45 +01:00
wborgeaud
c1d519806d
Merge pull request #464 from mir-protocol/observe_fri_openings
...
Replace `observe_opening_set` by `observe_openings` taking a `FriOpenings`
2022-02-03 18:11:28 +01:00
wborgeaud
2a699ee004
Ignore test_curve_mul and unignore recursive tests
2022-02-03 16:52:04 +01:00
wborgeaud
73dde0b70d
Replace observe_opening_set by observe_openings taking a FriOpenings argument.
2022-02-03 16:21:34 +01:00
wborgeaud
c6a332200e
Disallow degree quotient_degree_factor = 1
2022-02-03 14:55:27 +01:00
wborgeaud
f6c66eec58
Fix reducing tests
2022-02-03 14:43:47 +01:00
wborgeaud
dd7808e3e6
Merge pull request #455 from mir-protocol/start_stark_verifier
...
Start of the STARK verifier
2022-02-03 12:15:31 +01:00
wborgeaud
bc5bc8245d
PR feedback
2022-02-03 11:49:44 +01:00
Daniel Lubarov
43800ba23d
Rename PrimeField -> Field64 ( #454 )
...
* Rename `PrimeField` -> `Field64`
And add TODOs for moving around various methods which aren't well-defined in their current traits, or would be well-defined in a supertrait.
* fix test
* TODOs as per PR feedback
2022-02-01 22:40:19 -08:00
Daniel Lubarov
8e07058ad2
Remove inner_config param - redundant with inner_common_data ( #453 )
...
* Remove inner_config param - redundant with inner_common_data
* import
* imports
2022-02-01 09:00:22 -08:00
wborgeaud
1e04f4f5a4
Comments
2022-02-01 17:34:03 +01:00
wborgeaud
8ab4f855b2
Add fri_challenges() to Challenger.
2022-02-01 17:02:11 +01:00
wborgeaud
f2369f4fae
Test pass
2022-02-01 10:48:53 +01:00
Nicholas Ward
b0afb581f1
fixed clippy warnings from CI
2022-01-31 11:23:40 -08:00
Nicholas Ward
11a1e52c38
ignore ecdsa circuit test
2022-01-31 11:17:00 -08:00
Nicholas Ward
5b5084b180
clippy
2022-01-31 10:49:06 -08:00
Nicholas Ward
a471574f78
fix
2022-01-31 10:38:02 -08:00
Nicholas Ward
8a56af93c2
TODOs
2022-01-31 10:31:53 -08:00
Nicholas Ward
20930e0086
range-check add results
2022-01-31 10:31:53 -08:00
Nicholas Ward
d68ab11913
msm
2022-01-31 10:31:53 -08:00
Nicholas Ward
30f936c434
ecdsa changes
2022-01-31 10:31:53 -08:00
Nicholas Ward
c1b8515e48
warning
2022-01-31 10:31:52 -08:00
Nicholas Ward
b1c8709f7e
addressed more comments
2022-01-31 10:31:52 -08:00
Nicholas Ward
b62fa3f608
fmt
2022-01-31 10:31:52 -08:00
Nicholas Ward
493f516fac
removed hashing
2022-01-31 10:31:52 -08:00
