Commit Graph

  • 2a6065b42f
    comment Chris Tian 2023-11-27 14:56:51 -08:00
  • ab70bc536d
    Fix run_syscall in interpreter. (#1351) Linda Guiga 2023-11-27 12:34:41 -05:00
  • 2039e18f29
    Fix genesis block number in prove_block (#1382) Robin Salen 2023-11-27 10:24:11 -05:00
  • acd3b1ad54
    Merge pull request #1383 from topos-protocol/mpt_specs Alonso González 2023-11-27 16:23:19 +01:00
  • 110a8effdb
    Update evm/spec/mpts.tex Alonso González 2023-11-27 16:16:52 +01:00
  • ee450d6dbc Remove redundant sect about MPT 4l0n50 2023-11-27 16:15:40 +01:00
  • 36e31c5356 Address comment 4l0n50 2023-11-27 15:05:33 +01:00
  • 08e0afe4e6
    Fix typo in evm/spec/mpts.tex Alonso González 2023-11-27 14:39:55 +01:00
  • c7951fcc04
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:24:20 +01:00
  • 12b522cba8
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:15:33 +01:00
  • 98bed16a09
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:15:23 +01:00
  • 0c0818c7c5
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:11:03 +01:00
  • c6178a4598
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:10:50 +01:00
  • a3b5e13edb
    Update evm/spec/mpts.tex Alonso González 2023-11-27 09:10:28 +01:00
  • 3af316f37b Add MPT specs 4l0n50 2023-11-24 10:45:26 +01:00
  • d4b05f3730
    Add specs for stack handling (#1381) Hamy Ratoanina 2023-11-22 18:55:53 -05:00
  • a736458617
    Backporting gas handling to the specs (#1379) Linda Guiga 2023-11-22 18:35:49 -05:00
  • 2d5a84a138
    Add specs for the CPU table (#1375) Hamy Ratoanina 2023-11-22 18:27:07 -05:00
  • bec1073cf9
    Explain difference between simple opcodes and syscalls (#1378) Linda Guiga 2023-11-22 17:17:36 -05:00
  • 48e2b24b49
    Add range check constraints for the looked table (#1380) Linda Guiga 2023-11-22 15:59:41 -05:00
  • 8d473168d6
    Add specs for BytePackingStark (#1373) Linda Guiga 2023-11-22 15:59:21 -05:00
  • fe311c7f90
    Check is_kernel_mode when halting (#1369) Hamy Ratoanina 2023-11-22 15:44:11 -05:00
  • 98b5e5be51
    Initialize blockhashes (#1370) Linda Guiga 2023-11-22 13:30:52 -05:00
  • 06933b1da4
    Starting the specs for the CPU logic (#1377) Linda Guiga 2023-11-21 17:08:15 -05:00
  • 1f65a8a863
    Add exceptions to specs (#1372) Hamy Ratoanina 2023-11-21 15:20:07 -05:00
  • 0c4d9a8ea5
    CTL and range-check documentation (#1368) Linda Guiga 2023-11-21 13:53:04 -05:00
  • f1be840914
    Update README.md (#1371) Paul Gebheim 2023-11-20 23:25:31 -08:00
  • 7a50292a01
    Update README.md Paul Gebheim 2023-11-20 09:16:28 -08:00
  • f2b75fa536
    Update README.md Paul Gebheim 2023-11-20 09:08:18 -08:00
  • edeb2c765b
    Merge pull request #1367 from 0xPolygonZero/avm-readme Paul Gebheim 2023-11-20 09:03:47 -08:00
  • 29762c856f
    Update README.md Paul Gebheim 2023-11-20 09:02:58 -08:00
  • d98305b321
    Create README.md Paul Gebheim 2023-11-20 08:55:02 -08:00
  • 398b15c103
    wip Chris Tian 2023-11-19 15:11:03 +03:00
  • 79c6de140d
    Update Keccak-f specs. (#1365) Linda Guiga 2023-11-17 18:44:01 -05:00
  • b44fc0d6ec
    Add specs for KeccakSponge (#1366) Hamy Ratoanina 2023-11-17 18:18:47 -05:00
  • b9328815e6
    Reduce visibility (#1364) Robin Salen 2023-11-17 15:45:38 -05:00
  • ddecf8bd5e
    Update specs for Logic and Arithmetic Tables (#1363) Linda Guiga 2023-11-17 14:52:25 -05:00
  • f879d9256e
    Add doc for privileged instructions (#1355) Robin Salen 2023-11-17 11:11:29 -05:00
  • 2c951de4f2
    Update Memory in specs (#1362) Hamy Ratoanina 2023-11-17 10:42:44 -05:00
  • 24aa9668f2
    Revert "Make gas fit in 2 limbs (#1261)" (#1361) Robin Salen 2023-11-17 10:01:26 -05:00
  • 40d3c6dd0d
    Merge pull request #1294 from matthiasgoergens/matthias/make-clippy-happy Paul Gebheim 2023-11-15 19:54:55 -08:00
  • eda7fd659e
    Constrain is_keccak_sponge (#1357) Hamy Ratoanina 2023-11-15 16:17:31 -05:00
  • 4dc42c513a
    Merge public values inside prove_aggreg (#1358) Robin Salen 2023-11-15 14:51:35 -05:00
  • 0e63e66196
    Implement out of gas exception (#1328) Hamy Ratoanina 2023-11-15 11:20:14 -05:00
  • 01f229a8e1
    Add push constraints (#1352) Robin Salen 2023-11-15 11:15:14 -05:00
  • a0876d73f7
    Refactor JUMPDEST analysis (#1347) Hamy Ratoanina 2023-11-15 11:12:07 -05:00
  • 6f2b3349a1
    Fix parsing of non-legacy receipts (#1356) Robin Salen 2023-11-14 18:44:17 -05:00
  • f7d5e7c47c
    Fix MSTORE_32BYTES in interpreter (#1354) Robin Salen 2023-11-14 17:19:19 -05:00
  • 6d751b13c1
    Remove values of last memory channel (#1291) Hamy Ratoanina 2023-11-13 11:03:50 -05:00
  • 75ae0eb59f
    Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting David 2023-11-13 14:28:17 +00:00
  • 88fcc32983
    Reduce visibility for a bunch of structs and methods in EVM crate (#1289) Robin Salen 2023-11-13 09:26:56 -05:00
  • 5800e6ad64
    Add run_syscall and tests for sload and sstore (#1344) Linda Guiga 2023-11-10 19:19:00 -05:00
  • cc0cdd0783
    Remove unnecessary code duplication (#1349) Robin Salen 2023-11-10 17:12:44 -05:00
  • 3810bd1ae9
    Charge gas for native instructions in interpreter (#1348) Hamy Ratoanina 2023-11-10 16:37:54 -05:00
  • 5c41dc4dac
    Range-check keccak sponge inputs to bytes (#1342) Robin Salen 2023-11-10 10:44:58 -05:00
  • d2b5882ae9
    Root out some unwraps David Palm 2023-11-10 08:53:08 +01:00
  • ec41b754a6
    Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345) Robin Salen 2023-11-09 17:21:21 -05:00
  • 01bbf1a058
    Constrain clock (#1343) Hamy Ratoanina 2023-11-09 16:42:18 -05:00
  • 954d1a77c6
    Remove logic for multiple txns at once (#1341) Robin Salen 2023-11-09 09:34:12 -05:00
  • 5d5628b59d Move empty_check inside final iteration Robin Salen 2023-11-07 13:29:17 -05:00
  • 605932d149
    restore no-std support (#1335) Matteo Muraca 2023-11-07 23:10:44 +01:00
  • e41435e927
    Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168) Linda Guiga 2023-11-07 15:52:00 -05:00
  • fa93454c5c
    Add withdrawals (#1322) wborgeaud 2023-11-07 12:20:54 +01:00
  • 19178072b4
    Remove len column in KeccakSpongeStark (#1334) Linda Guiga 2023-11-06 16:48:36 -05:00
  • 099994abe4
    Add test for ERC20 transfer (#1331) wborgeaud 2023-11-06 13:02:33 +01:00
  • d8f6de25aa
    Merge pull request #1329 from shuoer86/main Robin Salen 2023-11-04 11:49:14 -04:00
  • d941539bb8
    Fix typos in comments shuoer86 2023-11-04 23:29:42 +08:00
  • a0ea26f4b2
    Fix typos in comments shuoer86 2023-11-04 23:07:36 +08:00
  • d2b549affc
    Constrain uninitialized memory to 0 (#1318) Hamy Ratoanina 2023-11-03 19:52:12 -04:00
  • f71f227d3c
    Add test for selfdestruct (#1321) wborgeaud 2023-11-02 07:56:21 +01:00
  • 1e8ed78f5a
    Merge pull request #1320 from topos-protocol/fix-combine-keccak-jumpdest Robin Salen 2023-11-01 11:12:06 -04:00
  • 85b38bec19
    Fix merging of jumpdest and keccak_general. Linda Guiga 2023-11-01 11:08:57 -04:00
  • 413620751e
    Combine JUMPDEST and KECCAK_GENERAL flags. (#1259) Linda Guiga 2023-11-01 10:43:09 -04:00
  • 20501d9bb5
    Add context constraints (#1260) Hamy Ratoanina 2023-11-01 09:08:32 -04:00
  • 3ca166204a
    Merge pull request #1317 from topos-protocol/more_memcpy_bytes Robin Salen 2023-10-31 10:27:58 -04:00
  • 6332900d86
    Combine PUSH0 and PC flags. (#1256) Linda Guiga 2023-10-30 15:43:06 -04:00
  • 0d97b93af5
    Add some documentation in EVM crate (#1295) Robin Salen 2023-10-30 14:28:24 -04:00
  • afd357f4bf
    More of memcpy_bytes Robin Salen 2023-10-30 09:59:53 -04:00
  • 0f299d4c2e
    Merge pull request #1316 from topos-protocol/memcpy_tiny Robin Salen 2023-10-30 14:12:18 -04:00
  • af4935cde8
    Merge NOT and POP flags. (#1257) Linda Guiga 2023-10-30 14:05:54 -04:00
  • 4b40bc0313
    Remerge context flags (#1292) Hamy Ratoanina 2023-10-30 12:56:11 -04:00
  • c96a8700af
    Move empty check inside final iteration Robin Salen 2023-10-30 08:18:47 -04:00
  • 0258ad4a3d
    Merge pull request #1314 from topos-protocol/refactor_wcopy Robin Salen 2023-10-27 11:47:42 -04:00
  • 6f52b76d03
    Review Robin Salen 2023-10-27 11:16:47 -04:00
  • 7447959fad
    Fix kexit_info in test Robin Salen 2023-10-27 11:15:23 -04:00
  • 666a155d4a
    Remove new_stack_top_channel from StackBehavior (#1296) Linda Guiga 2023-10-26 17:52:54 -04:00
  • 15a9e9928a
    Fix test on interpreter side Robin Salen 2023-10-26 17:08:40 -04:00
  • 75fdd342f5
    Fix calldatacopy Robin Salen 2023-10-26 15:59:40 -04:00
  • ade5b8c39b
    Fix Robin Salen 2023-10-26 15:46:55 -04:00
  • a9e47afc07
    Refactor codecopy Robin Salen 2023-10-26 15:24:53 -04:00
  • a1b178f6c7
    Refactor memcpy Robin Salen 2023-10-26 11:21:10 -04:00
  • 3feb04d252
    Refactor wcopy syscalls Robin Salen 2023-10-26 10:20:55 -04:00
  • 3aeec83a05
    Add missing constraints for DUP/SWAP (#1310) Hamy Ratoanina 2023-10-26 09:59:02 -04:00
  • 44af80f244
    Merge pull request #1309 from topos-protocol/fix_padding_in_wcopy Robin Salen 2023-10-25 10:01:31 -04:00
  • c1c1ab6d0f
    Fix wcopy and extcodecopy for ranges over code limit Robin Salen 2023-10-24 15:56:46 -04:00
  • ed5ec3ca9c
    Merge pull request #1307 from topos-protocol/fmt Robin Salen 2023-10-24 08:50:15 -04:00
  • b31f70612e
    Apply rustfmt with latest nightly Robin Salen 2023-10-24 07:26:45 -04:00
  • b212fff72f
    Merge pull request #1306 from topos-protocol/fix_empty_last_chunk Robin Salen 2023-10-24 06:40:46 -04:00
  • 8326db604c
    refactor: remove usage of unstable generic_const_exprs in starky (#1300) bing 2023-10-24 08:20:00 +08:00
  • 60811d083f
    Also for memset Robin Salen 2023-10-23 19:40:32 -04:00