* Working with dummy hash

* Use keccak

* Add account

* Clippy

* Support storage trie

* Use remaining key and clean

* Write pointer to leaf data in serialization

* Minor

* Comments

* Cleaning

* Cleaning

* readme

* Fix plonky2 dep

* Fix dep

* minor

* Remove dbg

* Squashed 'evm_arithmetization/' changes from d547f8d5..5ec32fcb

5ec32fcb FMT
c1728d4e Merge remote-tracking branch 'mir/main' into tmp-type2/hermez
01bb7974 Add Poseidon constraints
e695ae18 Tests passing
207c54df Poseidon STARK
02d6435f Poseidon files
710225c9 Simulate jumpdest data with the interpreter (#1489)
3ec1bfdd Update `starky` and leverage it as dependency for `plonky2_evm` (#1503)
f0ffb811 Fix tests
9f68d71d Fix tests
5a385392 Fix interpreter
b6fec06c Fix nightly build (ahash issue) (#1524)
b600142c Cleanup `alloc` / `std` imports for plonky2 (#1518)
6b39fc90 Remove risk of panics in interpreter (#1519)
d4213223 Fix dep
756d3a27 Clippy
e46112e3 Cleaning
061e70ce All tests passing
d2598bde Revert "Remove StarkProofWithMetadata (#1497)" (#1502)
4ea4807c Passing erc20 test
1a08e783 Fix no-std tests and add corresponding jobs in the CI (#1501)
06444eaa Switch permutation argument for logUp in `starky` (#1496)
fb8452de Merge pull request #1500 from topos-protocol/ci
246c2b62 Fix workflow
8f919133 Fix nightly version
212f29cf Add missing constraints mentioned by auditors (#1499)
af0259c5 Remove StarkProofWithMetadata (#1497)
f3f7433c Some cleanup (#1498)
63579636 Reorganize lookup / ctl modules (#1495)
e502a0df Make CTLs more generic (#1493)
1dc22b76 Fix BaseSumGenerator and BaseSplitGenerator Ids (#1494)
f76245e2 Cleanup imports (#1492)
a9060e61 Add LA audit report
36e62a13 Use usize::BITS and wrapping_shr in reverse_index_bits_in_place_small (#1478)
14bb5bdb Use web_time crate instead of std::time (#1481)
eff7cc0f Fix circuit sizes (#1484)
ca2e56e2 Fix bugs in jumpdest analysis (#1474)
c0700065 Improve `BIGNUM` operations (#1482)
acc59c35 Speed-up `bn254` pairing operation (#1476)
ae0907ff Merge pull request #1462 from 0xPolygonZero/pg/evm-licensing
8cb80e09 Improve `blake2f` call (#1477)
319fc6a2 Improve SHA2 precompile (#1480)
8e1969db Fix interpreter jumps (#1471)
b8a16b39 Fix typos (#1479)
265d46a9 chore: update ci workflow (#1475)
39a2d62d Fix touched_addresses removal (#1473)
10fc9660 Remove some more CPU cycles (#1472)
990eb34d Remove some CPU cycles (#1469)
30b47998 Fix simulation for jumpdest analysis (#1467)
5c1ec524 proofreading (#1466)
c4319dce fix: make add_generators public (#1463)
bb48cabd Add math rendering with Katex (#1459)
70483050 Fix fill_gaps (#1465)
c2a73ad8 Fix clippy (#1464)
219365d6 Packed rlp prover inputs (#1460)
ccd4ff87 Update Cargo.toml
de2709d8 Update README.md
7f5fae84 Add files via upload
b119e96f Merge pull request #1461 from 0xPolygonZero/eth_trie_utils_bug_fix
ab05d181 Bumped `eth_trie_utils`
f80ebe77 Remove full memory channel (#1450)
a78a29a6 Merge pull request #1423 from topos-protocol/jumpdest_nd
b05e84dd Interpreter GenerationInputs (#1455)
3b1ed824 Merge pull request #1447 from topos-protocol/plonky2_doc
cda30847 Apply review
ac9f704f Fix comment
f9c3ad66 Update empty_txn_list
fdedf3e3 Merge remote-tracking branch 'public/main' into jumpdest_nd
bead1d60 Adress review comments
233ddd4e Constrain syscall/exceptions filter to be boolean (#1458)
6ef0a3c7 Apply suggestions from code review
606732a8 Free up some CPU cycles (#1457)
99a1eb5c Missing review comments
ae4a720a Address comments
92aaa404 Apply suggestions from code review
0bf9cd2f Use current context in ecrecover (#1456)
c329b368 chore(evm,field,plonky2):fix typos (#1454)
85524cfa Intra doc link
33def084 Merge branch 'main' into plonky2_doc
aedfe5df Implement CTL bundling (#1439)
c8430dac Add Boolean constraints for `ArithmeticStark` (#1453)
54a13135 Improve some calls to `%mstore_rlp` (#1452)
1715573c Fix problems after address bundling
95c83add Merge pull request #1399 from topos-protocol/refactor_encode_funcs
5b71eb4e Address review comments
3c699be7 Merge remote-tracking branch 'public/main' into refactor_encode_funcs
22e267c3 Address bundling
bd02117c Fix `after_mpt_delete_extension_branch` (#1449)
f4be34dc Some more
dcbfef6d chore: fix typos (#1451)
82804e42 Add some more + module doc
80917cbe Merge remote-tracking branch 'public/main' into refactor_encode_funcs
7fc6b86d Minor
77f51095 Adress reviewer comments
cb19f219 Add crate-level documentation (#1444)
47b42856 Remove unused macro
2dacbfe2 Address bundling (#1426)
3e61f06a Remove gas check in sys_stop (#1448)
ed2e1bc7 Add comment
3c8b150f Rustdoc
20db596e Add some more explicit doc on plonky2 crate
18a14bf2 Remove assertion
897ba585 Remove assertion in packed verif
1c994737 Address comments
f4713c44 Apply suggestions from code review
247d655b Minor
8f1efa15 Fix minor error
ab4508fc Add packed verification
f46cf4ef Prevent some lints from being allowed (#1443)
6cf4df7d Add initial constraint z polynomial (#1440)
ef07eabf Pacify latest clippy (#1442)
1a95f7aa Clippy
9c573a07 Restore simple_transfer and Clippy
a85f9872 Fix bug in jumpdest proof generation and check that jumpdest addr < code_len
48b9769e Remove duplicated label
a8340496 Rebase to main
ae3003a9 Add alternative method to prove txs without pre-loaded table circuits (#1438)
c3d707c1 Constrain partial_channel (#1436)
dfcf276d Refactor encode_empty_node and encode_branch_node
cb3f91a0 add Debug trait to PartitionWitness to enable trace information output (#1437)
24ae0d9d Clippy
3e78865d Remove aborts for invalid jumps and Rebase
0ae56db0 Reabse to main
11d668f5 Remove aborts for invalid jumps
4e569484 Improve proof generation
c4025063 Clippy
aaa38b33 Fix fmt
08982498 Remove U256::as_u8 in comment
5acabad7 Eliminate nested simulations
0bec6278 Apply suggestions from code review
ed260980 Fix jumpdest analisys test
ff3dc2e5 Refactor run_next_jumpdest_table_proof
9e39d88a Rebase to main
6ababc96 Remove aborts for invalid jumps
7eff4e27 Constrain first offset of a segment (#1397)
829ae64f Improve proof generation
a291d92c Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
7cb04884 Minor cleanup (#1435)
096c7456 Constrain new top to loaded value in MLOAD_GENERAL (#1434)
18e08f4f Filter range checks (#1433)
f67ee258 Add exceptions handling to the interpreter (#1393)
536cd1c8 Regenerate tries upon Kernel failure during `hash_final_tries` (#1424)
ee91b67c Merge pull request #1432 from 0xPolygonZero/discord_badge
0b56ab75 Added a Discord badge to `README.md`
f8f6b07a Change context to current context for BN precompiles (#1428)
68b9f0ad Add ERC721 test (#1425)
a64311cf Add aborting signal (#1429)
77f1cd34 Clippy
5a0c1ad8 Fix fmt
ad8c2df8 Remove U256::as_u8 in comment
81f13f3f Eliminate nested simulations
fdd7ee46 fix: make `from_noncanonical_biguint` work for zero (#1427)
2c5347c4 Apply suggestions from code review
71dff6e9 Constrain MSTORE_32BYTES new offset limbs (#1415)
746e1344 Fix jumpdest analisys test
f76ab777 Refactor run_next_jumpdest_table_proof
3e8ad086 Rebase to main
bc1a3c48 Merge `push` and  `prover_input` flags (#1417)
51ff8c5b Merge pull request #1420 from dzizazda/main
837434cf Fix a minor typo in evm/spec/cpulogic.tex
4e4e61c2 typo fix
00ed16fc minor typo fix
724437d0 typo fix
942e43ab typo fix
bfcfcdb4 Add `Checkpoint` heights (#1418)
5607faf3 Check that limbs after the length are 0 (#1419)
3195c205 Merge MSTORE_32BYTES and MLOAD_32BYTES columns (#1414)
56e83956 Merge pull request #1416 from AdventureSeeker987/main
43ecf1df chore: fix some comment typos
7efd147e Use mstore_32bytes to optimize decode_int_given_len (#1413)
edfc86c3 Remove is_keccak_sponge (#1410)
170ce5f2 Preinitialize all code segments (#1409)
a90aa40b Implement MPT preinitialization (#1406)
4ba7718e Optimize asserts (#1411)
47e24306 Remove GenerationOutputs (#1408)
46b6aa10 Implement degree 2 filters (#1404)
2d36559d Make some functions const (#1407)
7ac6bf2c Implement `PublicValues` retrieval from public inputs (#1405)
6c3e3c0e Use logUp for CTLs (#1398)
cb2a22a5 Update stack op cost (#1402)
d28ba240 Pacify clippy (#1403)
d682769b Fix set_context constraints (#1401)
2d0df393 Merge pull request #1391 from succinctlabs/chris/recursion
32d00967 Fix kernel codehash discrepancy (#1400)
5572da30 Remove intermediary block bloom filters (#1395)
30c944f7 Remove bootstrapping (#1390)
e68195fc chore: Remove TODOs about `from_values` taking a reference
37918ccc Revert "chore: from_values takes ref"
471ff68d Optimize `num_bytes` and `hex_prefix_rlp` (#1384)
7cc123e0 chore: from_values takes ref
b598e6ff VerifierCircuitData Clone,PartialEq,Eq
64cc1000 Move stack_len_bounds_aux to general columns (#1360)
96f3faf2 Changes in interpreter and implement interpreter version for add11 (#1359)
6dd2e313 Add upgradeability to `AllRecursiveCircuits` and output verifier data (#1387)
3440ba94 Remove extra rows in BytePackingStark (#1388)
2a6065b4 comment
ab70bc53 Fix run_syscall in interpreter. (#1351)
2039e18f Fix genesis block number in `prove_block` (#1382)
acd3b1ad Merge pull request #1383 from topos-protocol/mpt_specs
110a8eff Update evm/spec/mpts.tex
ee450d6d Remove redundant sect about MPT
36e31c53 Address comment
08e0afe4 Fix typo in evm/spec/mpts.tex
c7951fcc Update evm/spec/mpts.tex
12b522cb Update evm/spec/mpts.tex
98bed16a Update evm/spec/mpts.tex
0c0818c7 Update evm/spec/mpts.tex
c6178a45 Update evm/spec/mpts.tex
a3b5e13e Update evm/spec/mpts.tex
3af316f3 Add MPT specs
d4b05f37 Add specs for stack handling (#1381)
a7364586 Backporting gas handling to the specs (#1379)
2d5a84a1 Add specs for the CPU table (#1375)
bec1073c Explain difference between simple opcodes and syscalls (#1378)
48e2b24b Add range check constraints for the looked table (#1380)
8d473168 Add specs for BytePackingStark (#1373)
fe311c7f Check is_kernel_mode when halting (#1369)
98b5e5be Initialize blockhashes (#1370)
06933b1d Starting the specs for the CPU logic (#1377)
1f65a8a8 Add exceptions to specs (#1372)
0c4d9a8e CTL and range-check documentation (#1368)
f1be8409 Update README.md (#1371)
7a50292a Update README.md
f2b75fa5 Update README.md
edeb2c76 Merge pull request #1367 from 0xPolygonZero/avm-readme
29762c85 Update README.md
d98305b3 Create README.md
398b15c1 wip
79c6de14 Update Keccak-f specs. (#1365)
b44fc0d6 Add specs for KeccakSponge (#1366)
b9328815 Reduce visibility (#1364)
ddecf8bd Update specs for Logic and Arithmetic Tables (#1363)
f879d925 Add doc for privileged instructions (#1355)
2c951de4 Update Memory in specs (#1362)
24aa9668 Revert "Make gas fit in 2 limbs (#1261)" (#1361)
40d3c6dd Merge pull request #1294 from matthiasgoergens/matthias/make-clippy-happy
eda7fd65 Constrain is_keccak_sponge (#1357)
4dc42c51 Merge public values inside prove_aggreg (#1358)
0e63e661 Implement out of gas exception (#1328)
01f229a8 Add push constraints (#1352)
a0876d73 Refactor JUMPDEST analysis (#1347)
6f2b3349 Fix parsing of non-legacy receipts (#1356)
f7d5e7c4 Fix MSTORE_32BYTES in interpreter (#1354)
6d751b13 Remove values of last memory channel (#1291)
75ae0eb5 Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting
88fcc329 Reduce visibility for a bunch of structs and methods in EVM crate (#1289)
5800e6ad Add run_syscall and tests for sload and sstore (#1344)
cc0cdd07 Remove unnecessary code duplication (#1349)
3810bd1a Charge gas for native instructions in interpreter (#1348)
5c41dc4d Range-check keccak sponge inputs to bytes (#1342)
d2b5882a Root out some unwraps
ec41b754 Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345)
01bbf1a0 Constrain clock (#1343)
954d1a77 Remove logic for multiple txns at once (#1341)
5d5628b5 Move empty_check inside final iteration
605932d1 restore `no-std` support (#1335)
e41435e9 Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168)
fa93454c Add withdrawals (#1322)
19178072 Remove `len` column in `KeccakSpongeStark` (#1334)
099994ab Add test for ERC20 transfer (#1331)
d8f6de25 Merge pull request #1329 from shuoer86/main
d941539b Fix typos in comments
a0ea26f4 Fix typos in comments
d2b549af Constrain uninitialized memory to 0 (#1318)
f71f227d Add test for selfdestruct (#1321)
1e8ed78f Merge pull request #1320 from topos-protocol/fix-combine-keccak-jumpdest
85b38bec Fix merging of jumpdest and keccak_general.
41362075 Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)
20501d9b Add context constraints (#1260)
3ca16620 Merge pull request #1317 from topos-protocol/more_memcpy_bytes
6332900d Combine PUSH0 and PC flags. (#1256)
0d97b93a Add some documentation in EVM crate (#1295)
afd357f4 More of memcpy_bytes
0f299d4c Merge pull request #1316 from topos-protocol/memcpy_tiny
af4935cd Merge NOT and POP flags. (#1257)
4b40bc03 Remerge context flags (#1292)
c96a8700 Move empty check inside final iteration
0258ad4a Merge pull request #1314 from topos-protocol/refactor_wcopy
6f52b76d Review
7447959f Fix kexit_info in test
666a155d Remove new_stack_top_channel from StackBehavior (#1296)
15a9e992 Fix test on interpreter side
75fdd342 Fix calldatacopy
ade5b8c3 Fix
a9e47afc Refactor codecopy
a1b178f6 Refactor memcpy
3feb04d2 Refactor wcopy syscalls
3aeec83a Add missing constraints for DUP/SWAP (#1310)
44af80f2 Merge pull request #1309 from topos-protocol/fix_padding_in_wcopy
c1c1ab6d Fix wcopy and extcodecopy for ranges over code limit
ed5ec3ca Merge pull request #1307 from topos-protocol/fmt
b31f7061 Apply rustfmt with latest nightly
b212fff7 Merge pull request #1306 from topos-protocol/fix_empty_last_chunk
8326db60 refactor: remove usage of unstable `generic_const_exprs` in starky (#1300)
60811d08 Also for memset
83054b0f Handle empty case for memcpy_bytes
8af189b9 Merge pull request #1305 from topos-protocol/memset
385ab3c6 Remove redundant
d185d30e Speed-up memset and fix it to write 0 values
0300a322 Merge pull request #1304 from topos-protocol/memcpy_bytes
4140eb54 Fix
503a31b6 Reviews
e2b66206 Merge pull request #1302 from topos-protocol/remove_kernel_memory_zeroing
9607a41b Merge pull request #1303 from topos-protocol/amortize_receipt_reset
595dfa6b Merge pull request #1301 from topos-protocol/submod_kernel
ba61d15c Add macro for copying sequences of bytes
6d2586ef Amortize bloom reset
40de5059 Remove outdated code
07ffe4f5 Combine stack macros for fewer operations
6ca9970a Alter stack to remove SWAPs for SUBMOD
29005dc5 Use SUBMOD in Kernel
05006deb Pad according to RATE rather than WIDTH (#1299)
49976ea2 Check gas in sys_stop (#1297)
817e3e78 Combine DUP and  SWAP (#1254)
29fdd3e3 minor: use explicit builder.assert_zero for readability (#1293)
c9391be0 Update check_ctls with extra looking values (#1290)
f9242702 Make clippy happy
d89966b0 Merge pull request #1288 from 0xPolygonZero/git_dep_org_update
a02a2ecb Updated `mir-protocol` --> `0xPolygonZero`
1d604319 Store top of the stack in memory channel 0 (#1215)
762e6f07 Fix hash node case in `mpt_delete_branch` (#1278)
d7990ee1 Add journal entry for logs (#1286)
9fd0425f Fix journal order in `sys_selfdestruct` (#1287)
49ca63ee Fix sys_blockhash (#1285)
2aeecc3d Fix failed receipt. (#1284)
b4203c3d Make sure success is 0 in contract failure (#1283)
41a29f06 Remove some dead_code in EVM crate (#1281)
8a5eed9d Fix shift constraint (#1280)
e58d7795 Remove reg_preimage columns in KeccakStark (#1279)
0de6f949 Remove extra SHL/SHR CTL. (#1270)
51eb7c0b Merge pull request #1276 from topos-protocol/fix_empty_to_encoding
571dc14f Fix encoding for empty recipient
3ac0c4ae Fix genesis state trie root when calling `prove_root` (#1271)
cd36e96c Derive clone for txn RLP structs (#1264)
0f19cd0d Make gas fit in 2 limbs (#1261)
4e2cba56 Merge pull request #1262 from topos-protocol/fix_rc_doc
8afd06cf Fix description of Range-Check columns in STARK modules
30005957 Optimize lookup builder (#1258)
1ff6d4a2 Merge pull request #1235 from topos-protocol/new-logup
f49fbc8e Transactions trie support (#1232)
acc659da Add type 1 and 2 txn for RLP encoding support (#1255)
916ce0dd Merge pull request #1228 from topos-protocol/constrain-genesis-state
5694af79 Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state
75c0e47a Apply comments.
03a95581 Handle additional panics (#1250)
72241ca7 Connect block_gas_used (#1253)
a24cd4f3 Merge pull request #1251 from topos-protocol/fix-observe-challenges
043d12c2 Fix observe_block_metadata
8c78271f Add `random` value to block metadata and fix `sys_prevrandao` (#1207)
bbc6fe76 Merge branch 'main' into 'new-logup'
3983969c Use function for genesis block connection.
9d0101d6 Merge branch 'main' into 'constrain-genesis-state'
0abc3b92 Apply comments (#1248)
d6be2b98 Remove `generic_const_exprs` feature from EVM crate (#1246)
70d6dd97 Merge branch 'main' into new-logup
f438d45f Merge branch 'main' into 'new-logup'.
6618cfad Remove SEQUENCE_LEN in BytePackingStark (#1241)
1b7207ee Merge pull request #1244 from topos-protocol/block_metadata_doc
459e9b3d Merge pull request #1245 from topos-protocol/indexing_tables
d8874c83 Update ranges indices
c468465c Merge pull request #1243 from tamirhemo/main
edd3f383 Add some doc for BlockMetadata / ExtraBlockData
8a19f436 Merge pull request #1242 from topos-protocol/fix_multi_row_ctl
8839285f add trait bound
a44379b5 fmt and clippy
7d7f01da refactor prove method
4eb6a3b5 Fix eval_table
ca441872 Merge branch 'main' into new-logup
b60a3d4b Merge pull request #1239 from topos-protocol/mload_mstore_with_packing
053553d4 Reuse new packing instructions for MLOAD and MSTORE
696377ba Merge pull request #1231 from topos-protocol/error_vs_panic
b5c28bd6 Rename utility methods for U256 conversion
f07351fc Merge pull request #1238 from topos-protocol/cleanup
f3ea95ca Merge branch 'main' into error_vs_panic
c4be838a Typo
d1c00767 Cleanup lookup_test module and reduce module visibility
15064b3a Merge pull request #1229 from topos-protocol/next_row_ctls
1a4caaa0 Move next row logic inside Column
ffa71787 Merge remote-tracking branch 'mir/main' into new-logup
a9b7b5a6 Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]"
8903aec1 Change padding rule for CPU (#1234)
865f185b Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
1afcafad Merge pull request #1236 from topos-protocol/ci
5db6abf0 Update clippy in CI
4f0330ad Update clippy in CI
ec9e6196 Fix range
66f935a7 Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]
91000591 Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
9697c906 Clippy
7dc2a774 Cleanup
c5af894e Add assert with char(F). Cleanup. Fix recursive challenges.
9ab8a118 Remove one helper function
17f661f9 Fix BytePacking range-check. Fix lookup challenges
c9c0f8b7 Use CTL challenges for logUP + change comments + add assert
f65ad58a Implement logUp
d4a8026b Combine mstore_general and mload_general into one flag (#1188)
27d9113f Merge branch 'main' into next_row_ctls
0b5ac312 Merge pull request #1203 from topos-protocol/constrain_nv_stack_len
19220b21 Remove redundant Keccak sponge cols (#1233)
06bc73f7 Combine arithmetic flags on the CPU side (#1187)
61a1c246 Fix CTLs
c27fc96a Merge branch 'main' into next_row_ctls
f944a08b Fix self_balance_gas_cost and basic_smart_contract. (#1227)
7ebbb47f Swap ordering in stack macro (#1230)
5a1b05ac Remove risks of panic
9508b490 Move byte packing / unpacking to a distinct table (#1212)
3c4f938f Make next row available to CTLs
4d7d9ffa Constrain genesis block's state trie.
d1c395ef Merge pull request #1202 from mir-protocol/keccak-preimage
3571f097 Merge pull request #1224 from mir-protocol/latest-nightly
9a8a769d more clippy suggestions
55d05147 clippy suggestions
a4e6c6ae clippy suggestions
7415810f clippy suggestions
8af3b0fe clippy suggestions
ed8bcf9d clippy suggestions
1dd77d6d fmt
e947a624 suppress incorrect Clippy error
967f7b12 latest nightly in CI and rust-toolchain
65917f5f Merge pull request #1222 from mir-protocol/internal_crate_path_stablization
2f1ed951 Merge pull request #1220 from mir-protocol/latest_nightly_fix
90ea0318 Merge pull request #1223 from succinctlabs/uma/change-witness-visibility
faa70e07 Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag
a184f09b Made visibilities outside of crate to allow for forking partial witness gen outside of crate
1be1ca4d clippy
a6433071 Fixes
5936c67f Now refers to sub-crates using paths (and removed `patch` section)
180c2094 Merge pull request #1208 from topos-protocol/blockhash_opcode
71b2ece1 Merge pull request #1216 from topos-protocol/checkpoint_lengths
0b7c4082 Merge pull request #1218 from topos-protocol/keccak_col
05e9fc0b Apply Nick's comment
d0379e94 Apply Nick's comment
4716fe7d Also included clippy fixes introduced by new nightly
6d3d2cb2 Now builds on the latest nightly
5a3c8b26 clippy
0ca796e1 Removed mock feature flag and added mock_build
170f7d83 Fix Clippy
9a06fc9b Fix memop reads, from_prover_inputs and cleanup.
ddf2b817 Clippy
1c01d682 Fix overflow check and test. Remove [..8] when using h256_limbs.
c30b1834 Change h256_ulimbs
4e0fe74a Apply comments
42f70380 Add blockhash sys opcode
4782519d remove spurious
18d31412 Added mock feature flag and test
258b075f Remove filter column for KeccakStark
e6ca4606 Merge pull request #1214 from jtguibas/jtguibas/serde-target
5690b951 Merge pull request #1217 from topos-protocol/cleanup_duplicates
fa9aae1f Remove duplicate code
6207f446 Merge pull request #1206 from topos-protocol/missing-public-value-links
8dcb29e5 Display actual trace lengths instead of number of ops
800603d6 feat: serde for targets
a7096546 Merge pull request #1209 from topos-protocol/receipts-all-types
d4b71c56 Replace genesis state trie check with TODO
6bd17e29 Apply comments
dd3b61a3 Merge pull request #1211 from mir-protocol/comment-fix
ac89c7cd Fix comment in `proof.rs`
bf21b278 Apply comments
9ba2b895 Implement receipts of types 1 and 2
b0764436 Add missing links between public values
8beba569 Constrain next row's stack length
ea03e418 Keccak STARK: constraint preimage to equal A on first round
760f09a8 Merge pull request #1201 from shuklaayush/fix/keccak-stark-reg-preimage
301aedf0 fix: constrain higher bits of reg_preimage
a0b2b489 Merge pull request #1200 from topos-protocol/fix_empty_txn_list
71967147 Update range from ReceiptTrie PR
6e7fcc9e Merge pull request #1199 from jtguibas/john/make-generate-partial-witness-pub
d3f33bae make generate partial_witness pub
62f271a8 Merge pull request #1198 from mir-protocol/public_values_serde
975fd451 Made `PublicValues` serializable
86fb6aa0 Merge pull request #1097 from topos-protocol/receipts_and_logs
6a2e2423 Clippy
caae038c Cleanup
5b962f3c Change receipts_trie in basic_smart_contract and self_balance_gas_cost
ad9796cb Fix tests and address comments
925cdd53 Cleanup
c0b4f155 Implement receipts and logs
44115de7 Merge pull request #1174 from topos-protocol/merge-context-flags
a881c70e Merge pull request #1191 from mir-protocol/eth_trie_utils_patch
18ca89f0 Patched plonky2 to use a patch for eth_trie_utils
4e5f6e7e Apply comment
10bbda03 Remove unnecessary changes in the Operation enum
c3cb2278 Combine get_context and set_context into one flag
74212a29 Merge pull request #1192 from topos-protocol/misc_constraints
f6f9fa31 Merge pull request #1190 from topos-protocol/mpt-remove-cow
06e20f87 Apply comment
a94d9282 Merge pull request #1194 from topos-protocol/block_basefee
8476fdcd Refactor
9a450068 Update BlockBaseFee to fit in 2 limbs
c138f2d6 Merge pull request #1193 from topos-protocol/observe_pv
68bb4967 Update tests to have a blockgaslimit fitting u32s
976d7521 Observe public values
0b78c43f Remove filtering in membus
91e8d52d Reduce overconstraining in decode module
b711e527 Combine a few constraints
d96c6491 Merge pull request #1165 from topos-protocol/ci-test
d70d67fa Remove copy on write for mpt_insert and mpt_delete
1997bf24 Implement inverse from Fermat little theorem (#1176)
eb7bb461 Merge pull request #1189 from topos-protocol/remove_is_bootstrap_kernel_flag
49d92cb8 Remove is_bootstrap_kernel column
683501cc Merge pull request #1183 from topos-protocol/remove_is_cpu_cycle_flag
815a02ab Remove is_cpu_cycle
89e62e55 Use Keccak config in simple tests
7b07229b Add guidance for external contributors to README.md
830fdf53 Merge pull request #1184 from topos-protocol/combine_jump_flags
12f379f9 Combine jump flags
470788d0 Merge pull request #1185 from topos-protocol/combine_simple_logic_flags
7cdb6baf Merge pull request #1177 from topos-protocol/alloc
7829dccf Combine EQ and ISZERO flags
dc7e0aa7 Merge pull request #1181 from topos-protocol/combine_logic_flags
654f7cac Comment
e10eaad0 Combine all logic flags together
437f57a8 Fix logic CTL
5100e032 Revert changes in cyclic_subgroup_unknown_order
8541a04b Apply Nicholas comment
56ebda49 Address review
12a687d3 Reduce reallocations
ee9ce4c5 Combine AND and OR flags in CpuStark
6f98fd76 Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
5f4b15af Connect SHL/SHR operations to the Arithmetic table (#1166)
df07ae09 Write trie roots to memory before kernel bootstrapping  (#1172)
c9eed2bb Connect public values in aggregation circuit (#1169)
397ee266 Merge pull request #1171 from topos-protocol/exception-flag
017e6217 Set exception flag to 1.
e6407089 Error instead of panicking for missing preprocessed circuits (#1159)
b2626fdc Merge pull request #1162 from topos-protocol/cleanup_attributes
9eeb69f0 Merge pull request #1105 from topos-protocol/poseidon_warning
bf1ed783 Merge pull request #1161 from topos-protocol/fix_recursive_ctl
c9bd32d5 Fix trait import. (#1163)
9f8c1522 Remove unused attributes
4a762e33 Merge pull request #1160 from topos-protocol/keccak_general
5b9e8d85 Merge branch 'main' into poseidon_warning
bd3834c4 Silence Poseidon warnings for ARM targets
5316f890 Clippy
8365608b Convert to u32 instead of u64
c93f9d5f Fix endianness in benefiary limbs
bca3e09b Reuse set_public_value_targets
f01098a7 Constrain keccak general
9e0719e6 Better document constraints on addcy carries (#1139)
d8e314bc Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
8c6e8d63 Merge pull request #1158 from mir-protocol/jacqui/gas-check-spec
c52ed29e Gas handling brain dump
eebf7eb0 Merge pull request #1157 from mir-protocol/update-versions
b414b8e9 fmt
f574effe make imports conditional on config
84321955 update versions in cross-crate references
3a556029 update versions for crates.io updates
7537193d Generalise transpose
5b8740a7 Merge pull request #1026 from topos-protocol/memory-ctl-verifier-bus
3b21b87d Merge pull request #1151 from mir-protocol/jacqui/dead-memtable-cols
7a882d0a Clippy
6253a68e Change public values into public inputs
59b73c84 Apply comments
1590c1d0 Fix indices in CTL functions
f97deab8 Remove non-passing debug assert
06037f81 Fix the memory CTL and implement the verifier memory bus
b3f00d4a Merge pull request #1146 from topos-protocol/overlap-cpu-syscalls
831fe862 Cut 5 Columns From The Memory Table With This One Weird Trick!
bfd6b988 Merge pull request #1148 from topos-protocol/lookup_check
ee9cd80c Change arg to non-mutable reference
0276446e Add additional lookup unit tests
dc70902f Remove always true condition
bc246780 Fix name in ID
6ca3f1a9 Make GateRef value public
bfa7ab36 Merge pull request #1111 from topos-protocol/lookup_serial
16227f90 Merge syscall and exceptions constraints.
0f52c889 Merge pull request #1145 from mir-protocol/npwardberkeley-patch-1
535fb7d8 Update prover.rs
e047676e Merge pull request #1114 from onsen-egg/onsen-egg/lookup-opt
a67cfdcb Precompute RE poly evals for challenges
03d90f30 Faster multiplicity counting for lookup tables
167518ed Merge pull request #1143 from succinctlabs/build_issue_on_mac_M2
6a772879 Fix negative quotient issue (#1140)
25678f46 Merge pull request #1144 from mir-protocol/build-in-subdirectories
f3e87ec4 CI: build in subdirectories
8a86e195 fix: add itertools/use_std feature flag for [std]
2d8c02bf Merge pull request #1138 from 0xmozak/bing/dep-serde-rc
7ba051f4 Fix failing byte constraint (#1135)
152e3959 Merge pull request #1137 from topos-protocol/fix-kernel-panic
e28b484a deps(serde): use rc
1af1afcf Change current context in bignum_modmul
cf278eac Merge pull request #1136 from topos-protocol/div_by_zero
f116c855 Fix risk of division by zero
b27389df Merge pull request #1134 from topos-protocol/avx_tests
04657d24 Fix import
1d6ca589 Add LUT hash to remove CircuitBuilder overhead
4893a860 Merge pull request #1116 from topos-protocol/recursive_ranges
00579850 Merge pull request #1132 from mir-protocol/dependabot/cargo/itertools-0.11.0
8b35fefb Rename cd to common_data for consistency Cf review
cbb3da15 Reduce number of lookup accesses
b32345cd Update lookup serialization
c8020126 Provide methods for ProverOnlyCircuitData serialization
544aff27 Also provide CommonCircuitData in serialization of gates and generators
47781e47 Add CommonCircuitData to gates deserialization method
b43d6c1d Add CommonCircuitData to generators deserialization method
d684ee2d Switch Field type of generators to be F: RichField + Extendable<D>
5d513207 Update itertools requirement from 0.10.3 to 0.11.0
4400757f Merge pull request #1128 from mir-protocol/dependabot/cargo/hex-literal-0.4.1
dc170915 Merge pull request #1131 from mir-protocol/dependabot/cargo/criterion-0.5.1
c202f4bc Merge pull request #1129 from mir-protocol/dependabot/cargo/ahash-0.8.3
0f284ca6 Merge pull request #1130 from mir-protocol/dependabot/cargo/hashbrown-0.14.0
63b8ceba Merge pull request #1124 from 0xmozak/matthias/remove_unused_deps
e3f12709 Merge pull request #1123 from 0xmozak/matthias/fix-readme
b0c5ddc0 Update criterion requirement from 0.4.0 to 0.5.1
fc70f36c Update hashbrown requirement from 0.12.3 to 0.14.0
0d9208a6 Update ahash requirement from 0.7.6 to 0.8.3
413f589e Update hex-literal requirement from 0.3.4 to 0.4.1
cc45ac9a Merge pull request #1125 from 0xmozak/matthias/fix-resolver-warning
1f561771 Merge pull request #1126 from 0xmozak/matthias/add-dependabot
7437fe2b Fill modulus in cpu row for Fp254 operations. (#1122)
9e748a47 Enable github's Dependabot
6c2f76d5 Fix resolver warning
4b0fc861 Remove unused dependency `blake2` from `evm` crate
f6b2e742 Fix spaces and wording in README
ee5d1aa6 Merge pull request #1033 from 0x0ece/transpose
398f86af Merge pull request #1092 from matthiasgoergens/matthias/move_to_field
2d7a94de formatting
94f880b6 Merge pull request #1104 from topos-protocol/serializer
dca50adf Merge pull request #1119 from mir-protocol/jacqui/topos-protocol/stack_len_bounds_aux_error
6b493d6f Remove redundant case (error in kernel mode)
1664ab44 Merge pull request #1112 from topos-protocol/fix-generate-jump
7aa5ed3b Merge pull request #1117 from topos-protocol/fix_set_context
b9b227c8 Merge pull request #1118 from mir-protocol/revert-1109-new-clippy-fixes
14c40115 Revert "clippy fixes"
f08afec6 Merge pull request #1109 from mir-protocol/new-clippy-fixes
5bff02a1 Fix generate_set_context
0a59aa6e Remove need for matching start ranges
325cd2f7 Compute stack_len_bounds_aux correctly in generate_error
224064bf Fix jump operation generation
c982826e Add feature "rc" to serde crate import
3870524a Merge pull request #1113 from topos-protocol/ci
6bd575d1 Fix nightly version in CI
dbb23587 Merge pull request #964 from topos-protocol/lookup
96fbecd9 ignoring where appropriate (for izip), fixing elsewhere
b0568a79 remove useless vec
0fec1124 update itertools
08a6e66d fix
5b08ac58 fix
3c776a8d clippy fixes
4df4d865 No default implementation
91c55d15 Add wrapper types for Lookup and LookupTable
43512371 Review
c0fc349c Fix lookup serialization and update with latest serialization changes
7e80b42a Serialize Lookup gates and generators
35abffd5 Implement lookups with logarithmic derivatives in Plonk
6122dccb Move operations to Field
56a127eb Make Buffer available in no-std
d960bfe2 Make serializer work with slices instead of Vec
3de92d9e Merge pull request #1102 from mir-protocol/modexp-memory-context-change
605ea47f reset Cargo.toml
897e2e99 fix
54cf74ac addressed comments
975e9a49 fmt
8eeca9be undo dummy change
2fa43121 dummy change to get tests to rerun :P
9bb6da04 fmt
afd4bd04 cleanup
bc53ddc5 fix
264192aa modexp uses current_general
39d2237d Merge pull request #1101 from mir-protocol/blake_fix
ee452fc0 Merge pull request #1099 from mir-protocol/blake_fix_fix
ef8ea64d Minor
7559bb2f Minor
83ee5fd6 Minor
c8ff80ca Fix blake2 fix
7ca56768 fix
246eb8d8 blake fix
23bc390a Merge pull request #1095 from mir-protocol/jacqui/push0-opcode
3eb41edb William comments
564864ea Remove parts of the copy-on-write logic (#1096)
cedeff52 PUSH0
9cc35360 Merge pull request #1082 from mir-protocol/jacqui/simplify-stack-bounds
8ded9e84 Minor: William comment
ec07255f Fix halt loop (#1094)
01efa013 Fix account touch in calls (#1093)
ba705703 Use current context for pairing memory (#1091)
9838a367 Check call depth in create (#1089)
e51c4d0d Set returndata size to 0 in some create errors (#1088)
d37c5455 Increment call depth in precompiles (#1087)
56e7ad00 Fix LOG* gas (#1086)
68b15ea5 Fix CALLDATALOAD for large offsets (#1085)
f852984e Implement PREVRANDAO as if it was DIFFICULTY (#1084)
6920992e Simplify stack bounds constraints
01175419 Merge pull request #1071 from mir-protocol/jacqui/bad-opcode-witness-generation
ae290dbf William PR comments
0f7e1c0b Call stack depth (#1081)
0f874317 Minor fix to REVERT (#1080)
90bb4741 RIPEMD doesn't get untouched (#1079)
fd48e5d1 Contract creation fixes (#1078)
77f0d8b5 Don't revert state in CREATE in case of OOF or nonce overflow (#1077)
63a6e706 Fill BLOCKHASH and PREVRANDAO syscalls with dummy code (#1076)
0e23606e Revert #1074 (#1075)
5a13b62d Don't overwrite existing account (#1074)
2cf31f5f Prevent shift ops from panicking (#1073)
d3387172 Commit missing file
c773476c Minor docs
55b29cac Remove bootloader.asm (#1072)
3ecf5309 Minor bugfixes
448bc719 Lints
1d804e46 Fix stack after precompiles (#1061)
7ab0bba5 Merge branch 'main' into jacqui/bad-opcode-witness-generation
b7220428 Error handling
973624f1 Minor fixes to RETURN and RETURNDATACOPY (#1060)
720faa67 Fix create OOG because of code deposit cost (#1062)
fbf6591b Warm precompiles earlier (#1065)
f605d912 Propagate static flag (#1066)
73079796 Fix pairing invalid input (#1067)
49bbe4e0 Fix arithmetic stark padding (#1069)
0d819cf8 Implement EVM `BYTE` operation (#1059)
8153dc78 Remove `-C prefer-dynamic=y` from CI build.
a492d3e1 Fix revert gas bug
7dfdacf2 Fix return and revert gas (#1058)
42f33017 Fix ecrecover edge case (#1057)
c0abefda Fix DUP in call gas
e6a7b8c5 Add contract creation flag (#1056)
30b97b29 Fix DelegateCall bug
9727eaf1 Fix extcodehash when account is empty (#1055)
08a061bc Implement LOG* gas and remove panic (#1054)
354664c8 Fix ecmul (#1053)
6e303601 Support for type-2 transactions (#1052)
9b0092ab Support for type-1 transactions (#1051)
15dec6fa Encode `to` as B160. (#1011)
beefc91d Pop checkpoint in the right place
5a7c176c Fix issues related to CREATE2 collisions (#1050)
e720090e Merge pull request #1041 from mir-protocol/storage_addr_h160_to_h256
d57b62ff Perform jumpdest analysis whenever entering a new context (#1049)
971bfba6 EIP-2681: Limit account nonce to 2^64-1 (#1048)
8faea881 Don't add an event for account creation for pre-existing account (#1047)
29fac4ca Check balance in create (#1046)
1616c0ba Fix extcodecopy
3a9e5cc0 More fixes to contract creation (#1045)
49979df9 Fixed failing test
a294c7e2 Some fixes to contract creation (#1044)
84c15606 Minor fixes to returndata and create (#1043)
10e6c768 `TrieInputs` now uses `H256` for storage account addresses
ce6ac9f8 Merge pull request #1038 from mir-protocol/tests-memory-context-fix
c36ed15e Merge pull request #941 from mir-protocol/bls-fp2
6292d8d7 redundant
d3986e6b merge successful
59ae7103 merge
244d5e9b Add refund journal event and checkpoint after access address event (#1040)
bde7fb50 Various fixes to checkpoint logic (#1039)
e5b0fce6 revert testing changes
3a77c5a0 fix
14f92f7b Cargo.toml change for testing
b116929f Delete touched recipient in EOA -> EOA (#1037)
6ebee38e fix
d05db497 Don't touch contract address in DELEGATECALL or CALLCODE (#1036)
bfd6834d Journal of state changes + state reversion  (#1028)
74ba3032 MPT deletion (#1025)
202985b2 Fix CALL gas (#1030)
944d4a24 SSTORE refund (#1018)
f1cc284d Optimize transpose
c134b597 Cross-table lookup for arithmetic stark (#905)
779456c2 Merge pull request #1029 from mir-protocol/precompile-memory-context-change
6f4f00c6 Merge pull request #1027 from mir-protocol/memory-refactor
2c5f6fd6 Fix compile time problems and generic hash implementation (#1024)
76fb3160 Merge branch 'memory-refactor' into precompile-memory-context-change
0d9e3216 fix (mstore_unpacking returns offset)
97aedd11 Merge branch 'memory-refactor' into precompile-memory-context-change
6e7fa6da fix
675d6440 Merge branch 'memory-refactor' into precompile-memory-context-change
57bcb451 use mstore_unpacking and mload_packing
6669f73a use mstore_unpacking and mload_packing
af12368a addressed comments & cleanup
98a75774 cleanup
5dc043aa Merge pull request #1012 from honeywest/transpose
a4a4fbb3 fmt
057b650f fix
a076da75 fix
24159886 precompile memory context change
d9694d95 fix
446c3b71 fix
b566dbd7 refactor memory/core.asm to make code more reusable
46c7903b Merge pull request #1023 from topos-network/clippy
92c2378c Fix clippy
f11921c9 Fix doubly_encode_rlp_scalar in the 0 case. (#1022)
653a6b15 Remove `generic_const_exprs` dependency from field crate. (#1020)
4380395e Merge pull request #1017 from mir-protocol/expmod-fix
91067e58 expmod edge case fix
b159c9e7 Merge pull request #1013 from topos-network/overflow-check
f0df03f6 Merge pull request #1009 from mir-protocol/expmod_precompile
099e7946 fixes
17a7c57d Change add_or_fault macro
1f39c555 Address overflow-related TODOs in ASM code, using a macro add_or_fault. This is related to https://github.com/mir-protocol/plonky2/pull/930/files/a4ea0965d79561c345e2f77836c07949c7e0bc69
40515dc6 Merge pull request #1014 from toposware/bootstrap_constraint
f3de2afc remove test file
cae5a2cf fix
050c2e65 fix: calculate gas properly
ab8ebdfb Merge pull request #1016 from mir-protocol/remove-proof-challenges-serialization
8d738729 Merge pull request #1015 from mir-protocol/clippy-fix
ade5b433 fix
30e58ad2 remove ProofChallenges serialization
8358b85d remove unneeded mut
08e6c352 addressed comments
037c2f5e addressed comments
841c5829 Fix todo in kernel bootstrapping
debe65f9 addressed comments
1d8f71f8 optimize transpose_in_place_square_small code
ae21ef8f Merge pull request #997 from mir-protocol/pairing-test
84f17699 comments
f9aad433 neutral input
397d5953 fix
031fe6ed Merge branch 'main' into expmod_precompile
9e4056e2 cleanup
badbf010 store and unpack at end
998cd8ab addressed comments
a638ebe0 fix
7ede443e Merge pull request #1006 from mir-protocol/blake_precompile
dc076df5 addressed comments
96742f29 addressed comments
e40b9edb addressed comments
9b18b3ae fix unit
16928fd0 peculiar...
b37e049a fmt
f6a49e88 fair naming
4a42ddb2 on stack
57113905 redundant
2aa83d9a Merge branch 'pairing-test' of github.com:mir-protocol/plonky2 into pairing-test
ae4b5091 neutral name
503cb8a9 random inp
4ad8520e SNARKV precompile (#1010)
b28e3e0d minor
ab721fa3 SSTORE gas (#1007)
efd5a81b Merge pull request #980 from mir-protocol/serialize_common_circuit_data
13c653bc mul works
6599c90a abstraction
78a368cf fix
8df0c743 remove build_without_randomizing (no longer needed)
b640bf63 serialize ProofChallenges
537debdc return bool
89122a3d it works
479e919c fmt
6dc094a8 test
4c235e5a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b4e06271 fix
d31c60a0 clean up
d928a70b clean
1e9db292 fixes
67a3edb2 Precompiles exist (#1008)
0d98e4b8 formatting
e642b824 move serialization to separate example
dc91554d expmod precompile
3b7ad771 cleanup
46d9cee0 charge gas!
9460acc1 rename blake2b
ce033410 fix
6a239c4f fix
a41cf018 fixed blake tests
11a03c5e Merge pull request #1005 from mir-protocol/precompile-fixes
621c63de clippy fix
c083cc63 fix
29a8367b fmt
2d98dd3c commented out unused functions
5dc44916 Merge branch 'main' into blake_precompile
454e0add fixed blake2_f, and testing
137a9966 Merge pull request #998 from mir-protocol/even-smaller-bignum-modexp-test
f225ea49 add comment
93398472 Merge branch 'precompile-fixes' into blake_precompile
1eba893e mload_packing macro
ffc5d6d6 Merge branch 'main' into precompile-fixes
43f4d2b8 clean more
14ee46c8 cleanup
0f662ed0 fixes
b7e93511 New contract hook (#1002)
a4b714e6 EIP-3541: Reject new contract code starting with the 0xEF byte (#1003)
472face2 EIP-3860: Limit and meter initcode (#999)
f3f3641f rename
975a35c3 fmt
f718f857 cleanup
8d50806b fix
b9f1c1c5 cleanup
858c59a2 cleanup
45c0d894 cleanup
905c5eb5 deterministic build function
146e6605 don't serialize challenges
66763c7d cleanup
993ed149 seralizing
34a03545 Serialize impls, and use in Fibonacci example
ea82d680 Merge pull request #981 from toposware/serialization
86acc15f blake precompile progress
b288ff5f Merge branch 'precompile-fixes' into blake_precompile
d5060ecd precompile optimizations
26204461 it works
9f0c2f47 blake precompile progress
dd58b9b5 dont panic
26d99a9b memory compress
0c55aa04 clean
50752246 clean
ff0695d7 renumber memory
f1bbf66c it works
c01b2bf2 minor
5f564b67 initial work on blake precompile
44a623d4 initialize out in asm
4e0be664 Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b35d2524 Merge pull request #1001 from mir-protocol/eth_trie_utils_0_6_0_bump
db93bada Bumped `eth_trie_utils` to `0.6.0`
1a0a6300 EIP170 (#1000)
723f197d Cleanup
099c4b97 msg
82bca7fa error
b661a709 twisted check
2a9c5cfd Add serialization check in square_root example
bf02a3e8 Make generators public
5de5bfb5 Move serialization files into dedicated module
0e465c1c Customize range specification for AllRecursiveCircuits
f71139d9 Add serialisation support for gates, generators, and various structs
f7f5fb4e Change display for GoldilocksField
6edd5891 Gas and more for `CREATE(2)` (#995)
a8e5613b EOA to precompiles logic (#993)
df4a6f01 fix for full modexp test
6d84b988 fmt
cb23bfca check for special cases and align with yellow paper
bbe64674 tests passing
3628021a fmt
d6584dcb restructure tate test
3e437a0c oops remove more debug stuff
bf5dc256 undo debug commenting
0df18d5e tests
de94ac25 missing file
3444e810 even smaller bignum modexp test, and fixes
21a1a98a reorg
ca3a7f8a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
9b54ee43 refactor
c0ced26f Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
0e082432 reorg
ada250f3 Merge branch 'main' into smaller-bignum-modexp-test
d8fef87a Only print warning or errors from the log. (#996)
2e16ab04 Replace %stack calls with equivalent opcodes. (#994)
3a3ff87a fmt
7dda0eff works
1f077628 new api
c9b09936 compiles
d112c716 fmt
a704b152 even less thorough :P
a4f60a04 less thorough bignum modexp test
049a258b Merge pull request #991 from mir-protocol/disable_couple_tests
8562abe0 Disable a couple tests
690fd100 Merge pull request #990 from mir-protocol/mpt_failure_labels
67593f16 Labels for failed MPT read/insert
e6864e98 Merge pull request #985 from toposware/kernel_serial
5dfac715 Fix generic const expressions warning (#984)
9037ceb0 Merge pull request #986 from mir-protocol/incremental_release
eb7468e7 Incremental release builds
df5a90cc Provide methods for serializing Kernel
6b2503f7 Merge pull request #970 from toposware/env
3cc39fa4 wip
9d60191d Implement returndatasize/returndatacopy for interpreter
191ca102 comment
0b85c8bb getting there
0b9ef768 nl
2106ae07 Merge branch 'bls-fp2' of github.com:mir-protocol/plonky2 into bls-fp2
a5c6b14e Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
9b9cd735 Update evm/src/extension_tower.rs
6946eaca Implement codesize/codecopy for interpreter
0f3285c3 Implement gasprice on the interpreter
e9cc5632 Impl caller/address/origin opcodes for interpreter
b721236e Precompiles interface (#983)
b896f9b2 Merge pull request #974 from toposware/stack_bound
c8637635 Remove dummy_yield_constr
4946c3d5 Merge branch 'main' into stack_bound
5fce67d1 Merge pull request #978 from toposware/stack_constraints
32a6bdf1 Merge pull request #971 from toposware/keccak_sponge_is_final_block
58f4568e Merge pull request #982 from toposware/sys_chainid
92d94dc6 Use Block chain id for sys_chainid
ba844a24 Change shl/shr behavior as well as BASIC_TERNARY_OP
475b2ba0 Fix copy_returndata_to_mem (#976)
c7e60073 Check if context is static for state-changing opcodes (#973)
142be4e1 Implement rest of *CALL opcodes (#972)
b202196b switch
f2650418 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
1e57ef96 Remove unnecessary constraint
29726f92 Apply review
f424bd36 Merge pull request #966 from toposware/interpreter
938e3bd5 Set stack_len_bounds_aux properly
18d27d2f Remove is_final_block column in KeccakSpongeStark
011ea8e4 Fix from review
5b1fd5f2 CALL gas (#969)
d79d2c49 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
8130a8a6 Merge pull request #950 from toposware/keccak_sponge
0529fa06 Change endianness within generate_keccak_general
3da8efa6 Implement sar in interpreter
b943ddb0 Implement signextend in interpreter
4db00441 Implement sgt in interpreter
ac2ccc1e Implement slt in interpreter
232832e3 Implement smod in interpreter
18d317b9 Implement sdiv in interpreter.
0e5e28f6 Merge pull request #968 from toposware/block_interpreter
c0fae77c Merge pull request #951 from toposware/prove_block
6124e4d6 Fix BlockCircuitData proofs
0146f48a Cleanup
524b39e2 Reactivate CTL for keccak sponge
d1379ac1 Fix hash output writing to memory
5f6098ff Add test for keccakf_u8s
99b0d009 Implement KeccakSpongeStark constraints
2fae2fbc Impl gaslimit opcode for interpreter
9e6f284b Impl chain_id opcode for interpreter
ae8ee27e Impl coinbase opcode for interpreter
e3572f1d Impl basefee opcode for interpreter
86bd055b Impl difficulty opcode for interpreter
60fed608 Impl number opcode for interpreter
a17c6231 Impl timestamp opcode for interpreter
042c0042 Merge pull request #965 from mir-protocol/fix_run_constructor
31e134f0 Delete %set_new_ctx_parent_ctx
1a9f0104 Fix call logic (#963)
ab692252 Minor fixes to context creation (#961)
7a65b1d4 Merge pull request #967 from toposware/fix_decode
310107f2 Fix decode constraint
cfc54f95 Fix run_constructor
d1c9277d Merge pull request #962 from mir-protocol/range-check-example
d6bb5d5d range check example
af3fa142 Implement sys_return and sys_revert (#959)
f24c3537 Update README.md
c11f4f41 Merge pull request #960 from mir-protocol/readme-updates
fb24b200 README updates: examples and external tutorial
5ac12de9 Fix sys_exp (#958)
923722b1 Fix copy opcodes when offset is large (#957)
d59fa59a Merge pull request #925 from mir-protocol/bignum-modexp
6a4e9ab6 fix
90f7ba9a addressed final comments
9690b60b Merge pull request #956 from mir-protocol/doubly_encode_storage_values
e70e4fca Doubly RLP-encode storage values
889911e8 redundancy
93dd25a1 fmt
33dc8eae better names
251d7e34 systematize names
4e48fc43 all Stacks
0e3b86de frob
26da6dc7 rev stack
d52c15e8 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
6fa59d20 Fix MSTORE8 (#955)
f9217272 Fix signed syscalls stack (#954)
3b607bde Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
a061c3cf Merge pull request #952 from mir-protocol/extra_where_clauses
209c1ff1 Remove extra conditions
e2f33dd3 Merge pull request #873 from toposware/hashconfig
9ee47ab7 Move HashConfig into GenericConfig associated types
46d5e62a Copy txn data to calldata (#935)
8e04cbfe Self-destruct list (#948)
a926dcad Transaction validity checks (#949)
f1a99e69 Add patch section to workspace config file
e857c020 Make hash functions generic
2ca00a9a Selfdestruct gas and set (#947)
786a71d6 Merge pull request #946 from mir-protocol/selfBalanceGasCost
31cd0f64 Remove dbg
9ae69a7c Add an integration test for the `selfBalanceGasCost` case
56bf0892 Charge gas for extcodecopy (#942)
f71d3642 Merge pull request #945 from mir-protocol/remove_CONSUME_GAS
9480cbed Signed operations as syscalls (#933)
2d87c5d6 Remove `CONSUME_GAS`
834522a6 Merge pull request #939 from mir-protocol/termination_fixes
be0cccdf Merge pull request #938 from mir-protocol/rework_create_create2
39fdad8c Feedback
a0d04ca3 Fix Wcopy when size=0 (#944)
9f1a5f97 Charge gas for keccak (#943)
cdaabfe9 Merge branch 'main' into bignum-modexp
b667c074 Merge pull request #940 from mir-protocol/eth_trie_utils_bump
3c7bc883 Removed a type alias
0c87a57f addressed comment
e4f2e864 fix
1a348eed check for x < m
bce25720 documentation
1e5677c4 comments
a6ccd350 cleanup
fb73e889 uncommented
c18377d1 Merge branch 'main' into bignum-modexp
91fb4fc0 fix modexp test
823b06ac fp2 works
3b95e013 bls method
5783a374 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
7b93b81a Merge pull request #931 from mir-protocol/fp381-opcodes
cf5a4edc prover input minor improvements
60ad9e03 Bumped `eth_trie_utils` to `0.5.0`
c3a5fd86 merge
1f14ae98 skeleton
911dfedd Rework CREATE, CREATE2 syscalls
b4eb8373 A few fixes for terminal instructions
ce22d945 Access lists (#937)
f9fa38d3 Fix new account insert key
7028b6ba comment
7ff2122e Merge branch 'main' of github.com:mir-protocol/plonky2 into fp381-opcodes
1ce47ceb Merge pull request #906 from mir-protocol/fp318
0650d263 remove .scale
3f4d970f Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
c8d2769c fmt
74afec70 remove imports
f4e65feb Fix bugs in `wcopy` and `update_mem_words` (#934)
15bafce5 Implement CREATE2 address generation (#936)
874805cc Merge branch 'fp318' of github.com:mir-protocol/plonky2 into fp381-opcodes
645ef664 comment
63ec13e2 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
3425391a more comments
d0b2b81e More MemoryError (#932)
1f3e3de7 clean and generalize
1627a9a0 tests pass
e471818c comments
1fbe3050 Merge branch 'main' into bignum-modexp
06936c76 Implement various syscalls (#930)
84a0bcf8 cleanup
373062b2 on stack
0e8f6a2f test skeleton
392c29f4 compiles
9ea0ebd7 skeleton
1437affc fmt
b847d16e redundancy
13d2ed90 merge
54b8ce74 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
143225f4 finish
d928423c cleanup
d59501e6 fixes, testing, and in-progress debugging
fc72ce46 fp6 works
4d83c58d frob works
2df1439d Return error instead of panic in memory operation (#928)
a79271a8 Minor account code fixes (#929)
caaf3b4a merge fields
cf1e6a76 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
24705e1e addressed comments
ff81a565 Merge pull request #927 from mir-protocol/creation_fixes
e1ae5392 Fix test
afded168 Contract creation fixes
893b88c3 Implement syscalls for BALANCE and SELFBALANCE (#922)
fc6487ca Merge pull request #926 from mir-protocol/fix_gas
3c4bc1d8 Fix GAS and implement storage value parsing
be309a38 cleanup from comments
42d65839 addressed comments
d340ff8c addressed comments
2e0b7992 addressed comments
9803581d fix
1a78f400 restored neq macro
be9cbd5a fmt
902bc66a fmt
511f450a resolved conflicts
4aa212ab modexp fix
e06f84dd modmul fix
76e70ac4 fixes
ad85d61e fix
4cef5aaa modmul and modexp
1e019356 basic bignum
b16b8261 Merge pull request #881 from mir-protocol/bignum-basic
6fe8554f Merge pull request #924 from mir-protocol/empty-stack-replacement
652b2bed allow empty stack replacement
a5fad9eb addressed comments
f6b9d6ee addressed comments
72b5bb0e fmt
2752456e addressed comments
5e98a5f9 adj trait
50388073 rename
25575df5 cleanup
ec0f3ce7 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
692575a2 Bump eth_trie_utils version. (#923)
2ab16344 Merge pull request #921 from mir-protocol/dlubarov_misc
bdf35374 Misc
b80a28db Misc
f13d603a Merge pull request #920 from mir-protocol/dlubarov_misc
47fac8e3 Couple fixes & minor refactor
64c76e76 Merge branch 'main' into bignum-basic
c491a989 Merge pull request #919 from mir-protocol/mem_expansion
f717a40b Charge for memory expansion
e8405eff Merge branch 'main' into bignum-basic
de246e22 Merge pull request #918 from mir-protocol/fix_read_ext
7ed53142 Fix reads from not-found ext nodes
7853656e Merge pull request #917 from mir-protocol/fix_clobbering
a05ed9fc Fix clobbering of RLP data memory
c3ba7a89 Merge branch 'main' into bignum-basic
2ac4fcdf Merge pull request #915 from mir-protocol/fix_clone_account
8c692b72 Fix account cloning
f514d966 Merge branch 'main' into bignum-basic
994c54ab Merge pull request #912 from mir-protocol/stack_on_panic
5720cf8a updated function name
cda31b5e Merge branch 'main' into bignum-basic
9f75132f Merge pull request #889 from mir-protocol/hash-asm-optimization
38f79e49 optimizations with rep
92ee7786 Merge branch 'main' into hash-asm-optimization
69b4a21c Merge branch 'main' into bignum-basic
da07a7a8 Merge pull request #914 from mir-protocol/return_post_state
373421a1 Fix tests - need to supply empty code
44c77f55 Input addresses
c8d591f6 Add a `prove_with_outputs` method
95347621 div instead of shr
cecbfa9b fit
c59b979c addmul fix
a0a23147 Merge branch 'main' into bignum-basic
f518a8b4 Merge branch 'main' into hash-asm-optimization
b62bc35d fixes
2d7d2ac3 Merge pull request #886 from toposware/poseidon-native
f1ad3da8 fix
062eb82a cleanup
e0a4bc31 cleanup
fda64475 fmt
fa3443a5 new testing interface, and test data
bb2233cb Override from_noncanonical_u96() for Goldilocks field
10e7329a Add FFT-based specification for Poseidon MDS layer on x86 targets
ee9bfb08 fix
4e736b63 fixes
534395ee fmt
73633354 test data
e6027142 cleanup
54eb29e7 fix
6f6c808d more efficient divmod
202990ed Merge branch 'main' into hash-asm-optimization
2195bdd4 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
459d2929 folder
1c71fb34 Merge branch 'main' into bignum-basic
1576a300 Merge pull request #817 from mir-protocol/non-inv
e97e8188 fixed iszero and cleanup
12e6527b fixed messed up merge
2a0df523 Merge branch 'main' into hash-asm-optimization
44a0596f fmt
930ebafd Merge branch 'main' into bignum-basic
35fb1499 Merge pull request #904 from mir-protocol/optimize-blake2b
6f8a5100 interface changes
b0ed6ae0 cleanup
4ef981e4 initial test data
ad38f957 TODO for possible future mul optimization
06276334 carry -> carry_limb
e57358bc ge -> cmp and returns 0, 1, -1
d4a485ec Log stack on panic
7fad9eb8 Merge branch 'main' into optimize-blake2b
a8956b94 flip limbs
9ec97744 run_ops
dd7948e7 merge
5cf8028e Merge branch 'main' into bignum-basic
de6f01f4 small optimizations
424d8d22 more optimizations
29df451d optimizations
97cb5c75 bug fix
8f231bd0 optimization
265d39a5 cleanup
85411ac4 fixes
7351a166 fix
684b668b fix
63301d6b refactor sha2 compression
2236f30a more small optimizations
e5f8632b small optimizations
213ba8ff optimized initial hash value generation
7c8026e8 cleanup
2020202e optimize hash generation further further
df7ea93a optimize hash generation further
3a0d86e2 hash function optimization
ef377c0b cleanup
4e8af821 fixes
9ad25b2a optimizations
eebdd029 Merge pull request #910 from mir-protocol/optimize-asm
d23e4e20 deal with and test zero-len case
4b6a5146 fix
05788a99 compiles
d4c7bfd5 addressed comments
725b5a08 cleanup
4a762553 name change
c4b511ba addressed comments
2000d308 addressed comments
a738afce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
24e0b291 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
676a483c fix
476a554a OR -> ADD
87ad5714 addressed comments
04f44ef4 addressed comments
9e7dc7ca addressed comments
6f05a144 Merge branch 'main' into bignum-basic
7b2c4c61 Merge branch 'main' into optimize-blake2b
ac068845 Merge pull request #909 from mir-protocol/gas_to_coinbase
d5003b7c Gas fees go to coinbase
181e4409 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
625bdb68 skeleton
6dd99e43 Merge pull request #908 from mir-protocol/fix_call_field
84fbbbf4 Couple minor fixes
54f8dcf4 Merge branch 'main' into optimize-blake2b
ce25cc84 Merge pull request #907 from toposware/wasm
b3e93e91 Fix plonky2 compilation with wasm32-unknown-unknown target
a96418b3 unused test
33ccf898 small optimizations
fda2e190 restored blake2b_g_function and call_blake2b_g_function macros
4a378bce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
18c83e77 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6d997a65 more tests
f2538fff cleanup
bac38f82 fix
3a019f99 fix
3662e41d fixes
1100445d cleanup
4f412182 cleanup
0fdd93b8 cleanup
f46694e7 more thorough tests
2aff3e10 cleanup
1d7c28ee bug fixes
c98bfb0b cleanup
af3dc287 cleanup
10893fe0 addmul test: use carry
efd5e6ec cleanup
5477c7dd fixes
119eae95 fix
9976a4b0 addmul initial
aa605b67 flag functions used only in tests
fa605d7b basic bignum
0f55956a optimized initial hash value generation
5994f4d9 cleanup
9d8d81b4 optimize hash generation further further
c37d1e25 optimize hash generation further
40f90d83 hash function optimization
70475a5a cleanup
5f592e60 fixes
93abd35f optimizations
eea8ab62 Merge pull request #903 from mir-protocol/misc_evm_fixes
a6ac0519 Misc EVM fixes
2eed209a Merge pull request #902 from mir-protocol/debug_tries_2
e6aa62f3 Some tooling for debugging tests where the updated tries are not correct
21db4a1b Merge pull request #900 from mir-protocol/sys_gas
f117d76b sys_gas
f19b7553 Merge pull request #899 from mir-protocol/evm_fixes
c558eedd Misc EVM fixes
ec216d28 Merge pull request #898 from mir-protocol/move-out-ecdsa
77fb333a Move ecdsa to its own repo
2621d582 Merge pull request #897 from mir-protocol/move-out-u32
18733f11 Move u32 to its own repo
b08e7a08 Merge pull request #896 from mir-protocol/move-out-insertion
bf8780b2 Move insertion to its own repo
64296bcc Merge pull request #895 from mir-protocol/move-out-waksman
b95bc90b moved waksman to outside repo
1ee39b51 fmt
ab32f03b fixed multiplication
bde5c557 correct mul impl
2c73d5d7 bls field arithmetic
95e5fb59 cleaner rand
6ac59f16 arithmetic skeleton
8ace54dc Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
57ea64e3 Merge pull request #894 from mir-protocol/fix_storage_trie_lookup
1e1e75c9 Fix code that looks for an account's storage trie
e8c94632 comment
1d94756e add inverse doc
5aafbaad Merge pull request #893 from mir-protocol/move_out_system_zero
801fa641 link
bfaa80a3 Move system-zero to its own repo
13a8d670 loop test
2ea3e5e3 minor changes
e3e5c678 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
7781dd36 Plonky2 to 0.1.3
db893831 Merge pull request #892 from mir-protocol/bump_plonky2
2133c7f3 Use new plonky2
52e34265 Bump plonky2 to 0.1.2
79084719 Merge pull request #891 from mir-protocol/fix_hash_or_noop
e52b75b0 Fix `hash_or_noop` for general hash sizes
d17f3aa4 Merge pull request #890 from mir-protocol/test_fixes
29f0692e Fix a few issues found by EVM tests
2a9d4b1a minor
5e3e40a0 more general kernel peek
b89e668b minor
f5b45ee4 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
33185476 Merge pull request #885 from mir-protocol/skip_log
745bec8d Skip log_kernel_instruction if debug logs disabled
e8865130 put extract in interpreter
63f1fbfa fmt
be351110 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6f2d99c7 Merge pull request #884 from mir-protocol/evm-kernel-tests
ea9846de format
da7a8879 make hash functions take a location pointer
a6ffb4b3 simplify byte extraction
4e4cfb06 function API / remove redundancy
53ab0ada remove blake storage
77a7af76 remove sha2 storage
abc762f7 cleaner arithmetic
731c29c4 abstract
c6cf1dc5 remove custom
bce86718 simplify ripe md test
e2cac0bb Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
f3946f75 Gas constraints (#880)
444da8f7 better comments
80e49caa segment virts
d320fbfb update curve add with ops
787cc890 change segment
71243fd7 fix pairing code after big BN PR merge
2158c1d2 merge
9e60ee25 segment
ac40bd5f Optimize `ecMul` precompile (scalar multiplication on BN254) (#852)
3332fbb4 Merge pull request #882 from mir-protocol/back_to_nightly
ff80f28b Revert "Set CI to use an older version of nightly"
85b33093 Merge pull request #879 from 0x0ece/patch-1
614c4ae6 Make le_sum public
40866e77 Refactor arithmetic operation traits (#876)
c6492bc5 merge fix
7b367f5c merge
83c0292b Move SHL and SHR generation to the CPU. (#878)
b585b6a7 remove macro
31095e1b stack macro
a061b88a naming
cecad598 stack macro
361d6d72 tests and stacks
cb7c638c more comments
69afed92 refactor
57146c83 miller loop test
e63cc2aa Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
9f808fc7 align
69228491 Unify generation and verification of ADD/SUB/LT/GT operations (#872)
1c73e238 fp -> fp254
61ac0eff fmt
0f030fae naming for global labels
c107c505 comments
e1dca870 name
962754be rand impl
a950a262 add comments
cd5c92b5 merge
ca002aea Optimize `ecrecover` ASM (#840)
9990632f Merge pull request #870 from mir-protocol/prep_for_publish
137bc785 Prep for publishing to crates.io
81511380 TODO
6c4ef29f Add range checks to the arithmetic Stark (#866)
aed617c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
ea01e19c comment
5b124fb1 minor
6e8d4a57 fix
0eef28af bools
3ea8ad90 fmt
6958d46c names and comments
56be7317 comments
b46af11f move consts
f70243e7 better comments
f0a6ec95 clean asm
136cdd05 Remove InterpolationGate trait (#868)
9c8f1166 ocd
d98c69f0 better comments
0b81258a stack macros
3bdb2907 Optimized interpolation gate (#861)
c9b005d2 new power works
5deb1648 refactor power
60cbdde8 clean
8ca6ba7b clean
c13cf972 tate test
75c5938c rewrite w methods
ec4cddb7 inv as method
7b524381 en route to ownership
17cfae66 reorg
f34b35ed extra comments
94d99cca extra comments
8b670d54 meh
769c615c cleanup
530fb65b cleanup
155e973d slight refactor
d2aa937a improved prover input and test api
e06a2f2d duh
a5c292c7 space
4d783da8 fmt
d99cadeb stack macro
b2f9d885 remove redundant macros and improve comments
8e62d994 fmt
922d3ebc add module and fix errors
3fcb5591 redundant macro
c74a0c25 test inv from memory
abab6bf1 test frob from memory
20fb2cb7 read output from memory
5f2baea0 mul test from memory
7f135fc0 reorg
b44d9e2d Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
8ae36474 Merge pull request #865 from mir-protocol/increment_nonce
eb7d18da fix clippy
54676487 cleaner description
d6167a63 complete description
23698b74 more comments
fda4b4c1 more comments
985e8160 transmute + comments
6e215386 comments
f2e40541 Increment sender nonce + buy gas
0daaa3bf org
bc9c431e remove comments
9977ae03 new inverse
fe91e119 frob format
37ad3407 frob format
ecde3d13 frob tests
9cd1f8a1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
be19cb81 struct impl style arithmetic
31c5db91 rename module
ccd4a38a remove make_stack
b753836a Merge pull request #864 from mir-protocol/block_circuit
b6f6c210 Block circuit
3a6d693f Merge pull request #863 from mir-protocol/smart_contract_test
a2f4a58d log
df2ba7a3 Basic smart contract test
07e02f2d Merge pull request #862 from mir-protocol/prover_inputs_error_handling
a158effe Use error instead of panicking in FromStr
3fbc8bff move comment
ea8cfc95 name
2a2880b7 name
800ceb60 zero name
e6bcad6c Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
446a0d3f name
81861095 Update evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
4f38c3a7 name
70d7fb13 cleaner inv
32f24819 Update evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
49db35d3 Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
42f98a09 Update evm/src/bn254.rs
82ce8153 \n
93a363c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
068f7485 Update evm/src/witness/util.rs
698ab6e7 Update evm/src/bn254.rs
be7a489c Fix stack overflow
8ba8bb62 Merge pull request #860 from mir-protocol/agg_circuit_2
87be6097 Feedback
ae212cfb Merge pull reque…

* Cherry-pick 0xPolygonZero/plonky2@1d8a841

* Add new segment

* Delete slots

* Newline

* Minor

* Remove ignore and rlp alloc

* Working with dummy hash

* Use keccak

* Add account

* Clippy

* Support storage trie

* Use remaining key and clean

* Write pointer to leaf data in serialization

* Minor

* Comments

* Cleaning

* Cleaning

* readme

* Fix plonky2 dep

* Fix dep

* minor

* Remove dbg

* Squashed 'evm_arithmetization/' changes from d547f8d5..5ec32fcb

5ec32fcb FMT
c1728d4e Merge remote-tracking branch 'mir/main' into tmp-type2/hermez
01bb7974 Add Poseidon constraints
e695ae18 Tests passing
207c54df Poseidon STARK
02d6435f Poseidon files
710225c9 Simulate jumpdest data with the interpreter (#1489)
3ec1bfdd Update `starky` and leverage it as dependency for `plonky2_evm` (#1503)
f0ffb811 Fix tests
9f68d71d Fix tests
5a385392 Fix interpreter
b6fec06c Fix nightly build (ahash issue) (#1524)
b600142c Cleanup `alloc` / `std` imports for plonky2 (#1518)
6b39fc90 Remove risk of panics in interpreter (#1519)
d4213223 Fix dep
756d3a27 Clippy
e46112e3 Cleaning
061e70ce All tests passing
d2598bde Revert "Remove StarkProofWithMetadata (#1497)" (#1502)
4ea4807c Passing erc20 test
1a08e783 Fix no-std tests and add corresponding jobs in the CI (#1501)
06444eaa Switch permutation argument for logUp in `starky` (#1496)
fb8452de Merge pull request #1500 from topos-protocol/ci
246c2b62 Fix workflow
8f919133 Fix nightly version
212f29cf Add missing constraints mentioned by auditors (#1499)
af0259c5 Remove StarkProofWithMetadata (#1497)
f3f7433c Some cleanup (#1498)
63579636 Reorganize lookup / ctl modules (#1495)
e502a0df Make CTLs more generic (#1493)
1dc22b76 Fix BaseSumGenerator and BaseSplitGenerator Ids (#1494)
f76245e2 Cleanup imports (#1492)
a9060e61 Add LA audit report
36e62a13 Use usize::BITS and wrapping_shr in reverse_index_bits_in_place_small (#1478)
14bb5bdb Use web_time crate instead of std::time (#1481)
eff7cc0f Fix circuit sizes (#1484)
ca2e56e2 Fix bugs in jumpdest analysis (#1474)
c0700065 Improve `BIGNUM` operations (#1482)
acc59c35 Speed-up `bn254` pairing operation (#1476)
ae0907ff Merge pull request #1462 from 0xPolygonZero/pg/evm-licensing
8cb80e09 Improve `blake2f` call (#1477)
319fc6a2 Improve SHA2 precompile (#1480)
8e1969db Fix interpreter jumps (#1471)
b8a16b39 Fix typos (#1479)
265d46a9 chore: update ci workflow (#1475)
39a2d62d Fix touched_addresses removal (#1473)
10fc9660 Remove some more CPU cycles (#1472)
990eb34d Remove some CPU cycles (#1469)
30b47998 Fix simulation for jumpdest analysis (#1467)
5c1ec524 proofreading (#1466)
c4319dce fix: make add_generators public (#1463)
bb48cabd Add math rendering with Katex (#1459)
70483050 Fix fill_gaps (#1465)
c2a73ad8 Fix clippy (#1464)
219365d6 Packed rlp prover inputs (#1460)
ccd4ff87 Update Cargo.toml
de2709d8 Update README.md
7f5fae84 Add files via upload
b119e96f Merge pull request #1461 from 0xPolygonZero/eth_trie_utils_bug_fix
ab05d181 Bumped `eth_trie_utils`
f80ebe77 Remove full memory channel (#1450)
a78a29a6 Merge pull request #1423 from topos-protocol/jumpdest_nd
b05e84dd Interpreter GenerationInputs (#1455)
3b1ed824 Merge pull request #1447 from topos-protocol/plonky2_doc
cda30847 Apply review
ac9f704f Fix comment
f9c3ad66 Update empty_txn_list
fdedf3e3 Merge remote-tracking branch 'public/main' into jumpdest_nd
bead1d60 Adress review comments
233ddd4e Constrain syscall/exceptions filter to be boolean (#1458)
6ef0a3c7 Apply suggestions from code review
606732a8 Free up some CPU cycles (#1457)
99a1eb5c Missing review comments
ae4a720a Address comments
92aaa404 Apply suggestions from code review
0bf9cd2f Use current context in ecrecover (#1456)
c329b368 chore(evm,field,plonky2):fix typos (#1454)
85524cfa Intra doc link
33def084 Merge branch 'main' into plonky2_doc
aedfe5df Implement CTL bundling (#1439)
c8430dac Add Boolean constraints for `ArithmeticStark` (#1453)
54a13135 Improve some calls to `%mstore_rlp` (#1452)
1715573c Fix problems after address bundling
95c83add Merge pull request #1399 from topos-protocol/refactor_encode_funcs
5b71eb4e Address review comments
3c699be7 Merge remote-tracking branch 'public/main' into refactor_encode_funcs
22e267c3 Address bundling
bd02117c Fix `after_mpt_delete_extension_branch` (#1449)
f4be34dc Some more
dcbfef6d chore: fix typos (#1451)
82804e42 Add some more + module doc
80917cbe Merge remote-tracking branch 'public/main' into refactor_encode_funcs
7fc6b86d Minor
77f51095 Adress reviewer comments
cb19f219 Add crate-level documentation (#1444)
47b42856 Remove unused macro
2dacbfe2 Address bundling (#1426)
3e61f06a Remove gas check in sys_stop (#1448)
ed2e1bc7 Add comment
3c8b150f Rustdoc
20db596e Add some more explicit doc on plonky2 crate
18a14bf2 Remove assertion
897ba585 Remove assertion in packed verif
1c994737 Address comments
f4713c44 Apply suggestions from code review
247d655b Minor
8f1efa15 Fix minor error
ab4508fc Add packed verification
f46cf4ef Prevent some lints from being allowed (#1443)
6cf4df7d Add initial constraint z polynomial (#1440)
ef07eabf Pacify latest clippy (#1442)
1a95f7aa Clippy
9c573a07 Restore simple_transfer and Clippy
a85f9872 Fix bug in jumpdest proof generation and check that jumpdest addr < code_len
48b9769e Remove duplicated label
a8340496 Rebase to main
ae3003a9 Add alternative method to prove txs without pre-loaded table circuits (#1438)
c3d707c1 Constrain partial_channel (#1436)
dfcf276d Refactor encode_empty_node and encode_branch_node
cb3f91a0 add Debug trait to PartitionWitness to enable trace information output (#1437)
24ae0d9d Clippy
3e78865d Remove aborts for invalid jumps and Rebase
0ae56db0 Reabse to main
11d668f5 Remove aborts for invalid jumps
4e569484 Improve proof generation
c4025063 Clippy
aaa38b33 Fix fmt
08982498 Remove U256::as_u8 in comment
5acabad7 Eliminate nested simulations
0bec6278 Apply suggestions from code review
ed260980 Fix jumpdest analisys test
ff3dc2e5 Refactor run_next_jumpdest_table_proof
9e39d88a Rebase to main
6ababc96 Remove aborts for invalid jumps
7eff4e27 Constrain first offset of a segment (#1397)
829ae64f Improve proof generation
a291d92c Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
7cb04884 Minor cleanup (#1435)
096c7456 Constrain new top to loaded value in MLOAD_GENERAL (#1434)
18e08f4f Filter range checks (#1433)
f67ee258 Add exceptions handling to the interpreter (#1393)
536cd1c8 Regenerate tries upon Kernel failure during `hash_final_tries` (#1424)
ee91b67c Merge pull request #1432 from 0xPolygonZero/discord_badge
0b56ab75 Added a Discord badge to `README.md`
f8f6b07a Change context to current context for BN precompiles (#1428)
68b9f0ad Add ERC721 test (#1425)
a64311cf Add aborting signal (#1429)
77f1cd34 Clippy
5a0c1ad8 Fix fmt
ad8c2df8 Remove U256::as_u8 in comment
81f13f3f Eliminate nested simulations
fdd7ee46 fix: make `from_noncanonical_biguint` work for zero (#1427)
2c5347c4 Apply suggestions from code review
71dff6e9 Constrain MSTORE_32BYTES new offset limbs (#1415)
746e1344 Fix jumpdest analisys test
f76ab777 Refactor run_next_jumpdest_table_proof
3e8ad086 Rebase to main
bc1a3c48 Merge `push` and  `prover_input` flags (#1417)
51ff8c5b Merge pull request #1420 from dzizazda/main
837434cf Fix a minor typo in evm/spec/cpulogic.tex
4e4e61c2 typo fix
00ed16fc minor typo fix
724437d0 typo fix
942e43ab typo fix
bfcfcdb4 Add `Checkpoint` heights (#1418)
5607faf3 Check that limbs after the length are 0 (#1419)
3195c205 Merge MSTORE_32BYTES and MLOAD_32BYTES columns (#1414)
56e83956 Merge pull request #1416 from AdventureSeeker987/main
43ecf1df chore: fix some comment typos
7efd147e Use mstore_32bytes to optimize decode_int_given_len (#1413)
edfc86c3 Remove is_keccak_sponge (#1410)
170ce5f2 Preinitialize all code segments (#1409)
a90aa40b Implement MPT preinitialization (#1406)
4ba7718e Optimize asserts (#1411)
47e24306 Remove GenerationOutputs (#1408)
46b6aa10 Implement degree 2 filters (#1404)
2d36559d Make some functions const (#1407)
7ac6bf2c Implement `PublicValues` retrieval from public inputs (#1405)
6c3e3c0e Use logUp for CTLs (#1398)
cb2a22a5 Update stack op cost (#1402)
d28ba240 Pacify clippy (#1403)
d682769b Fix set_context constraints (#1401)
2d0df393 Merge pull request #1391 from succinctlabs/chris/recursion
32d00967 Fix kernel codehash discrepancy (#1400)
5572da30 Remove intermediary block bloom filters (#1395)
30c944f7 Remove bootstrapping (#1390)
e68195fc chore: Remove TODOs about `from_values` taking a reference
37918ccc Revert "chore: from_values takes ref"
471ff68d Optimize `num_bytes` and `hex_prefix_rlp` (#1384)
7cc123e0 chore: from_values takes ref
b598e6ff VerifierCircuitData Clone,PartialEq,Eq
64cc1000 Move stack_len_bounds_aux to general columns (#1360)
96f3faf2 Changes in interpreter and implement interpreter version for add11 (#1359)
6dd2e313 Add upgradeability to `AllRecursiveCircuits` and output verifier data (#1387)
3440ba94 Remove extra rows in BytePackingStark (#1388)
2a6065b4 comment
ab70bc53 Fix run_syscall in interpreter. (#1351)
2039e18f Fix genesis block number in `prove_block` (#1382)
acd3b1ad Merge pull request #1383 from topos-protocol/mpt_specs
110a8eff Update evm/spec/mpts.tex
ee450d6d Remove redundant sect about MPT
36e31c53 Address comment
08e0afe4 Fix typo in evm/spec/mpts.tex
c7951fcc Update evm/spec/mpts.tex
12b522cb Update evm/spec/mpts.tex
98bed16a Update evm/spec/mpts.tex
0c0818c7 Update evm/spec/mpts.tex
c6178a45 Update evm/spec/mpts.tex
a3b5e13e Update evm/spec/mpts.tex
3af316f3 Add MPT specs
d4b05f37 Add specs for stack handling (#1381)
a7364586 Backporting gas handling to the specs (#1379)
2d5a84a1 Add specs for the CPU table (#1375)
bec1073c Explain difference between simple opcodes and syscalls (#1378)
48e2b24b Add range check constraints for the looked table (#1380)
8d473168 Add specs for BytePackingStark (#1373)
fe311c7f Check is_kernel_mode when halting (#1369)
98b5e5be Initialize blockhashes (#1370)
06933b1d Starting the specs for the CPU logic (#1377)
1f65a8a8 Add exceptions to specs (#1372)
0c4d9a8e CTL and range-check documentation (#1368)
f1be8409 Update README.md (#1371)
7a50292a Update README.md
f2b75fa5 Update README.md
edeb2c76 Merge pull request #1367 from 0xPolygonZero/avm-readme
29762c85 Update README.md
d98305b3 Create README.md
398b15c1 wip
79c6de14 Update Keccak-f specs. (#1365)
b44fc0d6 Add specs for KeccakSponge (#1366)
b9328815 Reduce visibility (#1364)
ddecf8bd Update specs for Logic and Arithmetic Tables (#1363)
f879d925 Add doc for privileged instructions (#1355)
2c951de4 Update Memory in specs (#1362)
24aa9668 Revert "Make gas fit in 2 limbs (#1261)" (#1361)
40d3c6dd Merge pull request #1294 from matthiasgoergens/matthias/make-clippy-happy
eda7fd65 Constrain is_keccak_sponge (#1357)
4dc42c51 Merge public values inside prove_aggreg (#1358)
0e63e661 Implement out of gas exception (#1328)
01f229a8 Add push constraints (#1352)
a0876d73 Refactor JUMPDEST analysis (#1347)
6f2b3349 Fix parsing of non-legacy receipts (#1356)
f7d5e7c4 Fix MSTORE_32BYTES in interpreter (#1354)
6d751b13 Remove values of last memory channel (#1291)
75ae0eb5 Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting
88fcc329 Reduce visibility for a bunch of structs and methods in EVM crate (#1289)
5800e6ad Add run_syscall and tests for sload and sstore (#1344)
cc0cdd07 Remove unnecessary code duplication (#1349)
3810bd1a Charge gas for native instructions in interpreter (#1348)
5c41dc4d Range-check keccak sponge inputs to bytes (#1342)
d2b5882a Root out some unwraps
ec41b754 Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345)
01bbf1a0 Constrain clock (#1343)
954d1a77 Remove logic for multiple txns at once (#1341)
5d5628b5 Move empty_check inside final iteration
605932d1 restore `no-std` support (#1335)
e41435e9 Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168)
fa93454c Add withdrawals (#1322)
19178072 Remove `len` column in `KeccakSpongeStark` (#1334)
099994ab Add test for ERC20 transfer (#1331)
d8f6de25 Merge pull request #1329 from shuoer86/main
d941539b Fix typos in comments
a0ea26f4 Fix typos in comments
d2b549af Constrain uninitialized memory to 0 (#1318)
f71f227d Add test for selfdestruct (#1321)
1e8ed78f Merge pull request #1320 from topos-protocol/fix-combine-keccak-jumpdest
85b38bec Fix merging of jumpdest and keccak_general.
41362075 Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)
20501d9b Add context constraints (#1260)
3ca16620 Merge pull request #1317 from topos-protocol/more_memcpy_bytes
6332900d Combine PUSH0 and PC flags. (#1256)
0d97b93a Add some documentation in EVM crate (#1295)
afd357f4 More of memcpy_bytes
0f299d4c Merge pull request #1316 from topos-protocol/memcpy_tiny
af4935cd Merge NOT and POP flags. (#1257)
4b40bc03 Remerge context flags (#1292)
c96a8700 Move empty check inside final iteration
0258ad4a Merge pull request #1314 from topos-protocol/refactor_wcopy
6f52b76d Review
7447959f Fix kexit_info in test
666a155d Remove new_stack_top_channel from StackBehavior (#1296)
15a9e992 Fix test on interpreter side
75fdd342 Fix calldatacopy
ade5b8c3 Fix
a9e47afc Refactor codecopy
a1b178f6 Refactor memcpy
3feb04d2 Refactor wcopy syscalls
3aeec83a Add missing constraints for DUP/SWAP (#1310)
44af80f2 Merge pull request #1309 from topos-protocol/fix_padding_in_wcopy
c1c1ab6d Fix wcopy and extcodecopy for ranges over code limit
ed5ec3ca Merge pull request #1307 from topos-protocol/fmt
b31f7061 Apply rustfmt with latest nightly
b212fff7 Merge pull request #1306 from topos-protocol/fix_empty_last_chunk
8326db60 refactor: remove usage of unstable `generic_const_exprs` in starky (#1300)
60811d08 Also for memset
83054b0f Handle empty case for memcpy_bytes
8af189b9 Merge pull request #1305 from topos-protocol/memset
385ab3c6 Remove redundant
d185d30e Speed-up memset and fix it to write 0 values
0300a322 Merge pull request #1304 from topos-protocol/memcpy_bytes
4140eb54 Fix
503a31b6 Reviews
e2b66206 Merge pull request #1302 from topos-protocol/remove_kernel_memory_zeroing
9607a41b Merge pull request #1303 from topos-protocol/amortize_receipt_reset
595dfa6b Merge pull request #1301 from topos-protocol/submod_kernel
ba61d15c Add macro for copying sequences of bytes
6d2586ef Amortize bloom reset
40de5059 Remove outdated code
07ffe4f5 Combine stack macros for fewer operations
6ca9970a Alter stack to remove SWAPs for SUBMOD
29005dc5 Use SUBMOD in Kernel
05006deb Pad according to RATE rather than WIDTH (#1299)
49976ea2 Check gas in sys_stop (#1297)
817e3e78 Combine DUP and  SWAP (#1254)
29fdd3e3 minor: use explicit builder.assert_zero for readability (#1293)
c9391be0 Update check_ctls with extra looking values (#1290)
f9242702 Make clippy happy
d89966b0 Merge pull request #1288 from 0xPolygonZero/git_dep_org_update
a02a2ecb Updated `mir-protocol` --> `0xPolygonZero`
1d604319 Store top of the stack in memory channel 0 (#1215)
762e6f07 Fix hash node case in `mpt_delete_branch` (#1278)
d7990ee1 Add journal entry for logs (#1286)
9fd0425f Fix journal order in `sys_selfdestruct` (#1287)
49ca63ee Fix sys_blockhash (#1285)
2aeecc3d Fix failed receipt. (#1284)
b4203c3d Make sure success is 0 in contract failure (#1283)
41a29f06 Remove some dead_code in EVM crate (#1281)
8a5eed9d Fix shift constraint (#1280)
e58d7795 Remove reg_preimage columns in KeccakStark (#1279)
0de6f949 Remove extra SHL/SHR CTL. (#1270)
51eb7c0b Merge pull request #1276 from topos-protocol/fix_empty_to_encoding
571dc14f Fix encoding for empty recipient
3ac0c4ae Fix genesis state trie root when calling `prove_root` (#1271)
cd36e96c Derive clone for txn RLP structs (#1264)
0f19cd0d Make gas fit in 2 limbs (#1261)
4e2cba56 Merge pull request #1262 from topos-protocol/fix_rc_doc
8afd06cf Fix description of Range-Check columns in STARK modules
30005957 Optimize lookup builder (#1258)
1ff6d4a2 Merge pull request #1235 from topos-protocol/new-logup
f49fbc8e Transactions trie support (#1232)
acc659da Add type 1 and 2 txn for RLP encoding support (#1255)
916ce0dd Merge pull request #1228 from topos-protocol/constrain-genesis-state
5694af79 Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state
75c0e47a Apply comments.
03a95581 Handle additional panics (#1250)
72241ca7 Connect block_gas_used (#1253)
a24cd4f3 Merge pull request #1251 from topos-protocol/fix-observe-challenges
043d12c2 Fix observe_block_metadata
8c78271f Add `random` value to block metadata and fix `sys_prevrandao` (#1207)
bbc6fe76 Merge branch 'main' into 'new-logup'
3983969c Use function for genesis block connection.
9d0101d6 Merge branch 'main' into 'constrain-genesis-state'
0abc3b92 Apply comments (#1248)
d6be2b98 Remove `generic_const_exprs` feature from EVM crate (#1246)
70d6dd97 Merge branch 'main' into new-logup
f438d45f Merge branch 'main' into 'new-logup'.
6618cfad Remove SEQUENCE_LEN in BytePackingStark (#1241)
1b7207ee Merge pull request #1244 from topos-protocol/block_metadata_doc
459e9b3d Merge pull request #1245 from topos-protocol/indexing_tables
d8874c83 Update ranges indices
c468465c Merge pull request #1243 from tamirhemo/main
edd3f383 Add some doc for BlockMetadata / ExtraBlockData
8a19f436 Merge pull request #1242 from topos-protocol/fix_multi_row_ctl
8839285f add trait bound
a44379b5 fmt and clippy
7d7f01da refactor prove method
4eb6a3b5 Fix eval_table
ca441872 Merge branch 'main' into new-logup
b60a3d4b Merge pull request #1239 from topos-protocol/mload_mstore_with_packing
053553d4 Reuse new packing instructions for MLOAD and MSTORE
696377ba Merge pull request #1231 from topos-protocol/error_vs_panic
b5c28bd6 Rename utility methods for U256 conversion
f07351fc Merge pull request #1238 from topos-protocol/cleanup
f3ea95ca Merge branch 'main' into error_vs_panic
c4be838a Typo
d1c00767 Cleanup lookup_test module and reduce module visibility
15064b3a Merge pull request #1229 from topos-protocol/next_row_ctls
1a4caaa0 Move next row logic inside Column
ffa71787 Merge remote-tracking branch 'mir/main' into new-logup
a9b7b5a6 Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]"
8903aec1 Change padding rule for CPU (#1234)
865f185b Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
1afcafad Merge pull request #1236 from topos-protocol/ci
5db6abf0 Update clippy in CI
4f0330ad Update clippy in CI
ec9e6196 Fix range
66f935a7 Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]
91000591 Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
9697c906 Clippy
7dc2a774 Cleanup
c5af894e Add assert with char(F). Cleanup. Fix recursive challenges.
9ab8a118 Remove one helper function
17f661f9 Fix BytePacking range-check. Fix lookup challenges
c9c0f8b7 Use CTL challenges for logUP + change comments + add assert
f65ad58a Implement logUp
d4a8026b Combine mstore_general and mload_general into one flag (#1188)
27d9113f Merge branch 'main' into next_row_ctls
0b5ac312 Merge pull request #1203 from topos-protocol/constrain_nv_stack_len
19220b21 Remove redundant Keccak sponge cols (#1233)
06bc73f7 Combine arithmetic flags on the CPU side (#1187)
61a1c246 Fix CTLs
c27fc96a Merge branch 'main' into next_row_ctls
f944a08b Fix self_balance_gas_cost and basic_smart_contract. (#1227)
7ebbb47f Swap ordering in stack macro (#1230)
5a1b05ac Remove risks of panic
9508b490 Move byte packing / unpacking to a distinct table (#1212)
3c4f938f Make next row available to CTLs
4d7d9ffa Constrain genesis block's state trie.
d1c395ef Merge pull request #1202 from mir-protocol/keccak-preimage
3571f097 Merge pull request #1224 from mir-protocol/latest-nightly
9a8a769d more clippy suggestions
55d05147 clippy suggestions
a4e6c6ae clippy suggestions
7415810f clippy suggestions
8af3b0fe clippy suggestions
ed8bcf9d clippy suggestions
1dd77d6d fmt
e947a624 suppress incorrect Clippy error
967f7b12 latest nightly in CI and rust-toolchain
65917f5f Merge pull request #1222 from mir-protocol/internal_crate_path_stablization
2f1ed951 Merge pull request #1220 from mir-protocol/latest_nightly_fix
90ea0318 Merge pull request #1223 from succinctlabs/uma/change-witness-visibility
faa70e07 Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag
a184f09b Made visibilities outside of crate to allow for forking partial witness gen outside of crate
1be1ca4d clippy
a6433071 Fixes
5936c67f Now refers to sub-crates using paths (and removed `patch` section)
180c2094 Merge pull request #1208 from topos-protocol/blockhash_opcode
71b2ece1 Merge pull request #1216 from topos-protocol/checkpoint_lengths
0b7c4082 Merge pull request #1218 from topos-protocol/keccak_col
05e9fc0b Apply Nick's comment
d0379e94 Apply Nick's comment
4716fe7d Also included clippy fixes introduced by new nightly
6d3d2cb2 Now builds on the latest nightly
5a3c8b26 clippy
0ca796e1 Removed mock feature flag and added mock_build
170f7d83 Fix Clippy
9a06fc9b Fix memop reads, from_prover_inputs and cleanup.
ddf2b817 Clippy
1c01d682 Fix overflow check and test. Remove [..8] when using h256_limbs.
c30b1834 Change h256_ulimbs
4e0fe74a Apply comments
42f70380 Add blockhash sys opcode
4782519d remove spurious
18d31412 Added mock feature flag and test
258b075f Remove filter column for KeccakStark
e6ca4606 Merge pull request #1214 from jtguibas/jtguibas/serde-target
5690b951 Merge pull request #1217 from topos-protocol/cleanup_duplicates
fa9aae1f Remove duplicate code
6207f446 Merge pull request #1206 from topos-protocol/missing-public-value-links
8dcb29e5 Display actual trace lengths instead of number of ops
800603d6 feat: serde for targets
a7096546 Merge pull request #1209 from topos-protocol/receipts-all-types
d4b71c56 Replace genesis state trie check with TODO
6bd17e29 Apply comments
dd3b61a3 Merge pull request #1211 from mir-protocol/comment-fix
ac89c7cd Fix comment in `proof.rs`
bf21b278 Apply comments
9ba2b895 Implement receipts of types 1 and 2
b0764436 Add missing links between public values
8beba569 Constrain next row's stack length
ea03e418 Keccak STARK: constraint preimage to equal A on first round
760f09a8 Merge pull request #1201 from shuklaayush/fix/keccak-stark-reg-preimage
301aedf0 fix: constrain higher bits of reg_preimage
a0b2b489 Merge pull request #1200 from topos-protocol/fix_empty_txn_list
71967147 Update range from ReceiptTrie PR
6e7fcc9e Merge pull request #1199 from jtguibas/john/make-generate-partial-witness-pub
d3f33bae make generate partial_witness pub
62f271a8 Merge pull request #1198 from mir-protocol/public_values_serde
975fd451 Made `PublicValues` serializable
86fb6aa0 Merge pull request #1097 from topos-protocol/receipts_and_logs
6a2e2423 Clippy
caae038c Cleanup
5b962f3c Change receipts_trie in basic_smart_contract and self_balance_gas_cost
ad9796cb Fix tests and address comments
925cdd53 Cleanup
c0b4f155 Implement receipts and logs
44115de7 Merge pull request #1174 from topos-protocol/merge-context-flags
a881c70e Merge pull request #1191 from mir-protocol/eth_trie_utils_patch
18ca89f0 Patched plonky2 to use a patch for eth_trie_utils
4e5f6e7e Apply comment
10bbda03 Remove unnecessary changes in the Operation enum
c3cb2278 Combine get_context and set_context into one flag
74212a29 Merge pull request #1192 from topos-protocol/misc_constraints
f6f9fa31 Merge pull request #1190 from topos-protocol/mpt-remove-cow
06e20f87 Apply comment
a94d9282 Merge pull request #1194 from topos-protocol/block_basefee
8476fdcd Refactor
9a450068 Update BlockBaseFee to fit in 2 limbs
c138f2d6 Merge pull request #1193 from topos-protocol/observe_pv
68bb4967 Update tests to have a blockgaslimit fitting u32s
976d7521 Observe public values
0b78c43f Remove filtering in membus
91e8d52d Reduce overconstraining in decode module
b711e527 Combine a few constraints
d96c6491 Merge pull request #1165 from topos-protocol/ci-test
d70d67fa Remove copy on write for mpt_insert and mpt_delete
1997bf24 Implement inverse from Fermat little theorem (#1176)
eb7bb461 Merge pull request #1189 from topos-protocol/remove_is_bootstrap_kernel_flag
49d92cb8 Remove is_bootstrap_kernel column
683501cc Merge pull request #1183 from topos-protocol/remove_is_cpu_cycle_flag
815a02ab Remove is_cpu_cycle
89e62e55 Use Keccak config in simple tests
7b07229b Add guidance for external contributors to README.md
830fdf53 Merge pull request #1184 from topos-protocol/combine_jump_flags
12f379f9 Combine jump flags
470788d0 Merge pull request #1185 from topos-protocol/combine_simple_logic_flags
7cdb6baf Merge pull request #1177 from topos-protocol/alloc
7829dccf Combine EQ and ISZERO flags
dc7e0aa7 Merge pull request #1181 from topos-protocol/combine_logic_flags
654f7cac Comment
e10eaad0 Combine all logic flags together
437f57a8 Fix logic CTL
5100e032 Revert changes in cyclic_subgroup_unknown_order
8541a04b Apply Nicholas comment
56ebda49 Address review
12a687d3 Reduce reallocations
ee9ce4c5 Combine AND and OR flags in CpuStark
6f98fd76 Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
5f4b15af Connect SHL/SHR operations to the Arithmetic table (#1166)
df07ae09 Write trie roots to memory before kernel bootstrapping  (#1172)
c9eed2bb Connect public values in aggregation circuit (#1169)
397ee266 Merge pull request #1171 from topos-protocol/exception-flag
017e6217 Set exception flag to 1.
e6407089 Error instead of panicking for missing preprocessed circuits (#1159)
b2626fdc Merge pull request #1162 from topos-protocol/cleanup_attributes
9eeb69f0 Merge pull request #1105 from topos-protocol/poseidon_warning
bf1ed783 Merge pull request #1161 from topos-protocol/fix_recursive_ctl
c9bd32d5 Fix trait import. (#1163)
9f8c1522 Remove unused attributes
4a762e33 Merge pull request #1160 from topos-protocol/keccak_general
5b9e8d85 Merge branch 'main' into poseidon_warning
bd3834c4 Silence Poseidon warnings for ARM targets
5316f890 Clippy
8365608b Convert to u32 instead of u64
c93f9d5f Fix endianness in benefiary limbs
bca3e09b Reuse set_public_value_targets
f01098a7 Constrain keccak general
9e0719e6 Better document constraints on addcy carries (#1139)
d8e314bc Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
8c6e8d63 Merge pull request #1158 from mir-protocol/jacqui/gas-check-spec
c52ed29e Gas handling brain dump
eebf7eb0 Merge pull request #1157 from mir-protocol/update-versions
b414b8e9 fmt
f574effe make imports conditional on config
84321955 update versions in cross-crate references
3a556029 update versions for crates.io updates
7537193d Generalise transpose
5b8740a7 Merge pull request #1026 from topos-protocol/memory-ctl-verifier-bus
3b21b87d Merge pull request #1151 from mir-protocol/jacqui/dead-memtable-cols
7a882d0a Clippy
6253a68e Change public values into public inputs
59b73c84 Apply comments
1590c1d0 Fix indices in CTL functions
f97deab8 Remove non-passing debug assert
06037f81 Fix the memory CTL and implement the verifier memory bus
b3f00d4a Merge pull request #1146 from topos-protocol/overlap-cpu-syscalls
831fe862 Cut 5 Columns From The Memory Table With This One Weird Trick!
bfd6b988 Merge pull request #1148 from topos-protocol/lookup_check
ee9cd80c Change arg to non-mutable reference
0276446e Add additional lookup unit tests
dc70902f Remove always true condition
bc246780 Fix name in ID
6ca3f1a9 Make GateRef value public
bfa7ab36 Merge pull request #1111 from topos-protocol/lookup_serial
16227f90 Merge syscall and exceptions constraints.
0f52c889 Merge pull request #1145 from mir-protocol/npwardberkeley-patch-1
535fb7d8 Update prover.rs
e047676e Merge pull request #1114 from onsen-egg/onsen-egg/lookup-opt
a67cfdcb Precompute RE poly evals for challenges
03d90f30 Faster multiplicity counting for lookup tables
167518ed Merge pull request #1143 from succinctlabs/build_issue_on_mac_M2
6a772879 Fix negative quotient issue (#1140)
25678f46 Merge pull request #1144 from mir-protocol/build-in-subdirectories
f3e87ec4 CI: build in subdirectories
8a86e195 fix: add itertools/use_std feature flag for [std]
2d8c02bf Merge pull request #1138 from 0xmozak/bing/dep-serde-rc
7ba051f4 Fix failing byte constraint (#1135)
152e3959 Merge pull request #1137 from topos-protocol/fix-kernel-panic
e28b484a deps(serde): use rc
1af1afcf Change current context in bignum_modmul
cf278eac Merge pull request #1136 from topos-protocol/div_by_zero
f116c855 Fix risk of division by zero
b27389df Merge pull request #1134 from topos-protocol/avx_tests
04657d24 Fix import
1d6ca589 Add LUT hash to remove CircuitBuilder overhead
4893a860 Merge pull request #1116 from topos-protocol/recursive_ranges
00579850 Merge pull request #1132 from mir-protocol/dependabot/cargo/itertools-0.11.0
8b35fefb Rename cd to common_data for consistency Cf review
cbb3da15 Reduce number of lookup accesses
b32345cd Update lookup serialization
c8020126 Provide methods for ProverOnlyCircuitData serialization
544aff27 Also provide CommonCircuitData in serialization of gates and generators
47781e47 Add CommonCircuitData to gates deserialization method
b43d6c1d Add CommonCircuitData to generators deserialization method
d684ee2d Switch Field type of generators to be F: RichField + Extendable<D>
5d513207 Update itertools requirement from 0.10.3 to 0.11.0
4400757f Merge pull request #1128 from mir-protocol/dependabot/cargo/hex-literal-0.4.1
dc170915 Merge pull request #1131 from mir-protocol/dependabot/cargo/criterion-0.5.1
c202f4bc Merge pull request #1129 from mir-protocol/dependabot/cargo/ahash-0.8.3
0f284ca6 Merge pull request #1130 from mir-protocol/dependabot/cargo/hashbrown-0.14.0
63b8ceba Merge pull request #1124 from 0xmozak/matthias/remove_unused_deps
e3f12709 Merge pull request #1123 from 0xmozak/matthias/fix-readme
b0c5ddc0 Update criterion requirement from 0.4.0 to 0.5.1
fc70f36c Update hashbrown requirement from 0.12.3 to 0.14.0
0d9208a6 Update ahash requirement from 0.7.6 to 0.8.3
413f589e Update hex-literal requirement from 0.3.4 to 0.4.1
cc45ac9a Merge pull request #1125 from 0xmozak/matthias/fix-resolver-warning
1f561771 Merge pull request #1126 from 0xmozak/matthias/add-dependabot
7437fe2b Fill modulus in cpu row for Fp254 operations. (#1122)
9e748a47 Enable github's Dependabot
6c2f76d5 Fix resolver warning
4b0fc861 Remove unused dependency `blake2` from `evm` crate
f6b2e742 Fix spaces and wording in README
ee5d1aa6 Merge pull request #1033 from 0x0ece/transpose
398f86af Merge pull request #1092 from matthiasgoergens/matthias/move_to_field
2d7a94de formatting
94f880b6 Merge pull request #1104 from topos-protocol/serializer
dca50adf Merge pull request #1119 from mir-protocol/jacqui/topos-protocol/stack_len_bounds_aux_error
6b493d6f Remove redundant case (error in kernel mode)
1664ab44 Merge pull request #1112 from topos-protocol/fix-generate-jump
7aa5ed3b Merge pull request #1117 from topos-protocol/fix_set_context
b9b227c8 Merge pull request #1118 from mir-protocol/revert-1109-new-clippy-fixes
14c40115 Revert "clippy fixes"
f08afec6 Merge pull request #1109 from mir-protocol/new-clippy-fixes
5bff02a1 Fix generate_set_context
0a59aa6e Remove need for matching start ranges
325cd2f7 Compute stack_len_bounds_aux correctly in generate_error
224064bf Fix jump operation generation
c982826e Add feature "rc" to serde crate import
3870524a Merge pull request #1113 from topos-protocol/ci
6bd575d1 Fix nightly version in CI
dbb23587 Merge pull request #964 from topos-protocol/lookup
96fbecd9 ignoring where appropriate (for izip), fixing elsewhere
b0568a79 remove useless vec
0fec1124 update itertools
08a6e66d fix
5b08ac58 fix
3c776a8d clippy fixes
4df4d865 No default implementation
91c55d15 Add wrapper types for Lookup and LookupTable
43512371 Review
c0fc349c Fix lookup serialization and update with latest serialization changes
7e80b42a Serialize Lookup gates and generators
35abffd5 Implement lookups with logarithmic derivatives in Plonk
6122dccb Move operations to Field
56a127eb Make Buffer available in no-std
d960bfe2 Make serializer work with slices instead of Vec
3de92d9e Merge pull request #1102 from mir-protocol/modexp-memory-context-change
605ea47f reset Cargo.toml
897e2e99 fix
54cf74ac addressed comments
975e9a49 fmt
8eeca9be undo dummy change
2fa43121 dummy change to get tests to rerun :P
9bb6da04 fmt
afd4bd04 cleanup
bc53ddc5 fix
264192aa modexp uses current_general
39d2237d Merge pull request #1101 from mir-protocol/blake_fix
ee452fc0 Merge pull request #1099 from mir-protocol/blake_fix_fix
ef8ea64d Minor
7559bb2f Minor
83ee5fd6 Minor
c8ff80ca Fix blake2 fix
7ca56768 fix
246eb8d8 blake fix
23bc390a Merge pull request #1095 from mir-protocol/jacqui/push0-opcode
3eb41edb William comments
564864ea Remove parts of the copy-on-write logic (#1096)
cedeff52 PUSH0
9cc35360 Merge pull request #1082 from mir-protocol/jacqui/simplify-stack-bounds
8ded9e84 Minor: William comment
ec07255f Fix halt loop (#1094)
01efa013 Fix account touch in calls (#1093)
ba705703 Use current context for pairing memory (#1091)
9838a367 Check call depth in create (#1089)
e51c4d0d Set returndata size to 0 in some create errors (#1088)
d37c5455 Increment call depth in precompiles (#1087)
56e7ad00 Fix LOG* gas (#1086)
68b15ea5 Fix CALLDATALOAD for large offsets (#1085)
f852984e Implement PREVRANDAO as if it was DIFFICULTY (#1084)
6920992e Simplify stack bounds constraints
01175419 Merge pull request #1071 from mir-protocol/jacqui/bad-opcode-witness-generation
ae290dbf William PR comments
0f7e1c0b Call stack depth (#1081)
0f874317 Minor fix to REVERT (#1080)
90bb4741 RIPEMD doesn't get untouched (#1079)
fd48e5d1 Contract creation fixes (#1078)
77f0d8b5 Don't revert state in CREATE in case of OOF or nonce overflow (#1077)
63a6e706 Fill BLOCKHASH and PREVRANDAO syscalls with dummy code (#1076)
0e23606e Revert #1074 (#1075)
5a13b62d Don't overwrite existing account (#1074)
2cf31f5f Prevent shift ops from panicking (#1073)
d3387172 Commit missing file
c773476c Minor docs
55b29cac Remove bootloader.asm (#1072)
3ecf5309 Minor bugfixes
448bc719 Lints
1d804e46 Fix stack after precompiles (#1061)
7ab0bba5 Merge branch 'main' into jacqui/bad-opcode-witness-generation
b7220428 Error handling
973624f1 Minor fixes to RETURN and RETURNDATACOPY (#1060)
720faa67 Fix create OOG because of code deposit cost (#1062)
fbf6591b Warm precompiles earlier (#1065)
f605d912 Propagate static flag (#1066)
73079796 Fix pairing invalid input (#1067)
49bbe4e0 Fix arithmetic stark padding (#1069)
0d819cf8 Implement EVM `BYTE` operation (#1059)
8153dc78 Remove `-C prefer-dynamic=y` from CI build.
a492d3e1 Fix revert gas bug
7dfdacf2 Fix return and revert gas (#1058)
42f33017 Fix ecrecover edge case (#1057)
c0abefda Fix DUP in call gas
e6a7b8c5 Add contract creation flag (#1056)
30b97b29 Fix DelegateCall bug
9727eaf1 Fix extcodehash when account is empty (#1055)
08a061bc Implement LOG* gas and remove panic (#1054)
354664c8 Fix ecmul (#1053)
6e303601 Support for type-2 transactions (#1052)
9b0092ab Support for type-1 transactions (#1051)
15dec6fa Encode `to` as B160. (#1011)
beefc91d Pop checkpoint in the right place
5a7c176c Fix issues related to CREATE2 collisions (#1050)
e720090e Merge pull request #1041 from mir-protocol/storage_addr_h160_to_h256
d57b62ff Perform jumpdest analysis whenever entering a new context (#1049)
971bfba6 EIP-2681: Limit account nonce to 2^64-1 (#1048)
8faea881 Don't add an event for account creation for pre-existing account (#1047)
29fac4ca Check balance in create (#1046)
1616c0ba Fix extcodecopy
3a9e5cc0 More fixes to contract creation (#1045)
49979df9 Fixed failing test
a294c7e2 Some fixes to contract creation (#1044)
84c15606 Minor fixes to returndata and create (#1043)
10e6c768 `TrieInputs` now uses `H256` for storage account addresses
ce6ac9f8 Merge pull request #1038 from mir-protocol/tests-memory-context-fix
c36ed15e Merge pull request #941 from mir-protocol/bls-fp2
6292d8d7 redundant
d3986e6b merge successful
59ae7103 merge
244d5e9b Add refund journal event and checkpoint after access address event (#1040)
bde7fb50 Various fixes to checkpoint logic (#1039)
e5b0fce6 revert testing changes
3a77c5a0 fix
14f92f7b Cargo.toml change for testing
b116929f Delete touched recipient in EOA -> EOA (#1037)
6ebee38e fix
d05db497 Don't touch contract address in DELEGATECALL or CALLCODE (#1036)
bfd6834d Journal of state changes + state reversion  (#1028)
74ba3032 MPT deletion (#1025)
202985b2 Fix CALL gas (#1030)
944d4a24 SSTORE refund (#1018)
f1cc284d Optimize transpose
c134b597 Cross-table lookup for arithmetic stark (#905)
779456c2 Merge pull request #1029 from mir-protocol/precompile-memory-context-change
6f4f00c6 Merge pull request #1027 from mir-protocol/memory-refactor
2c5f6fd6 Fix compile time problems and generic hash implementation (#1024)
76fb3160 Merge branch 'memory-refactor' into precompile-memory-context-change
0d9e3216 fix (mstore_unpacking returns offset)
97aedd11 Merge branch 'memory-refactor' into precompile-memory-context-change
6e7fa6da fix
675d6440 Merge branch 'memory-refactor' into precompile-memory-context-change
57bcb451 use mstore_unpacking and mload_packing
6669f73a use mstore_unpacking and mload_packing
af12368a addressed comments & cleanup
98a75774 cleanup
5dc043aa Merge pull request #1012 from honeywest/transpose
a4a4fbb3 fmt
057b650f fix
a076da75 fix
24159886 precompile memory context change
d9694d95 fix
446c3b71 fix
b566dbd7 refactor memory/core.asm to make code more reusable
46c7903b Merge pull request #1023 from topos-network/clippy
92c2378c Fix clippy
f11921c9 Fix doubly_encode_rlp_scalar in the 0 case. (#1022)
653a6b15 Remove `generic_const_exprs` dependency from field crate. (#1020)
4380395e Merge pull request #1017 from mir-protocol/expmod-fix
91067e58 expmod edge case fix
b159c9e7 Merge pull request #1013 from topos-network/overflow-check
f0df03f6 Merge pull request #1009 from mir-protocol/expmod_precompile
099e7946 fixes
17a7c57d Change add_or_fault macro
1f39c555 Address overflow-related TODOs in ASM code, using a macro add_or_fault. This is related to https://github.com/mir-protocol/plonky2/pull/930/files/a4ea0965d79561c345e2f77836c07949c7e0bc69
40515dc6 Merge pull request #1014 from toposware/bootstrap_constraint
f3de2afc remove test file
cae5a2cf fix
050c2e65 fix: calculate gas properly
ab8ebdfb Merge pull request #1016 from mir-protocol/remove-proof-challenges-serialization
8d738729 Merge pull request #1015 from mir-protocol/clippy-fix
ade5b433 fix
30e58ad2 remove ProofChallenges serialization
8358b85d remove unneeded mut
08e6c352 addressed comments
037c2f5e addressed comments
841c5829 Fix todo in kernel bootstrapping
debe65f9 addressed comments
1d8f71f8 optimize transpose_in_place_square_small code
ae21ef8f Merge pull request #997 from mir-protocol/pairing-test
84f17699 comments
f9aad433 neutral input
397d5953 fix
031fe6ed Merge branch 'main' into expmod_precompile
9e4056e2 cleanup
badbf010 store and unpack at end
998cd8ab addressed comments
a638ebe0 fix
7ede443e Merge pull request #1006 from mir-protocol/blake_precompile
dc076df5 addressed comments
96742f29 addressed comments
e40b9edb addressed comments
9b18b3ae fix unit
16928fd0 peculiar...
b37e049a fmt
f6a49e88 fair naming
4a42ddb2 on stack
57113905 redundant
2aa83d9a Merge branch 'pairing-test' of github.com:mir-protocol/plonky2 into pairing-test
ae4b5091 neutral name
503cb8a9 random inp
4ad8520e SNARKV precompile (#1010)
b28e3e0d minor
ab721fa3 SSTORE gas (#1007)
efd5a81b Merge pull request #980 from mir-protocol/serialize_common_circuit_data
13c653bc mul works
6599c90a abstraction
78a368cf fix
8df0c743 remove build_without_randomizing (no longer needed)
b640bf63 serialize ProofChallenges
537debdc return bool
89122a3d it works
479e919c fmt
6dc094a8 test
4c235e5a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b4e06271 fix
d31c60a0 clean up
d928a70b clean
1e9db292 fixes
67a3edb2 Precompiles exist (#1008)
0d98e4b8 formatting
e642b824 move serialization to separate example
dc91554d expmod precompile
3b7ad771 cleanup
46d9cee0 charge gas!
9460acc1 rename blake2b
ce033410 fix
6a239c4f fix
a41cf018 fixed blake tests
11a03c5e Merge pull request #1005 from mir-protocol/precompile-fixes
621c63de clippy fix
c083cc63 fix
29a8367b fmt
2d98dd3c commented out unused functions
5dc44916 Merge branch 'main' into blake_precompile
454e0add fixed blake2_f, and testing
137a9966 Merge pull request #998 from mir-protocol/even-smaller-bignum-modexp-test
f225ea49 add comment
93398472 Merge branch 'precompile-fixes' into blake_precompile
1eba893e mload_packing macro
ffc5d6d6 Merge branch 'main' into precompile-fixes
43f4d2b8 clean more
14ee46c8 cleanup
0f662ed0 fixes
b7e93511 New contract hook (#1002)
a4b714e6 EIP-3541: Reject new contract code starting with the 0xEF byte (#1003)
472face2 EIP-3860: Limit and meter initcode (#999)
f3f3641f rename
975a35c3 fmt
f718f857 cleanup
8d50806b fix
b9f1c1c5 cleanup
858c59a2 cleanup
45c0d894 cleanup
905c5eb5 deterministic build function
146e6605 don't serialize challenges
66763c7d cleanup
993ed149 seralizing
34a03545 Serialize impls, and use in Fibonacci example
ea82d680 Merge pull request #981 from toposware/serialization
86acc15f blake precompile progress
b288ff5f Merge branch 'precompile-fixes' into blake_precompile
d5060ecd precompile optimizations
26204461 it works
9f0c2f47 blake precompile progress
dd58b9b5 dont panic
26d99a9b memory compress
0c55aa04 clean
50752246 clean
ff0695d7 renumber memory
f1bbf66c it works
c01b2bf2 minor
5f564b67 initial work on blake precompile
44a623d4 initialize out in asm
4e0be664 Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b35d2524 Merge pull request #1001 from mir-protocol/eth_trie_utils_0_6_0_bump
db93bada Bumped `eth_trie_utils` to `0.6.0`
1a0a6300 EIP170 (#1000)
723f197d Cleanup
099c4b97 msg
82bca7fa error
b661a709 twisted check
2a9c5cfd Add serialization check in square_root example
bf02a3e8 Make generators public
5de5bfb5 Move serialization files into dedicated module
0e465c1c Customize range specification for AllRecursiveCircuits
f71139d9 Add serialisation support for gates, generators, and various structs
f7f5fb4e Change display for GoldilocksField
6edd5891 Gas and more for `CREATE(2)` (#995)
a8e5613b EOA to precompiles logic (#993)
df4a6f01 fix for full modexp test
6d84b988 fmt
cb23bfca check for special cases and align with yellow paper
bbe64674 tests passing
3628021a fmt
d6584dcb restructure tate test
3e437a0c oops remove more debug stuff
bf5dc256 undo debug commenting
0df18d5e tests
de94ac25 missing file
3444e810 even smaller bignum modexp test, and fixes
21a1a98a reorg
ca3a7f8a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
9b54ee43 refactor
c0ced26f Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
0e082432 reorg
ada250f3 Merge branch 'main' into smaller-bignum-modexp-test
d8fef87a Only print warning or errors from the log. (#996)
2e16ab04 Replace %stack calls with equivalent opcodes. (#994)
3a3ff87a fmt
7dda0eff works
1f077628 new api
c9b09936 compiles
d112c716 fmt
a704b152 even less thorough :P
a4f60a04 less thorough bignum modexp test
049a258b Merge pull request #991 from mir-protocol/disable_couple_tests
8562abe0 Disable a couple tests
690fd100 Merge pull request #990 from mir-protocol/mpt_failure_labels
67593f16 Labels for failed MPT read/insert
e6864e98 Merge pull request #985 from toposware/kernel_serial
5dfac715 Fix generic const expressions warning (#984)
9037ceb0 Merge pull request #986 from mir-protocol/incremental_release
eb7468e7 Incremental release builds
df5a90cc Provide methods for serializing Kernel
6b2503f7 Merge pull request #970 from toposware/env
3cc39fa4 wip
9d60191d Implement returndatasize/returndatacopy for interpreter
191ca102 comment
0b85c8bb getting there
0b9ef768 nl
2106ae07 Merge branch 'bls-fp2' of github.com:mir-protocol/plonky2 into bls-fp2
a5c6b14e Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
9b9cd735 Update evm/src/extension_tower.rs
6946eaca Implement codesize/codecopy for interpreter
0f3285c3 Implement gasprice on the interpreter
e9cc5632 Impl caller/address/origin opcodes for interpreter
b721236e Precompiles interface (#983)
b896f9b2 Merge pull request #974 from toposware/stack_bound
c8637635 Remove dummy_yield_constr
4946c3d5 Merge branch 'main' into stack_bound
5fce67d1 Merge pull request #978 from toposware/stack_constraints
32a6bdf1 Merge pull request #971 from toposware/keccak_sponge_is_final_block
58f4568e Merge pull request #982 from toposware/sys_chainid
92d94dc6 Use Block chain id for sys_chainid
ba844a24 Change shl/shr behavior as well as BASIC_TERNARY_OP
475b2ba0 Fix copy_returndata_to_mem (#976)
c7e60073 Check if context is static for state-changing opcodes (#973)
142be4e1 Implement rest of *CALL opcodes (#972)
b202196b switch
f2650418 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
1e57ef96 Remove unnecessary constraint
29726f92 Apply review
f424bd36 Merge pull request #966 from toposware/interpreter
938e3bd5 Set stack_len_bounds_aux properly
18d27d2f Remove is_final_block column in KeccakSpongeStark
011ea8e4 Fix from review
5b1fd5f2 CALL gas (#969)
d79d2c49 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
8130a8a6 Merge pull request #950 from toposware/keccak_sponge
0529fa06 Change endianness within generate_keccak_general
3da8efa6 Implement sar in interpreter
b943ddb0 Implement signextend in interpreter
4db00441 Implement sgt in interpreter
ac2ccc1e Implement slt in interpreter
232832e3 Implement smod in interpreter
18d317b9 Implement sdiv in interpreter.
0e5e28f6 Merge pull request #968 from toposware/block_interpreter
c0fae77c Merge pull request #951 from toposware/prove_block
6124e4d6 Fix BlockCircuitData proofs
0146f48a Cleanup
524b39e2 Reactivate CTL for keccak sponge
d1379ac1 Fix hash output writing to memory
5f6098ff Add test for keccakf_u8s
99b0d009 Implement KeccakSpongeStark constraints
2fae2fbc Impl gaslimit opcode for interpreter
9e6f284b Impl chain_id opcode for interpreter
ae8ee27e Impl coinbase opcode for interpreter
e3572f1d Impl basefee opcode for interpreter
86bd055b Impl difficulty opcode for interpreter
60fed608 Impl number opcode for interpreter
a17c6231 Impl timestamp opcode for interpreter
042c0042 Merge pull request #965 from mir-protocol/fix_run_constructor
31e134f0 Delete %set_new_ctx_parent_ctx
1a9f0104 Fix call logic (#963)
ab692252 Minor fixes to context creation (#961)
7a65b1d4 Merge pull request #967 from toposware/fix_decode
310107f2 Fix decode constraint
cfc54f95 Fix run_constructor
d1c9277d Merge pull request #962 from mir-protocol/range-check-example
d6bb5d5d range check example
af3fa142 Implement sys_return and sys_revert (#959)
f24c3537 Update README.md
c11f4f41 Merge pull request #960 from mir-protocol/readme-updates
fb24b200 README updates: examples and external tutorial
5ac12de9 Fix sys_exp (#958)
923722b1 Fix copy opcodes when offset is large (#957)
d59fa59a Merge pull request #925 from mir-protocol/bignum-modexp
6a4e9ab6 fix
90f7ba9a addressed final comments
9690b60b Merge pull request #956 from mir-protocol/doubly_encode_storage_values
e70e4fca Doubly RLP-encode storage values
889911e8 redundancy
93dd25a1 fmt
33dc8eae better names
251d7e34 systematize names
4e48fc43 all Stacks
0e3b86de frob
26da6dc7 rev stack
d52c15e8 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
6fa59d20 Fix MSTORE8 (#955)
f9217272 Fix signed syscalls stack (#954)
3b607bde Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
a061c3cf Merge pull request #952 from mir-protocol/extra_where_clauses
209c1ff1 Remove extra conditions
e2f33dd3 Merge pull request #873 from toposware/hashconfig
9ee47ab7 Move HashConfig into GenericConfig associated types
46d5e62a Copy txn data to calldata (#935)
8e04cbfe Self-destruct list (#948)
a926dcad Transaction validity checks (#949)
f1a99e69 Add patch section to workspace config file
e857c020 Make hash functions generic
2ca00a9a Selfdestruct gas and set (#947)
786a71d6 Merge pull request #946 from mir-protocol/selfBalanceGasCost
31cd0f64 Remove dbg
9ae69a7c Add an integration test for the `selfBalanceGasCost` case
56bf0892 Charge gas for extcodecopy (#942)
f71d3642 Merge pull request #945 from mir-protocol/remove_CONSUME_GAS
9480cbed Signed operations as syscalls (#933)
2d87c5d6 Remove `CONSUME_GAS`
834522a6 Merge pull request #939 from mir-protocol/termination_fixes
be0cccdf Merge pull request #938 from mir-protocol/rework_create_create2
39fdad8c Feedback
a0d04ca3 Fix Wcopy when size=0 (#944)
9f1a5f97 Charge gas for keccak (#943)
cdaabfe9 Merge branch 'main' into bignum-modexp
b667c074 Merge pull request #940 from mir-protocol/eth_trie_utils_bump
3c7bc883 Removed a type alias
0c87a57f addressed comment
e4f2e864 fix
1a348eed check for x < m
bce25720 documentation
1e5677c4 comments
a6ccd350 cleanup
fb73e889 uncommented
c18377d1 Merge branch 'main' into bignum-modexp
91fb4fc0 fix modexp test
823b06ac fp2 works
3b95e013 bls method
5783a374 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
7b93b81a Merge pull request #931 from mir-protocol/fp381-opcodes
cf5a4edc prover input minor improvements
60ad9e03 Bumped `eth_trie_utils` to `0.5.0`
c3a5fd86 merge
1f14ae98 skeleton
911dfedd Rework CREATE, CREATE2 syscalls
b4eb8373 A few fixes for terminal instructions
ce22d945 Access lists (#937)
f9fa38d3 Fix new account insert key
7028b6ba comment
7ff2122e Merge branch 'main' of github.com:mir-protocol/plonky2 into fp381-opcodes
1ce47ceb Merge pull request #906 from mir-protocol/fp318
0650d263 remove .scale
3f4d970f Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
c8d2769c fmt
74afec70 remove imports
f4e65feb Fix bugs in `wcopy` and `update_mem_words` (#934)
15bafce5 Implement CREATE2 address generation (#936)
874805cc Merge branch 'fp318' of github.com:mir-protocol/plonky2 into fp381-opcodes
645ef664 comment
63ec13e2 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
3425391a more comments
d0b2b81e More MemoryError (#932)
1f3e3de7 clean and generalize
1627a9a0 tests pass
e471818c comments
1fbe3050 Merge branch 'main' into bignum-modexp
06936c76 Implement various syscalls (#930)
84a0bcf8 cleanup
373062b2 on stack
0e8f6a2f test skeleton
392c29f4 compiles
9ea0ebd7 skeleton
1437affc fmt
b847d16e redundancy
13d2ed90 merge
54b8ce74 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
143225f4 finish
d928423c cleanup
d59501e6 fixes, testing, and in-progress debugging
fc72ce46 fp6 works
4d83c58d frob works
2df1439d Return error instead of panic in memory operation (#928)
a79271a8 Minor account code fixes (#929)
caaf3b4a merge fields
cf1e6a76 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
24705e1e addressed comments
ff81a565 Merge pull request #927 from mir-protocol/creation_fixes
e1ae5392 Fix test
afded168 Contract creation fixes
893b88c3 Implement syscalls for BALANCE and SELFBALANCE (#922)
fc6487ca Merge pull request #926 from mir-protocol/fix_gas
3c4bc1d8 Fix GAS and implement storage value parsing
be309a38 cleanup from comments
42d65839 addressed comments
d340ff8c addressed comments
2e0b7992 addressed comments
9803581d fix
1a78f400 restored neq macro
be9cbd5a fmt
902bc66a fmt
511f450a resolved conflicts
4aa212ab modexp fix
e06f84dd modmul fix
76e70ac4 fixes
ad85d61e fix
4cef5aaa modmul and modexp
1e019356 basic bignum
b16b8261 Merge pull request #881 from mir-protocol/bignum-basic
6fe8554f Merge pull request #924 from mir-protocol/empty-stack-replacement
652b2bed allow empty stack replacement
a5fad9eb addressed comments
f6b9d6ee addressed comments
72b5bb0e fmt
2752456e addressed comments
5e98a5f9 adj trait
50388073 rename
25575df5 cleanup
ec0f3ce7 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
692575a2 Bump eth_trie_utils version. (#923)
2ab16344 Merge pull request #921 from mir-protocol/dlubarov_misc
bdf35374 Misc
b80a28db Misc
f13d603a Merge pull request #920 from mir-protocol/dlubarov_misc
47fac8e3 Couple fixes & minor refactor
64c76e76 Merge branch 'main' into bignum-basic
c491a989 Merge pull request #919 from mir-protocol/mem_expansion
f717a40b Charge for memory expansion
e8405eff Merge branch 'main' into bignum-basic
de246e22 Merge pull request #918 from mir-protocol/fix_read_ext
7ed53142 Fix reads from not-found ext nodes
7853656e Merge pull request #917 from mir-protocol/fix_clobbering
a05ed9fc Fix clobbering of RLP data memory
c3ba7a89 Merge branch 'main' into bignum-basic
2ac4fcdf Merge pull request #915 from mir-protocol/fix_clone_account
8c692b72 Fix account cloning
f514d966 Merge branch 'main' into bignum-basic
994c54ab Merge pull request #912 from mir-protocol/stack_on_panic
5720cf8a updated function name
cda31b5e Merge branch 'main' into bignum-basic
9f75132f Merge pull request #889 from mir-protocol/hash-asm-optimization
38f79e49 optimizations with rep
92ee7786 Merge branch 'main' into hash-asm-optimization
69b4a21c Merge branch 'main' into bignum-basic
da07a7a8 Merge pull request #914 from mir-protocol/return_post_state
373421a1 Fix tests - need to supply empty code
44c77f55 Input addresses
c8d591f6 Add a `prove_with_outputs` method
95347621 div instead of shr
cecbfa9b fit
c59b979c addmul fix
a0a23147 Merge branch 'main' into bignum-basic
f518a8b4 Merge branch 'main' into hash-asm-optimization
b62bc35d fixes
2d7d2ac3 Merge pull request #886 from toposware/poseidon-native
f1ad3da8 fix
062eb82a cleanup
e0a4bc31 cleanup
fda64475 fmt
fa3443a5 new testing interface, and test data
bb2233cb Override from_noncanonical_u96() for Goldilocks field
10e7329a Add FFT-based specification for Poseidon MDS layer on x86 targets
ee9bfb08 fix
4e736b63 fixes
534395ee fmt
73633354 test data
e6027142 cleanup
54eb29e7 fix
6f6c808d more efficient divmod
202990ed Merge branch 'main' into hash-asm-optimization
2195bdd4 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
459d2929 folder
1c71fb34 Merge branch 'main' into bignum-basic
1576a300 Merge pull request #817 from mir-protocol/non-inv
e97e8188 fixed iszero and cleanup
12e6527b fixed messed up merge
2a0df523 Merge branch 'main' into hash-asm-optimization
44a0596f fmt
930ebafd Merge branch 'main' into bignum-basic
35fb1499 Merge pull request #904 from mir-protocol/optimize-blake2b
6f8a5100 interface changes
b0ed6ae0 cleanup
4ef981e4 initial test data
ad38f957 TODO for possible future mul optimization
06276334 carry -> carry_limb
e57358bc ge -> cmp and returns 0, 1, -1
d4a485ec Log stack on panic
7fad9eb8 Merge branch 'main' into optimize-blake2b
a8956b94 flip limbs
9ec97744 run_ops
dd7948e7 merge
5cf8028e Merge branch 'main' into bignum-basic
de6f01f4 small optimizations
424d8d22 more optimizations
29df451d optimizations
97cb5c75 bug fix
8f231bd0 optimization
265d39a5 cleanup
85411ac4 fixes
7351a166 fix
684b668b fix
63301d6b refactor sha2 compression
2236f30a more small optimizations
e5f8632b small optimizations
213ba8ff optimized initial hash value generation
7c8026e8 cleanup
2020202e optimize hash generation further further
df7ea93a optimize hash generation further
3a0d86e2 hash function optimization
ef377c0b cleanup
4e8af821 fixes
9ad25b2a optimizations
eebdd029 Merge pull request #910 from mir-protocol/optimize-asm
d23e4e20 deal with and test zero-len case
4b6a5146 fix
05788a99 compiles
d4c7bfd5 addressed comments
725b5a08 cleanup
4a762553 name change
c4b511ba addressed comments
2000d308 addressed comments
a738afce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
24e0b291 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
676a483c fix
476a554a OR -> ADD
87ad5714 addressed comments
04f44ef4 addressed comments
9e7dc7ca addressed comments
6f05a144 Merge branch 'main' into bignum-basic
7b2c4c61 Merge branch 'main' into optimize-blake2b
ac068845 Merge pull request #909 from mir-protocol/gas_to_coinbase
d5003b7c Gas fees go to coinbase
181e4409 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
625bdb68 skeleton
6dd99e43 Merge pull request #908 from mir-protocol/fix_call_field
84fbbbf4 Couple minor fixes
54f8dcf4 Merge branch 'main' into optimize-blake2b
ce25cc84 Merge pull request #907 from toposware/wasm
b3e93e91 Fix plonky2 compilation with wasm32-unknown-unknown target
a96418b3 unused test
33ccf898 small optimizations
fda2e190 restored blake2b_g_function and call_blake2b_g_function macros
4a378bce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
18c83e77 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6d997a65 more tests
f2538fff cleanup
bac38f82 fix
3a019f99 fix
3662e41d fixes
1100445d cleanup
4f412182 cleanup
0fdd93b8 cleanup
f46694e7 more thorough tests
2aff3e10 cleanup
1d7c28ee bug fixes
c98bfb0b cleanup
af3dc287 cleanup
10893fe0 addmul test: use carry
efd5e6ec cleanup
5477c7dd fixes
119eae95 fix
9976a4b0 addmul initial
aa605b67 flag functions used only in tests
fa605d7b basic bignum
0f55956a optimized initial hash value generation
5994f4d9 cleanup
9d8d81b4 optimize hash generation further further
c37d1e25 optimize hash generation further
40f90d83 hash function optimization
70475a5a cleanup
5f592e60 fixes
93abd35f optimizations
eea8ab62 Merge pull request #903 from mir-protocol/misc_evm_fixes
a6ac0519 Misc EVM fixes
2eed209a Merge pull request #902 from mir-protocol/debug_tries_2
e6aa62f3 Some tooling for debugging tests where the updated tries are not correct
21db4a1b Merge pull request #900 from mir-protocol/sys_gas
f117d76b sys_gas
f19b7553 Merge pull request #899 from mir-protocol/evm_fixes
c558eedd Misc EVM fixes
ec216d28 Merge pull request #898 from mir-protocol/move-out-ecdsa
77fb333a Move ecdsa to its own repo
2621d582 Merge pull request #897 from mir-protocol/move-out-u32
18733f11 Move u32 to its own repo
b08e7a08 Merge pull request #896 from mir-protocol/move-out-insertion
bf8780b2 Move insertion to its own repo
64296bcc Merge pull request #895 from mir-protocol/move-out-waksman
b95bc90b moved waksman to outside repo
1ee39b51 fmt
ab32f03b fixed multiplication
bde5c557 correct mul impl
2c73d5d7 bls field arithmetic
95e5fb59 cleaner rand
6ac59f16 arithmetic skeleton
8ace54dc Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
57ea64e3 Merge pull request #894 from mir-protocol/fix_storage_trie_lookup
1e1e75c9 Fix code that looks for an account's storage trie
e8c94632 comment
1d94756e add inverse doc
5aafbaad Merge pull request #893 from mir-protocol/move_out_system_zero
801fa641 link
bfaa80a3 Move system-zero to its own repo
13a8d670 loop test
2ea3e5e3 minor changes
e3e5c678 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
7781dd36 Plonky2 to 0.1.3
db893831 Merge pull request #892 from mir-protocol/bump_plonky2
2133c7f3 Use new plonky2
52e34265 Bump plonky2 to 0.1.2
79084719 Merge pull request #891 from mir-protocol/fix_hash_or_noop
e52b75b0 Fix `hash_or_noop` for general hash sizes
d17f3aa4 Merge pull request #890 from mir-protocol/test_fixes
29f0692e Fix a few issues found by EVM tests
2a9d4b1a minor
5e3e40a0 more general kernel peek
b89e668b minor
f5b45ee4 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
33185476 Merge pull request #885 from mir-protocol/skip_log
745bec8d Skip log_kernel_instruction if debug logs disabled
e8865130 put extract in interpreter
63f1fbfa fmt
be351110 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6f2d99c7 Merge pull request #884 from mir-protocol/evm-kernel-tests
ea9846de format
da7a8879 make hash functions take a location pointer
a6ffb4b3 simplify byte extraction
4e4cfb06 function API / remove redundancy
53ab0ada remove blake storage
77a7af76 remove sha2 storage
abc762f7 cleaner arithmetic
731c29c4 abstract
c6cf1dc5 remove custom
bce86718 simplify ripe md test
e2cac0bb Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
f3946f75 Gas constraints (#880)
444da8f7 better comments
80e49caa segment virts
d320fbfb update curve add with ops
787cc890 change segment
71243fd7 fix pairing code after big BN PR merge
2158c1d2 merge
9e60ee25 segment
ac40bd5f Optimize `ecMul` precompile (scalar multiplication on BN254) (#852)
3332fbb4 Merge pull request #882 from mir-protocol/back_to_nightly
ff80f28b Revert "Set CI to use an older version of nightly"
85b33093 Merge pull request #879 from 0x0ece/patch-1
614c4ae6 Make le_sum public
40866e77 Refactor arithmetic operation traits (#876)
c6492bc5 merge fix
7b367f5c merge
83c0292b Move SHL and SHR generation to the CPU. (#878)
b585b6a7 remove macro
31095e1b stack macro
a061b88a naming
cecad598 stack macro
361d6d72 tests and stacks
cb7c638c more comments
69afed92 refactor
57146c83 miller loop test
e63cc2aa Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
9f808fc7 align
69228491 Unify generation and verification of ADD/SUB/LT/GT operations (#872)
1c73e238 fp -> fp254
61ac0eff fmt
0f030fae naming for global labels
c107c505 comments
e1dca870 name
962754be rand impl
a950a262 add comments
cd5c92b5 merge
ca002aea Optimize `ecrecover` ASM (#840)
9990632f Merge pull request #870 from mir-protocol/prep_for_publish
137bc785 Prep for publishing to crates.io
81511380 TODO
6c4ef29f Add range checks to the arithmetic Stark (#866)
aed617c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
ea01e19c comment
5b124fb1 minor
6e8d4a57 fix
0eef28af bools
3ea8ad90 fmt
6958d46c names and comments
56be7317 comments
b46af11f move consts
f70243e7 better comments
f0a6ec95 clean asm
136cdd05 Remove InterpolationGate trait (#868)
9c8f1166 ocd
d98c69f0 better comments
0b81258a stack macros
3bdb2907 Optimized interpolation gate (#861)
c9b005d2 new power works
5deb1648 refactor power
60cbdde8 clean
8ca6ba7b clean
c13cf972 tate test
75c5938c rewrite w methods
ec4cddb7 inv as method
7b524381 en route to ownership
17cfae66 reorg
f34b35ed extra comments
94d99cca extra comments
8b670d54 meh
769c615c cleanup
530fb65b cleanup
155e973d slight refactor
d2aa937a improved prover input and test api
e06a2f2d duh
a5c292c7 space
4d783da8 fmt
d99cadeb stack macro
b2f9d885 remove redundant macros and improve comments
8e62d994 fmt
922d3ebc add module and fix errors
3fcb5591 redundant macro
c74a0c25 test inv from memory
abab6bf1 test frob from memory
20fb2cb7 read output from memory
5f2baea0 mul test from memory
7f135fc0 reorg
b44d9e2d Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
8ae36474 Merge pull request #865 from mir-protocol/increment_nonce
eb7d18da fix clippy
54676487 cleaner description
d6167a63 complete description
23698b74 more comments
fda4b4c1 more comments
985e8160 transmute + comments
6e215386 comments
f2e40541 Increment sender nonce + buy gas
0daaa3bf org
bc9c431e remove comments
9977ae03 new inverse
fe91e119 frob format
37ad3407 frob format
ecde3d13 frob tests
9cd1f8a1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
be19cb81 struct impl style arithmetic
31c5db91 rename module
ccd4a38a remove make_stack
b753836a Merge pull request #864 from mir-protocol/block_circuit
b6f6c210 Block circuit
3a6d693f Merge pull request #863 from mir-protocol/smart_contract_test
a2f4a58d log
df2ba7a3 Basic smart contract test
07e02f2d Merge pull request #862 from mir-protocol/prover_inputs_error_handling
a158effe Use error instead of panicking in FromStr
3fbc8bff move comment
ea8cfc95 name
2a2880b7 name
800ceb60 zero name
e6bcad6c Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
446a0d3f name
81861095 Update evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
4f38c3a7 name
70d7fb13 cleaner inv
32f24819 Update evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
49db35d3 Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
42f98a09 Update evm/src/bn254.rs
82ce8153 \n
93a363c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
068f7485 Update evm/src/witness/util.rs
698ab6e7 Update evm/src/bn254.rs
be7a489c Fix stack overflow
8ba8bb62 Merge pull request #860 from mir-protocol/agg_circuit_2
87be6097 Feedback
ae212cfb Merge pull request #859 fro…

* Add smt_trie to CI workflow

* Reuse workspace level dependencies

* Fix add11 tests

* Fix log_opcode tests

* Fix balance tests

* Uncomment receipt tests

* Use main as initial offset for clarity

* Added a feature flag to disable `jemalloc`

- `trace_decoder` now needs to link against two versions of
  `evm_arithmetization`.
- Because `#[global_allocator]` can only appear once per build, we need
  a way to prevent this from occuring twice.
- It also seems to be best practice to only use `#[global_allocator]` in
  binaries, so maybe this is something that we should look at removing
  from this library. However, for the time being, this will allow us to
  do two links against this crate.

* Requested changes for PR #204

* SMT KV store + SMT delete

* Fmt

* Minor

* SMT hash node

* Comment

* Fmt

* SMT pruning

* Comments

* Minor

* Minor

* Clippy

* fix: Specify conditional attribute properly

* Implement code padding for Poseidon

* Check empty code

* Apply comments

* feat: add conditional feature support in the kernel

* Clippy

* Never enough clippy

* Wording

* Update doc