2181 Commits

Author	SHA1	Message	Date
Alonso González	c6178a4598	Update evm/spec/mpts.tex ... Co-authored-by: David <dvdplm@gmail.com>	2023-11-27 09:10:50 +01:00
Alonso González	a3b5e13edb	Update evm/spec/mpts.tex ... Co-authored-by: David <dvdplm@gmail.com>	2023-11-27 09:10:28 +01:00
4l0n50	3af316f37b	Add MPT specs	2023-11-24 10:45:26 +01:00
Hamy Ratoanina	d4b05f3730	Add specs for stack handling (#1381) ... * Add specs for stack handling * Apply comments	2023-11-22 18:55:53 -05:00
Linda Guiga	a736458617	Backporting gas handling to the specs (#1379) ... * Backporting gas handling to the specs * Fix typo and syscall handling	2023-11-22 18:35:49 -05:00
Hamy Ratoanina	2d5a84a138	Add specs for the CPU table (#1375) ... * Add specs for the CPU table * Add general columns * Apply comments * Apply comments	2023-11-22 18:27:07 -05:00
Linda Guiga	bec1073cf9	Explain difference between simple opcodes and syscalls (#1378) ... * Explain difference between simple opcodes and syscalls * Apply comment	2023-11-22 17:17:36 -05:00
Linda Guiga	48e2b24b49	Add range check constraints for the looked table (#1380) ... * Add constraints to check that looked tables are well constructed for range checks * Fix comments	2023-11-22 15:59:41 -05:00
Linda Guiga	8d473168d6	Add specs for BytePackingStark (#1373) ... * Start * Finish documenting BytePackingStark * Apply comments * Apply comment --------- Co-authored-by: Robin Salen <salenrobin@gmail.com>	2023-11-22 15:59:21 -05:00
Hamy Ratoanina	fe311c7f90	Check is_kernel_mode when halting (#1369)	2023-11-22 15:44:11 -05:00
Linda Guiga	98b5e5be51	Initialize blockhashes (#1370) ... * Initialize blockhashes * Update comment	2023-11-22 13:30:52 -05:00
Linda Guiga	06933b1da4	Starting the specs for the CPU logic (#1377) ... * Add CPU logic section to specs * Add kernel specs * Apply comments --------- Co-authored-by: Hamy Ratoanina <hamy.ratoanina@toposware.com>	2023-11-21 17:08:15 -05:00
Hamy Ratoanina	1f65a8a863	Add exceptions to specs (#1372) ... * Add exceptions to specs * Apply comments	2023-11-21 15:20:07 -05:00
Linda Guiga	0c4d9a8ea5	CTL and range-check documentation (#1368) ... * CTL and range-check documentation * Apply comments	2023-11-21 13:53:04 -05:00
Paul Gebheim	f1be840914	Update README.md (#1371)	2023-11-20 23:25:31 -08:00
Paul Gebheim	7a50292a01	Update README.md	2023-11-20 09:16:28 -08:00
Paul Gebheim	f2b75fa536	Update README.md ... Link 2 EVM Tests Repo	2023-11-20 09:08:18 -08:00
Paul Gebheim	29762c856f	Update README.md	2023-11-20 09:02:58 -08:00
Paul Gebheim	d98305b321	Create README.md	2023-11-20 08:55:02 -08:00
Linda Guiga	79c6de140d	Update Keccak-f specs. (#1365) ... * Update Keccak-f specs. * Apply comments	2023-11-17 18:44:01 -05:00
Hamy Ratoanina	b44fc0d6ec	Add specs for KeccakSponge (#1366) ... * Add specs for KeccakSponge * Apply comments	2023-11-17 18:18:47 -05:00
Robin Salen	b9328815e6	Reduce visibility (#1364)	2023-11-17 15:45:38 -05:00
Linda Guiga	ddecf8bd5e	Update specs for Logic and Arithmetic Tables (#1363) ... * Update specs for Logic and Arithmetic * Apply comments	2023-11-17 14:52:25 -05:00
Robin Salen	f879d9256e	Add doc for privileged instructions (#1355) ... * Add doc for privileged instructions * Comment	2023-11-17 11:11:29 -05:00
Hamy Ratoanina	2c951de4f2	Update Memory in specs (#1362) ... * Update Memory specs * Apply comment Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com> --------- Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>	2023-11-17 10:42:44 -05:00
Robin Salen	24aa9668f2	Revert "Make gas fit in 2 limbs (#1261)" (#1361) ... * Revert "Make gas fit in 2 limbs (#1261)" This reverts commit 0f19cd0dbc25f9f1aa8fc325ae4dd1b95ca933b3. * Comment	2023-11-17 10:01:26 -05:00
Hamy Ratoanina	eda7fd659e	Constrain is_keccak_sponge (#1357)	2023-11-15 16:17:31 -05:00
Robin Salen	4dc42c513a	Merge public values inside prove_aggreg (#1358)	2023-11-15 14:51:35 -05:00
Hamy Ratoanina	0e63e66196	Implement out of gas exception (#1328) ... * Implement out of gas exception * Use gas constants in gas_cost_for_opcode * Remove comment	2023-11-15 11:20:14 -05:00
Robin Salen	01f229a8e1	Add push constraints (#1352) ... * Add push constraints * Fix ranges * Add stack constraints	2023-11-15 11:15:14 -05:00
Hamy Ratoanina	a0876d73f7	Refactor JUMPDEST analysis (#1347) ... * Use table for JUMPDEST * Refactor jumpdest loop * Update comment --------- Co-authored-by: Robin Salen <salenrobin@gmail.com>	2023-11-15 11:12:07 -05:00
Robin Salen	6f2b3349a1	Fix parsing of non-legacy receipts (#1356) ... * Fix parsing of non-legacy receipts * Clippy	2023-11-14 18:44:17 -05:00
Robin Salen	f7d5e7c47c	Fix MSTORE_32BYTES in interpreter (#1354)	2023-11-14 17:19:19 -05:00
Hamy Ratoanina	6d751b13c1	Remove values of last memory channel (#1291) ... * Remove values of last memory channel Co-authored-by: Linda Guiga <lindaguiga3@gmail.com> * Fix merge * Apply comments * Fix ASM * Top stack documentation (#7) * Add doc file * Apply comments * Apply comments * Fix visibility * Fix visibility --------- Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>	2023-11-13 11:03:50 -05:00
David	75ae0eb59f	Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting ... Root out some unwraps	2023-11-13 14:28:17 +00:00
Robin Salen	88fcc32983	Reduce visibility for a bunch of structs and methods in EVM crate (#1289) ... * Reduce visibility for a bunch of structs and methods * Remove redundant	2023-11-13 09:26:56 -05:00
Linda Guiga	5800e6ad64	Add run_syscall and tests for sload and sstore (#1344) ... * Add run_syscall and tests for sload and sstore * Replace panics with errors and address comments * Apply comments * Change last addr name in prepare_interpreter * Fix kernel_mode in tests * Minor cleanup	2023-11-10 19:19:00 -05:00
Robin Salen	cc0cdd0783	Remove unnecessary code duplication (#1349) ... * Remove unnecessary code duplication * Clippy	2023-11-10 17:12:44 -05:00
Hamy Ratoanina	3810bd1ae9	Charge gas for native instructions in interpreter (#1348) ... * Charge gas for native instructions in interpreter * Apply comment * Format	2023-11-10 16:37:54 -05:00
Robin Salen	5c41dc4dac	Range-check keccak sponge inputs to bytes (#1342) ... * Range-check keccak sponge inputs to bytes * Move outside of inner loop * Apply review	2023-11-10 10:44:58 -05:00
David Palm	d2b5882ae9	Root out some unwraps	2023-11-10 08:53:08 +01:00
Robin Salen	ec41b754a6	Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345)	2023-11-09 17:21:21 -05:00
Hamy Ratoanina	01bbf1a058	Constrain clock (#1343)	2023-11-09 16:42:18 -05:00
Robin Salen	954d1a77c6	Remove logic for multiple txns at once (#1341) ... * Have prover take only a single txn at most * Update comment * Apply review	2023-11-09 09:34:12 -05:00
Robin Salen	5d5628b59d	Move empty_check inside final iteration	2023-11-08 18:42:02 -05:00
Linda Guiga	e41435e927	Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168) ... * Add memory checks for prover_input and range_checks for prover_input, syscalls and exceptions * Replace u32 by U256, and remove extra CTLs * Add column in ArithmeticStark to use ctl_arithmetic_base_rows for is_range_check * Fix CTLs and circuit constraint. * Fix CTLs	2023-11-07 15:52:00 -05:00
wborgeaud	fa93454c5c	Add withdrawals (#1322) ... * Withdrawals * Remove AllRecursiveCircuits in withdrawals test * Fix ERC20 test	2023-11-07 12:20:54 +01:00
Linda Guiga	19178072b4	Remove len column in KeccakSpongeStark (#1334) ... * Remove len column in KeccakSpongeStark * Apply comment Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com> --------- Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>	2023-11-06 16:48:36 -05:00
wborgeaud	099994abe4	Add test for ERC20 transfer (#1331) ... * Working test * Minor * Cleaning	2023-11-06 13:02:33 +01:00
shuoer86	d941539bb8	Fix typos in comments	2023-11-04 23:29:42 +08:00