1959 Commits

Author SHA1 Message Date
Nicholas Ward
9c6e650916 moved allow to local 2022-06-07 14:15:28 -07:00
Nicholas Ward
315d088204 ignore silly clippy warning 2022-06-07 13:58:49 -07:00
Nicholas Ward
1ad8ec5f33 fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
67167d8e03 use bit operations 2022-06-07 10:57:06 -07:00
Nicholas Ward
8b37d5d25a fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
3b9cb7a9cf fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
cacc073e4e fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
9d118ca1ef fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
901525c185 constants crate 2022-06-07 10:57:06 -07:00
Nicholas Ward
f0ed391865 clippy 2022-06-07 10:57:06 -07:00
Nicholas Ward
c39e927d52 added check on length of 2022-06-07 10:57:06 -07:00
Nicholas Ward
a4300fb6f7 fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
08bda49b70 fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
82a361f466 trying to fix CTL 2022-06-07 10:57:06 -07:00
Nicholas Ward
78b2a5ebef fixed constraints, in line with generator 2022-06-07 10:57:06 -07:00
Nicholas Ward
52afdae551 cleanup 2022-06-07 10:57:06 -07:00
Nicholas Ward
dc082139c5 fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
80d5e5375e fixes, cleanup, and correctness test 2022-06-07 10:57:06 -07:00
Nicholas Ward
9fbae06b61 fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
04978473d2 fix yay 2022-06-07 10:57:06 -07:00
Nicholas Ward
964849d956 fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
ac18c39044 fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
69aed6586a fixes 2022-06-07 10:57:06 -07:00
Nicholas Ward
60c0b4ee79 fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
e34626e9ba fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
12cb177372 fix 2022-06-07 10:57:06 -07:00
Nicholas Ward
e6d0275f2a fmt 2022-06-07 10:57:06 -07:00
Nicholas Ward
2c285ca2cd fixes and debugging 2022-06-07 10:57:06 -07:00
Nicholas Ward
e6880e591b included everything 2022-06-07 10:57:06 -07:00
Nicholas Ward
db6c3fd811 keccak stark 2022-06-07 10:57:06 -07:00
wborgeaud
2cbf063eb6
Merge pull request #556 from mir-protocol/slice_to_iter
Change some functions to take iterators instead of slices
2022-06-07 18:09:05 +02:00
Jacqueline Nabaglo
47efff834f
EVM decode (#553)
* EVM decode

* Style and docs

* Daniel PR comments

* Minor style

* Work on tests

* Tests passing!

* Minor: fix comment

* William comments
2022-06-03 19:24:47 -07:00
wborgeaud
ccc9c024a2 Change some fn to take iterators instead of slices 2022-06-03 19:20:19 +02:00
wborgeaud
d6006f8fff
Merge pull request #555 from mir-protocol/s_right_next
s/right/next
2022-06-03 00:15:54 +02:00
wborgeaud
6f5c8e46f6 s/right/next 2022-06-02 23:55:56 +02:00
Jacqueline Nabaglo
db56fe39be
Fix Clippy on main (#554) 2022-06-02 14:04:34 -07:00
wborgeaud
fd0f181515
Merge pull request #552 from mir-protocol/multi_table_lookups
Multi-table CTL
2022-06-02 19:15:21 +02:00
wborgeaud
683f325413 PR feedback 2022-06-02 19:01:44 +02:00
wborgeaud
e376196475 Remove collect 2022-06-01 20:21:59 +02:00
wborgeaud
2ecca92bf6 Minor 2022-06-01 20:17:21 +02:00
wborgeaud
2e3a738bc5 Implement multi-table CTLs 2022-06-01 18:53:19 +02:00
wborgeaud
e8fc5b5752
Merge pull request #551 from mir-protocol/starkevm_recursive_verifier
`evm` recursive verifier
2022-05-31 03:33:34 +02:00
wborgeaud
acb7b8bc05 Use reduce_base in reduce_with_powers_circuit 2022-05-31 02:51:39 +02:00
wborgeaud
fd7eb9e915 PR feedback and add reduce_with_powers_circuit fn 2022-05-30 20:13:25 +02:00
wborgeaud
bd738399dd Clippy 2022-05-26 20:44:59 +02:00
wborgeaud
ffc5ce2f1a Fix bug. Recursive verifier test passes 2022-05-26 20:37:30 +02:00
wborgeaud
1fdb41755e Recursive proof isn't correct (yet) 2022-05-26 16:27:15 +02:00
wborgeaud
e13bbf563e Add num_ctl_zs 2022-05-25 08:00:41 +02:00
wborgeaud
4afe32a778
Merge pull request #550 from mir-protocol/stark_circuit_constraint_test
Add test to check that native and circuit STARK constraints are consistent
2022-05-25 07:45:23 +02:00
wborgeaud
c49de59cbc Recursive verifier test compiles but fails 2022-05-24 17:50:28 +02:00