Feat/type2 #319

Nashtare · 2024-06-24T16:31:59Z

Supersedes #150.

Includes implementation of Hermez SMT design while remaining fully EVM compatible (Cancun Upgrade).

Latest status regarding Ethereum test suite coverage: #52 (comment)

* 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

Nashtare · 2024-11-05T13:58:03Z

Part of the integration has already been merged into develop. Remaining bits are being packed into #768.

Nashtare and others added 25 commits April 3, 2024 22:01

Skip trie loading when being passed default inputs (#141)

7ee36ed

Fix SELFDESTRUCT in the type2 using EIP-6780 (#130)

ca06c9d

* Cherry-pick 0xPolygonZero/plonky2@1d8a841 * Add new segment * Delete slots * Newline * Minor * Remove ignore and rlp alloc

Add rlp alloc in type0 (#142)

3384aeb

Fix data overwrite in RLP segment (#145)

58219f4

Merge remote-tracking branch 'origin/develop' into feat/type2

19e8731

smt_trie library deps cleanup (#152)

5dd75fa

* Add smt_trie to CI workflow * Reuse workspace level dependencies

Fix broken type2 tests (#151)

3b733c1

* Fix add11 tests * Fix log_opcode tests * Fix balance tests * Uncomment receipt tests * Use main as initial offset for clarity

Update proof_gen (partially) to accomodate for type2 changes (#153)

a7f6784

Merge branch 'develop' into feat/type2

7e20fc3

SMT KV store + SMT delete (#211)

70f93b4

* SMT KV store + SMT delete * Fmt * Minor

SMT hash node (#212)

8da8354

* SMT hash node * Comment * Fmt

[CI] Update labeler job for feat/type2 branch (#222)

e76f6d4

SMT pruning (#215)

7043125

* SMT pruning * Comments * Minor * Minor * Clippy

fix(type2): specify conditional attribute properly (#243)

fe187a4

* fix: Specify conditional attribute properly

Merge branch 'develop' into feat/type2

d96f2ce

Merge branch 'develop' into feat/type2

93cebbe

Merge branch 'develop' into feat/type2

4041679

Merge branch 'develop' into feat/type2

7312d64

Merge branch 'develop' into feat/type2

0c903eb

fix: Adapt Fibonacci benchmark to SMT format

24639a7

Merge branch 'feat/cancun' into feat/type2

e7a561d

Merge branch 'feat/cancun' into type2_cancun

2a901f0

Nashtare added this to the Type 2 - Q2 2024 milestone Jun 24, 2024

Nashtare force-pushed the feat/cancun branch from 247ba6b to 71bcb27 Compare July 10, 2024 13:24

Merge branch 'feat/cancun' into type2_cancun

03948cc

Nashtare changed the base branch from feat/cancun to develop July 15, 2024 19:52

Nashtare and others added 4 commits July 15, 2024 16:27

Merge remote-tracking branch 'origin/develop' into type2_cancun

9e57768

feat(type2): Implement bytecode padding rule in the kernel (#386)

0800e7a

* Implement code padding for Poseidon * Check empty code * Apply comments

feat: add conditional feature support in the kernel assembly (#416)

a619246

* feat: add conditional feature support in the kernel * Clippy * Never enough clippy * Wording * Update doc

Allow features with macros within macros (#492)

615b777

Nashtare closed this Nov 5, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Feat/type2 #319

Feat/type2 #319

Nashtare commented Jun 24, 2024 •

edited

Loading

Nashtare commented Nov 5, 2024

Feat/type2 #319

Feat/type2 #319

Conversation

Nashtare commented Jun 24, 2024 • edited Loading

Nashtare commented Nov 5, 2024

Nashtare commented Jun 24, 2024 •

edited

Loading