Commit Graph
4587 Commits
Author SHA1 Message Date
Robin Salen 0300a322de Merge pull request #1304 from topos-protocol/memcpy_bytes
Add macro for copying sequences of bytes
2023-10-23 07:32:07 -04:00
Robin Salen 4140eb54f4 Fix 2023-10-23 07:20:52 -04:00
Robin Salen 503a31b6f0 Reviews 2023-10-23 07:16:39 -04:00
Robin Salen e2b662062a Merge pull request #1302 from topos-protocol/remove_kernel_memory_zeroing 2023-10-23 06:33:05 -04:00
Robin Salen 9607a41b84 Merge pull request #1303 from topos-protocol/amortize_receipt_reset 2023-10-23 06:32:27 -04:00
Robin Salen 595dfa6bdb Merge pull request #1301 from topos-protocol/submod_kernel 2023-10-23 06:31:29 -04:00
Robin Salen ba61d15cf9 Add macro for copying sequences of bytes 2023-10-21 16:36:41 -04:00
Robin Salen 6d2586ef58 Amortize bloom reset 2023-10-21 14:39:34 -04:00
Robin Salen 40de505954 Remove outdated code 2023-10-21 13:36:22 -04:00
Robin Salen 07ffe4f591 Combine stack macros for fewer operations 2023-10-21 13:04:27 -04:00
Robin Salen 6ca9970a3b Alter stack to remove SWAPs for SUBMOD 2023-10-21 12:17:04 -04:00
Robin Salen 29005dc586 Use SUBMOD in Kernel 2023-10-21 11:44:23 -04:00
Linda Guiga 05006deb44 Pad according to RATE rather than WIDTH (#1299) 2023-10-21 07:51:26 -04:00
Robin Salen 49976ea2a9 Check gas in sys_stop (#1297) 2023-10-19 07:55:39 -04:00
Linda Guiga 817e3e78e0 Combine DUP and SWAP (#1254)
* Combine dup and swap flags.

* Add comments
2023-10-18 17:32:43 -04:00
Robin Salen 29fdd3e372 minor: use explicit builder.assert_zero for readability (#1293) 2023-10-16 08:53:59 -04:00
Robin Salen c9391be024 Update check_ctls with extra looking values (#1290) 2023-10-16 08:53:42 -04:00
BGluth d89966b076 Merge pull request #1288 from 0xPolygonZero/git_dep_org_update
Updated `mir-protocol` --> `0xPolygonZero`
2023-10-12 13:46:00 -06:00
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 SalenandLinda Guiga 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 51eb7c0b52 Merge pull request #1276 from topos-protocol/fix_empty_to_encoding
Fix encoding for empty recipient
2023-10-04 07:43:18 -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 4e2cba56bc Merge pull request #1262 from topos-protocol/fix_rc_doc
minor: Fix description of RC related columns in STARK modules
2023-09-29 11:39:53 -04:00
Robin Salen 8afd06cfdd Fix description of Range-Check columns in STARK modules 2023-09-29 11:24:36 -04:00
nicholas-mainardi 300059572b Optimize lookup builder (#1258)
* Add tests with big LUTs

* Optimize lookup builder

* Fix comment describing optimization

* Cargo fmt

* Clone LookupTableGate instead of instantiating

* Remove needless enumerate + improving comments
2023-09-29 15:57:56 +02:00
Linda Guiga 1ff6d4a283 Merge pull request #1235 from topos-protocol/new-logup
Rebased logUp implementation
2023-09-27 15:02:21 +01:00
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 916ce0ddb1 Merge pull request #1228 from topos-protocol/constrain-genesis-state
Constrain genesis block's state trie.
2023-09-26 18:08:38 +01: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 a24cd4f309 Merge pull request #1251 from topos-protocol/fix-observe-challenges
Fix observe_block_metadata
2023-09-25 18:14:35 -04: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