2568 Commits

Author SHA1 Message Date
Dmitry Vagner
5d25683b13 test running 2022-09-19 19:06:48 -07:00
Dmitry Vagner
a6f72ee315 alt api for testing 2022-09-19 19:04:22 -07:00
Dmitry Vagner
76d50f336c duplicate macro, test skeleton 2022-09-19 18:38:43 -07:00
Dmitry Vagner
aa862b7662 delete needless 2022-09-19 18:15:22 -07:00
Dmitry Vagner
d032b7fbfb merge 2022-09-19 18:13:00 -07:00
Dmitry Vagner
6193827733 finish?? 2022-09-19 18:11:07 -07:00
Daniel Lubarov
ce64ccdcd7
Merge pull request #726 from mir-protocol/zkevm-spec
zkEVM spec
2022-09-19 17:32:41 -07:00
Daniel Lubarov
4d873cdaf5 zkEVM spec 2022-09-19 13:38:02 -07:00
Dmitry Vagner
e151be5522 ripemd storage 2022-09-19 12:09:57 -07:00
BGluth
928e8bc0e9
Merge pull request #725 from mir-protocol/eth_trie_utils_lib
Replaced `PartialTrie` definitions with `eth-trie-utils` crate
2022-09-19 11:28:30 -06:00
Dmitry Vagner
c45785f4a5 change to 8 bit words 2022-09-19 10:27:26 -07:00
Dmitry Vagner
1783f97165 add ripeMD segment 2022-09-19 10:26:46 -07:00
BGluth
d7d8803d0a Replaced PartialTrie definitions with eth-trie-utils crate
- There were enough dependencies that it made sense to move
  `PartialTrie` logic to its own crate.
2022-09-19 11:05:48 -06:00
wborgeaud
11a2099f8f
Merge pull request #724 from mir-protocol/fix_dthroot_deg1_ext
Fix `DTH_ROOT` for degree 1 extension
2022-09-19 12:47:39 +02:00
wborgeaud
3007b5e779 Fix DTH_ROOT for degree 1 extension 2022-09-19 11:25:21 +02:00
Dmitry Vagner
e1a1b05b13 update skeleton 2022-09-18 11:05:00 -07:00
Dmitry Vagner
ffbb6fc617 outer function 2022-09-18 10:20:25 -07:00
Daniel Lubarov
3fc7996d79
Merge pull request #683 from mir-protocol/call_common
Fill in call_common routine
2022-09-17 12:00:49 -07:00
Jacqueline Nabaglo
9d1d179eb1
Verify that comparison output is zero or one (#715) 2022-09-17 10:47:55 -07:00
wborgeaud
67071a0c6a
Merge pull request #721 from mir-protocol/useless_num_virtual_targets
Remove `num_virtual_targets` from `CommonCircuitData`
2022-09-17 11:31:02 +02:00
Dmitry Vagner
fa69f2a7fb remove jumpdests / add macro 2022-09-16 19:18:26 -07:00
Dmitry Vagner
5163968747 remove jumpdests / fix name 2022-09-16 10:31:30 -07:00
Dmitry Vagner
32cf13da61 update 2022-09-16 10:12:21 -07:00
Jacqueline Nabaglo
7d9e81362d
Python prototype of cache-oblivious FFT (#722) 2022-09-15 14:59:16 -07:00
Dmitry Vagner
145eb5865b flip bytes of a u32 macro 2022-09-15 11:02:03 -07:00
Dmitry Vagner
f09aec1b6c scale indices by 4 2022-09-15 09:27:51 -07:00
Dmitry Vagner
d8ac2ced74 diff name 2022-09-15 09:24:50 -07:00
Dmitry Vagner
8049a5dabb consume offset 2022-09-15 09:22:22 -07:00
Dmitry Vagner
e86c7034bc load little endian 2022-09-15 09:21:19 -07:00
wborgeaud
dc145501fd Remove num_virtual_targets from CommonCircuitData 2022-09-14 10:10:08 +02:00
Nicholas Ward
b933e43cf1
Merge pull request #720 from mir-protocol/stack-manipulation-block-fix
Stack manipulation block change
2022-09-13 23:55:25 -07:00
Nicholas Ward
a5f34d9a2e fix 2022-09-13 22:03:25 -07:00
Nicholas Ward
b25986ce57 parentheses change 2022-09-13 22:03:25 -07:00
Dmitry Vagner
b08a5772d3 allow offset variable 2022-09-13 14:32:41 -07:00
wborgeaud
8647f144b7
Merge pull request #716 from mir-protocol/s/l1/l0
Change Lagrange polynomial notation
2022-09-13 12:57:20 +02:00
wborgeaud
a930c1a823 s/l1/l0 2022-09-12 08:09:17 +02:00
Nicholas Ward
e4ab93fe9a
Merge pull request #714 from mir-protocol/stack-manipulation-blocks
blocks in stack manipulation
2022-09-11 23:00:39 -07:00
wborgeaud
11666f02d2 Clippy 2022-09-11 19:16:39 +02:00
wborgeaud
554f62fd72
Merge pull request #712 from mir-protocol/comment_batch_opening
Document batch opening function
2022-09-11 18:56:12 +02:00
Jacqueline Nabaglo
cae5f4870c
Stack pointer + underflow/overflow checks (#710)
* Stack pointer + underflow/overflow checks

* Daniel comments

* Extra docs
2022-09-10 13:20:30 -07:00
Dmitry Vagner
cf80668ce3 formatting 2022-09-09 17:42:49 -07:00
Dmitry Vagner
64e9f6f0fb final error and formatting 2022-09-09 17:38:36 -07:00
Nicholas Ward
0b9881c5e3 blocks in stack manipulation 2022-09-09 12:05:58 -07:00
Dmitry Vagner
9561dceb39 fix 2022-09-08 20:16:51 -07:00
Dmitry Vagner
3bfb994cbd fix errors 2022-09-08 19:35:37 -07:00
Dmitry Vagner
7ed78c22a3 minor errors 2022-09-08 15:47:18 -07:00
Daniel Lubarov
09f062481a
Merge pull request #705 from mir-protocol/packed_len_div
Use `ceil_div_usize` for `PACKED_LEN`
2022-09-08 09:59:31 -07:00
Daniel Lubarov
fdb6cafe18 Fill in call_common routine 2022-09-07 16:42:21 -07:00
Daniel Lubarov
e127d5a4b1
Merge pull request #713 from mir-protocol/tweak_features
Tweak features
2022-09-07 15:57:27 -07:00
Daniel Lubarov
19162db596 Tweak features 2022-09-07 15:10:40 -07:00