3359 Commits

Author SHA1 Message Date
Daniel Lubarov
6dd99e4372
Merge pull request #908 from mir-protocol/fix_call_field
Couple minor fixes
2023-03-10 21:33:25 -08:00
Daniel Lubarov
84fbbbf410 Couple minor fixes 2023-03-10 17:02:15 -08:00
Daniel Lubarov
ce25cc8416
Merge pull request #907 from toposware/wasm
Fix plonky2 compilation with wasm32-unknown-unknown target
2023-03-10 02:55:40 -08:00
Robin Salen
b3e93e91eb
Fix plonky2 compilation with wasm32-unknown-unknown target 2023-03-09 17:54:52 -05:00
Daniel Lubarov
eea8ab6260
Merge pull request #903 from mir-protocol/misc_evm_fixes
Misc EVM fixes
2023-03-06 22:51:08 -08:00
Daniel Lubarov
a6ac051952 Misc EVM fixes 2023-03-06 22:33:06 -08:00
Daniel Lubarov
2eed209a5a
Merge pull request #902 from mir-protocol/debug_tries_2
Some tooling for debugging tests where the updated tries are not correct
2023-03-06 10:31:59 -08:00
Daniel Lubarov
e6aa62f3ab Some tooling for debugging tests where the updated tries are not correct 2023-03-06 08:26:54 -08:00
Daniel Lubarov
21db4a1b48
Merge pull request #900 from mir-protocol/sys_gas
sys_gas
2023-03-05 22:57:54 -08:00
Daniel Lubarov
f117d76b73 sys_gas 2023-03-05 22:30:28 -08:00
Daniel Lubarov
f19b755393
Merge pull request #899 from mir-protocol/evm_fixes
Misc EVM fixes
2023-03-05 09:58:51 -08:00
Daniel Lubarov
c558eedd65 Misc EVM fixes 2023-03-05 09:39:49 -08:00
Nicholas Ward
ec216d28c3
Merge pull request #898 from mir-protocol/move-out-ecdsa
Move ecdsa to its own repo
2023-03-03 17:09:23 -08:00
Nicholas Ward
77fb333abf Move ecdsa to its own repo 2023-03-03 16:12:40 -08:00
Nicholas Ward
2621d58266
Merge pull request #897 from mir-protocol/move-out-u32
Move u32 to its own repo
2023-03-03 16:11:37 -08:00
Nicholas Ward
18733f1185 Move u32 to its own repo 2023-03-03 16:11:05 -08:00
Nicholas Ward
b08e7a08d8
Merge pull request #896 from mir-protocol/move-out-insertion
Move insertion to its own repo
2023-03-03 15:59:35 -08:00
Nicholas Ward
bf8780b27b Move insertion to its own repo 2023-03-03 15:39:56 -08:00
Nicholas Ward
64296bccf3
Merge pull request #895 from mir-protocol/move-out-waksman
Move waksman to its own repo
2023-03-03 15:36:15 -08:00
Nicholas Ward
b95bc90bb7 moved waksman to outside repo 2023-03-03 13:56:06 -08:00
Daniel Lubarov
57ea64e303
Merge pull request #894 from mir-protocol/fix_storage_trie_lookup
Fix code that looks for an account's storage trie
2023-02-27 17:58:05 -08:00
Daniel Lubarov
1e1e75c9b9 Fix code that looks for an account's storage trie 2023-02-27 17:34:12 -08:00
Daniel Lubarov
5aafbaad49
Merge pull request #893 from mir-protocol/move_out_system_zero
Move system-zero to its own repo
2023-02-25 16:55:31 -08:00
Daniel Lubarov
801fa641ca link 2023-02-25 16:55:19 -08:00
Daniel Lubarov
bfaa80a38c Move system-zero to its own repo
See https://github.com/mir-protocol/system-zero
2023-02-25 16:19:00 -08:00
Daniel Lubarov
7781dd366f Plonky2 to 0.1.3 2023-02-25 10:17:28 -08:00
Daniel Lubarov
db893831b4
Merge pull request #892 from mir-protocol/bump_plonky2
Use new plonky2
2023-02-25 09:57:44 -08:00
Daniel Lubarov
2133c7f3ba Use new plonky2 2023-02-25 09:36:25 -08:00
Daniel Lubarov
52e34265c6 Bump plonky2 to 0.1.2 2023-02-25 08:55:21 -08:00
Daniel Lubarov
7908471913
Merge pull request #891 from mir-protocol/fix_hash_or_noop
Fix `hash_or_noop` for general hash sizes
2023-02-25 08:51:56 -08:00
Daniel Lubarov
e52b75b0d1 Fix hash_or_noop for general hash sizes 2023-02-25 08:25:52 -08:00
Daniel Lubarov
d17f3aa440
Merge pull request #890 from mir-protocol/test_fixes
Fix a few issues found by EVM tests
2023-02-25 07:59:23 -08:00
Daniel Lubarov
29f0692efc Fix a few issues found by EVM tests 2023-02-24 23:37:08 -08:00
Daniel Lubarov
3318547653
Merge pull request #885 from mir-protocol/skip_log
Skip log_kernel_instruction if debug logs disabled
2023-02-17 09:18:21 -08:00
Daniel Lubarov
745bec8d4c Skip log_kernel_instruction if debug logs disabled 2023-02-17 07:33:30 -08:00
Dima V
6f2d99c7bc
Merge pull request #884 from mir-protocol/evm-kernel-tests 2023-02-17 03:20:04 +01:00
Dmitry Vagner
ea9846debf format 2023-02-16 17:01:43 -08:00
Dmitry Vagner
da7a8879c4 make hash functions take a location pointer 2023-02-16 16:59:51 -08:00
Dmitry Vagner
a6ffb4b3c3 simplify byte extraction 2023-02-16 16:30:50 -08:00
Dmitry Vagner
4e4cfb06b3 function API / remove redundancy 2023-02-16 15:01:22 -08:00
Dmitry Vagner
53ab0ada11 remove blake storage 2023-02-15 19:11:22 -08:00
Dmitry Vagner
77a7af76c2 remove sha2 storage 2023-02-15 19:00:52 -08:00
Dmitry Vagner
abc762f7b4 cleaner arithmetic 2023-02-15 18:50:26 -08:00
Dmitry Vagner
731c29c43b abstract 2023-02-15 18:47:33 -08:00
Dmitry Vagner
c6cf1dc56a remove custom 2023-02-15 18:26:05 -08:00
Dmitry Vagner
bce867188c simplify ripe md test 2023-02-15 18:18:26 -08:00
Jacqueline Nabaglo
f3946f75bf
Gas constraints (#880)
* Gas constraints

* Bugfix

* make test pass post rebase
2023-02-14 22:30:19 -08:00
wborgeaud
ac40bd5f5d
Optimize ecMul precompile (scalar multiplication on BN254) (#852)
* windowed mul

* Working

* Window of 4 bits

* Fix

* Comments

* Unroll loop

* Unroll loop

* remove global

* Minor

* Minor

* Implement `CALLVALUE, CALLDATALOAD, CALLDATASIZE, CALLDATACOPY` in interpreter

* Minor

* Doesn't work

* Minor

* Minor

* wnaf msm

* Working hardcoded values: 28657 opcodes

* Working wnaf

* Small wnaf optim

* Precompute works

* Working together

* Bump to 129 bits

* Working glv decomposition

* Working MSM with GLV

* Almost working

* Working

* ECC test folder

* Working with real sig data

* Fix tests + Clippy

* Minor

* Cleaning

* Comments

* Cleaning

* Smaller glv test file

* Print opcode count at the end of interpreter run

* More constants

* Add z3 proof that the GLV scalars are 129-bit or less

* Minor change to z3 proof

* Move files and renaming fns

* Testing

* Fix BN GLV

* BN precompute table

* Working precompute

* Working bn tests

* Working

* Minor

* Minor

* Use MULFP254

* Minor

* Merge conflicts

* Remove unused asm file

* ECC fns renaming (#874)

* PR feedback
2023-02-13 20:11:32 +01:00
Daniel Lubarov
3332fbb483
Merge pull request #882 from mir-protocol/back_to_nightly
Revert "Set CI to use an older version of nightly"
2023-02-10 23:25:57 -08:00
Daniel Lubarov
ff80f28b93 Revert "Set CI to use an older version of nightly"
This reverts commit da23fb116b934925f8a5cf37c2f1f092452fdc4d.
2023-02-10 23:10:39 -08:00