2085 Commits

Author	SHA1	Message	Date
BGluth	a02a2ecb97	Updated mir-protocol --> 0xPolygonZero ... - Recently the underlying org name on Github changed to `0xPolygonZero`. - This was causing some issues with dependencies downstream where a dependency pointing to the old org name was seen as a different dependency that was using the new org name. - Using a `[patch] section in `Cargo.toml` was running into issues where we couldn't get it to get all dependency versions using a single org name.	2023-10-12 11:11:17 -06:00
Hamy Ratoanina	1d60431992	Store top of the stack in memory channel 0 (#1215) ... * Store top of the stack in memory channel 0 * Fix interpreter * Apply comments * Remove debugging code * Merge commit * Remove debugging comments * Apply comments * Fix witness generation for exceptions * Fix witness generation for exceptions (again) * Fix modfp254 constraint	2023-10-11 16:28:49 -04:00
wborgeaud	762e6f07b8	Fix hash node case in mpt_delete_branch (#1278) ... * Fix * Add test * Fix test * Clippy	2023-10-11 18:57:17 +02:00
Linda Guiga	d7990ee137	Add journal entry for logs (#1286) ... * Add journal entry for logs * Move journal labels to another file. * Minor cleanup	2023-10-11 10:36:23 -04:00
wborgeaud	9fd0425f67	Fix journal order in sys_selfdestruct (#1287) ... * Fix * Minor	2023-10-11 16:24:00 +02:00
Hamy Ratoanina	49ca63ee0f	Fix sys_blockhash (#1285)	2023-10-11 10:23:09 -04:00
Linda Guiga	2aeecc3dd8	Fix failed receipt. (#1284)	2023-10-11 10:02:24 -04:00
Robin Salen	b4203c3d47	Make sure success is 0 in contract failure (#1283)	2023-10-10 06:23:20 -04:00
Robin Salen	41a29f069b	Remove some dead_code in EVM crate (#1281) ... * Remove unnecessary CpuArithmeticView. * Remove AllChallengerState * Remove RecursiveAllProof * Remove unused generate methods * Remove dead_code from cpu/columns * Remove todo --------- Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>	2023-10-09 09:07:01 -04:00
Robin Salen	8a5eed9d1c	Fix shift constraint (#1280)	2023-10-09 07:41:30 -04:00
Linda Guiga	e58d7795f8	Remove reg_preimage columns in KeccakStark (#1279) ... * Remove reg_preimage columns in KeccakStark * Apply comments * Minor cleanup	2023-10-06 15:49:57 -04:00
Linda Guiga	0de6f94962	Remove extra SHL/SHR CTL. (#1270) ... * Remove extra shift CTL. * Change order of inputs for the arithmetic shift operations. Add SHR test. Fix max number of bit shifts. Cleanup. * Fix SHR in the case shift >= 256 * Limit visibility of helper functions	2023-10-05 09:56:56 -04:00
Robin Salen	571dc14f4c	Fix encoding for empty recipient	2023-10-03 20:21:21 -04:00
wborgeaud	3ac0c4ae18	Fix genesis state trie root when calling prove_root (#1271) ... * Fix genesis state trie root in some tests * Just do it in tests calling prove_block	2023-10-03 17:47:10 +02:00
Robin Salen	cd36e96cb8	Derive clone for txn RLP structs (#1264) ... * Derive Clone for txn rlp structs * Put txn rlp related structs behind testing module * Move module to end of file	2023-10-02 09:59:45 -04:00
Robin Salen	0f19cd0dbc	Make gas fit in 2 limbs (#1261) ... * Make gas fit in 2 limbs * Fix recursive challenger * Fix indices * Add clarifying comments on ranges supported * Add mention to revert before production	2023-09-29 14:47:23 -04:00
Robin Salen	8afd06cfdd	Fix description of Range-Check columns in STARK modules	2023-09-29 11:24:36 -04:00
Linda Guiga	1ff6d4a283	Merge pull request #1235 from topos-protocol/new-logup ... Rebased logUp implementation	2023-09-27 15:02:21 +01:00
Alonso González	f49fbc8e9b	Transactions trie support (#1232) ... * Implement transactions. * Fix receipts and transactions * Add some fixes * Update tests * Remove changes added for debugging purposes only * Clippy * Remove additional debug changes * Remove unused * Apply comments --------- Co-authored-by: Linda Guiga <lindaguiga3@gmail.com> Co-authored-by: Robin Salen <salenrobin@gmail.com>	2023-09-27 10:00:16 -04:00
Robin Salen	acc659da07	Add type 1 and 2 txn for RLP encoding support (#1255)	2023-09-26 14:56:18 -04:00
Linda Guiga	5694af79f9	Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state	2023-09-26 12:24:48 -04:00
Linda Guiga	75c0e47a30	Apply comments.	2023-09-26 12:21:29 -04:00
Robin Salen	03a9558198	Handle additional panics (#1250) ... * Remove some panic risks * Remove more panics * Handle jump with empty stack * Handle last expect * More panics * Handle from_big_endian * Handle from_little_endian * Remove remaining risky as_usize() * Remove explicit panic * Clippy * Handle unwrap * Make error messages more explicit * Simplify u256 to usize conversion	2023-09-26 11:13:57 -04:00
wborgeaud	72241ca728	Connect block_gas_used (#1253)	2023-09-26 15:05:45 +02:00
Linda Guiga	043d12c20e	Fix observe_block_metadata	2023-09-25 17:30:31 -04:00
wborgeaud	8c78271f5c	Add random value to block metadata and fix sys_prevrandao (#1207) ... * Add random to block metadata and fix `sys_prevrandao` * Minor * Observe block_random * Write block_random * cargo fmt * block_random: H256 * Move sys_prevrandao to metadata.asm and delete syscall_stubs.asm * Set block_random in set_block_metadata_target * Minor * Minor	2023-09-25 18:20:22 +02:00
Linda Guiga	bbc6fe768f	Merge branch 'main' into 'new-logup'	2023-09-25 11:42:11 -04:00
Linda Guiga	3983969ce9	Use function for genesis block connection.	2023-09-25 10:35:38 -04:00
Linda Guiga	9d0101d652	Merge branch 'main' into 'constrain-genesis-state'	2023-09-25 10:19:13 -04:00
Robin Salen	0abc3b9210	Apply comments (#1248)	2023-09-22 10:14:47 -04:00
Robin Salen	d6be2b987b	Remove generic_const_exprs feature from EVM crate (#1246) ... * Remove const_generic_exprs feature from EVM crate * Get a generic impl of StarkFrame	2023-09-22 09:19:13 -04:00
Linda Guiga	f438d45f06	Merge branch 'main' into 'new-logup'.	2023-09-20 12:45:14 -04:00
Robin Salen	6618cfad4a	Remove SEQUENCE_LEN in BytePackingStark (#1241)	2023-09-20 08:31:50 -04:00
Robin Salen	1b7207ee68	Merge pull request #1244 from topos-protocol/block_metadata_doc ... Add some doc for BlockMetadata / ExtraBlockData	2023-09-20 06:24:38 -04:00
Robin Salen	d8874c8389	Update ranges indices	2023-09-19 18:39:25 -04:00
Robin Salen	edd3f383a1	Add some doc for BlockMetadata / ExtraBlockData	2023-09-19 15:42:23 -04:00
Hamy Ratoanina	4eb6a3b57c	Fix eval_table	2023-09-19 14:03:57 -04:00
Linda Guiga	ca44187201	Merge branch 'main' into new-logup	2023-09-19 10:58:01 -04:00
Robin Salen	053553d4d7	Reuse new packing instructions for MLOAD and MSTORE	2023-09-18 16:31:46 -04:00
Robin Salen	b5c28bd65e	Rename utility methods for U256 conversion ... Co-authored-by: Nicholas Ward <npward@berkeley.edu>	2023-09-18 14:29:11 -04:00
Robin Salen	f3ea95cacc	Merge branch 'main' into error_vs_panic	2023-09-18 09:59:52 -04:00
Robin Salen	c4be838af4	Typo	2023-09-18 09:59:48 -04:00
Hamy Ratoanina	15064b3aa7	Merge pull request #1229 from topos-protocol/next_row_ctls ... Make next row available to CTLs	2023-09-18 15:19:10 +02:00
Hamy Ratoanina	1a4caaa08f	Move next row logic inside Column ... Co-authored-by: Nicholas Ward <npward@berkeley.edu>	2023-09-15 18:59:33 -04:00
Robin Salen	ffa717877b	Merge remote-tracking branch 'mir/main' into new-logup	2023-09-15 17:53:50 -04:00
Robin Salen	a9b7b5a62f	Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]" ... This reverts commit 66f935a7488e0bc862725102aac7a55bf6d83d64.	2023-09-15 17:53:44 -04:00
Robin Salen	8903aec129	Change padding rule for CPU (#1234) ... * Change padding rule for CPU * Disable memory channels for padding rows * Apply some of Jacqueline's comments * Update halt routine * Add clarifying comment * Redundant constraints and padding bug * Revert "Remove is_bootstrap_kernel column" This reverts commit 49d92cb8f1b0ae9de76872f76af4429699ff692f. * Make halt_state implicit * Move halting logic constraints to dedicated module * Include new module * Update some comments	2023-09-15 17:46:58 -04:00
Robin Salen	ec9e619678	Fix range	2023-09-15 10:57:32 -04:00
Linda Guiga	66f935a748	Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]	2023-09-15 15:34:06 +01:00
Robin Salen	91000591c3	Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup	2023-09-15 07:51:19 -04:00