2266 Commits

Author	SHA1	Message	Date
4l0n50	897ba5856a	Remove assertion in packed verif	2024-01-05 17:57:46 +01:00
4l0n50	247d655b39	Minor	2024-01-05 17:00:46 +01:00
4l0n50	8f1efa1554	Fix minor error	2024-01-05 16:15:16 +01:00
4l0n50	ab4508fc8b	Add packed verification	2024-01-05 16:07:33 +01:00
4l0n50	1a95f7aa72	Clippy	2023-12-28 16:39:12 +01:00
4l0n50	9c573a07d4	Restore simple_transfer and Clippy	2023-12-28 14:10:36 +01:00
4l0n50	a85f9872f1	Fix bug in jumpdest proof generation and check that jumpdest addr < code_len	2023-12-28 14:04:23 +01:00
4l0n50	24ae0d9de0	Clippy	2023-12-20 15:27:27 +01:00
4l0n50	3e78865d64	Remove aborts for invalid jumps and Rebase	2023-12-20 15:02:32 +01:00
4l0n50	0ae56db0f2	Reabse to main	2023-12-20 14:44:34 +01:00
4l0n50	11d668f5e6	Remove aborts for invalid jumps	2023-12-20 14:29:57 +01:00
4l0n50	4e569484c2	Improve proof generation	2023-12-20 14:29:57 +01:00
4l0n50	c4025063de	Clippy	2023-12-20 14:29:57 +01:00
4l0n50	aaa38b33ba	Fix fmt	2023-12-20 14:29:57 +01:00
4l0n50	08982498d6	Remove U256::as_u8 in comment	2023-12-20 14:29:57 +01:00
4l0n50	5acabad72d	Eliminate nested simulations	2023-12-20 14:29:54 +01:00
Alonso González	0bec627899	Apply suggestions from code review ... Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>	2023-12-20 14:29:08 +01:00
4l0n50	ed260980b2	Fix jumpdest analisys test	2023-12-20 14:29:08 +01:00
4l0n50	ff3dc2e516	Refactor run_next_jumpdest_table_proof	2023-12-20 14:29:04 +01:00
4l0n50	9e39d88ab8	Rebase to main	2023-12-20 14:28:38 +01:00
4l0n50	6ababc96ec	Remove aborts for invalid jumps	2023-12-20 14:13:36 +01:00
Hamy Ratoanina	7eff4e2751	Constrain first offset of a segment (#1397) ... * Constrain first offset of a segment * Apply comment, revert debugging code * Modify specs * Apply comments	2023-12-19 10:58:09 -05:00
4l0n50	829ae64fc4	Improve proof generation	2023-12-19 14:05:51 +01:00
David	a291d92c01	Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref ... `PolynomialBatch::from_values` takes refs	2023-12-19 12:14:10 +00:00
Robin Salen	7cb0488429	Minor cleanup (#1435)	2023-12-19 11:06:54 +01:00
Hamy Ratoanina	096c7456bb	Constrain new top to loaded value in MLOAD_GENERAL (#1434)	2023-12-19 09:57:20 +01:00
Linda Guiga	18e08f4f61	Filter range checks (#1433) ... * Add filtering to range-checks * Cleanup * Fix Clippy * Apply comment	2023-12-18 17:27:12 -05:00
Linda Guiga	f67ee258a1	Add exceptions handling to the interpreter (#1393) ... * Add exceptions handling to the interpreter * Apply comments * Fix comments	2023-12-18 19:11:16 +01:00
Robin Salen	536cd1c89c	Regenerate tries upon Kernel failure during hash_final_tries (#1424) ... * Generate computed tries in case of failure * Only output debug info when hashing final tries * Clippy * Apply comments	2023-12-18 08:46:16 +00:00
wborgeaud	f8f6b07a39	Change context to current context for BN precompiles (#1428) ... * Change context to current for BN precompiles * Rename segments * rustfmt	2023-12-16 17:02:56 +01:00
Hamy Ratoanina	68b9f0ad1c	Add ERC721 test (#1425) ... * Add ERC721 test * Add IS_READ column to BytePacking CTL * Apply comment	2023-12-15 19:44:59 -05:00
Robin Salen	a64311cfd4	Add aborting signal (#1429) ... * Add aborting signal * Clippy * Update to Option following comment	2023-12-15 19:35:27 +01:00
4l0n50	77f1cd3496	Clippy	2023-12-15 18:52:40 +01:00
4l0n50	5a0c1ad8b7	Fix fmt	2023-12-15 18:14:47 +01:00
4l0n50	ad8c2df84a	Remove U256::as_u8 in comment	2023-12-15 17:13:52 +01:00
4l0n50	81f13f3f8a	Eliminate nested simulations	2023-12-15 17:11:00 +01:00
Alonso González	2c5347c45f	Apply suggestions from code review ... Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>	2023-12-15 09:49:19 +01:00
Hamy Ratoanina	71dff6e982	Constrain MSTORE_32BYTES new offset limbs (#1415)	2023-12-13 18:35:17 -05:00
4l0n50	746e13448b	Fix jumpdest analisys test	2023-12-13 17:34:23 +01:00
4l0n50	f76ab77741	Refactor run_next_jumpdest_table_proof	2023-12-13 17:34:23 +01:00
4l0n50	3e8ad08688	Rebase to main	2023-12-13 17:33:53 +01:00
Linda Guiga	bc1a3c4851	Merge push and prover_input flags (#1417) ... * Merge PUSH and PROVER_INPUT flags * Apply comment	2023-12-13 16:21:24 +01:00
Ben	837434cf81	Fix a minor typo in evm/spec/cpulogic.tex	2023-12-12 07:03:29 +00:00
Pioua	4e4e61c2a8	typo fix	2023-12-12 05:16:12 +00:00
Pioua	00ed16fc8e	minor typo fix	2023-12-10 01:54:20 +00:00
Pioua	724437d053	typo fix	2023-12-10 01:53:57 +00:00
Pioua	942e43abc0	typo fix	2023-12-10 01:49:04 +00:00
Robin Salen	bfcfcdb498	Add Checkpoint heights (#1418)	2023-12-09 06:26:55 +01:00
Linda Guiga	5607faf36b	Check that limbs after the length are 0 (#1419) ... * Check that limbs after the length are 0 * Update comments * Update comments	2023-12-08 18:33:10 -05:00
Hamy Ratoanina	3195c205df	Merge MSTORE_32BYTES and MLOAD_32BYTES columns (#1414) ... * Merge MSTORE_32BYTES and MLOAD_32BYTES columns * Fix circuit functions * Apply comments	2023-12-08 17:57:45 -05:00