Commit Graph

Select branches

Hide Pull Requests

codex

impl-pi-gate-v2

impl-poseidon2_bn254

main

#1

#1

#2

#2

Mono Color

• 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