logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 15:23:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,646 Commits 4 Branches 0 Tags 17 MiB
Commit Graph

2151 Commits

Author SHA1 Message Date
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
shuoer86
a0ea26f4b2
Fix typos in comments 2023-11-04 23:07:36 +08:00
Hamy Ratoanina
d2b549affc
Constrain uninitialized memory to 0 (#1318) 2023-11-03 19:52:12 -04:00
wborgeaud
f71f227d3c
Add test for selfdestruct (#1321) 
* Add test for selfdestruct

* Comment
 2023-11-02 07:56:21 +01:00
Linda Guiga
85b38bec19
Fix merging of jumpdest and keccak_general. 2023-11-01 11:08:57 -04:00
Linda Guiga
413620751e
Combine JUMPDEST and KECCAK_GENERAL flags. (#1259) 
* Combine JUMPDEST and KECCAK_GENERAL flags.

* Apply comments
 2023-11-01 10:43:09 -04:00
Hamy Ratoanina
20501d9bb5
Add context constraints (#1260) 2023-11-01 09:08:32 -04:00
Robin Salen
3ca166204a
Merge pull request #1317 from topos-protocol/more_memcpy_bytes 2023-10-31 10:27:58 -04:00
Linda Guiga
6332900d86
Combine PUSH0 and PC flags. (#1256) 2023-10-30 15:43:06 -04:00
Robin Salen
0d97b93af5
Add some documentation in EVM crate (#1295) 
Co-authored-by: Linda Guiga <linda.guiga@toposware.com>
 2023-10-30 14:28:24 -04:00
Robin Salen
afd357f4bf
More of memcpy_bytes 2023-10-30 14:15:15 -04:00
Robin Salen
0f299d4c2e
Merge pull request #1316 from topos-protocol/memcpy_tiny 
Move empty check inside final iteration of memcpy_bytes
 2023-10-30 14:12:18 -04:00
Linda Guiga
af4935cde8
Merge NOT and POP flags. (#1257) 
* Merge NOT and POP flags

* Add comments

* Disable remaining memory channels for POP

* Apply comments

* Fix stack
 2023-10-30 14:05:54 -04:00
Hamy Ratoanina
4b40bc0313
Remerge context flags (#1292) 
* Remerge context flags

* Apply comments and revert some unwanted changes
 2023-10-30 12:56:11 -04:00
Robin Salen
c96a8700af
Move empty check inside final iteration 2023-10-30 08:33:58 -04:00
Robin Salen
0258ad4a3d
Merge pull request #1314 from topos-protocol/refactor_wcopy 
Refactor `%wcopy` and unify {ext}codecopy related code
 2023-10-27 11:47:42 -04:00
Robin Salen
6f52b76d03
Review 2023-10-27 11:16:47 -04:00
Robin Salen
7447959fad
Fix kexit_info in test 2023-10-27 11:15:23 -04:00
Linda Guiga
666a155d4a
Remove new_stack_top_channel from StackBehavior (#1296) 2023-10-26 17:52:54 -04:00
Robin Salen
15a9e9928a
Fix test on interpreter side 2023-10-26 17:08:40 -04:00
Robin Salen
75fdd342f5
Fix calldatacopy 2023-10-26 15:59:40 -04:00
Robin Salen
ade5b8c39b
Fix 2023-10-26 15:46:55 -04:00
Robin Salen
a9e47afc07
Refactor codecopy 2023-10-26 15:24:53 -04:00
Robin Salen
a1b178f6c7
Refactor memcpy 2023-10-26 11:47:21 -04:00
Robin Salen
3feb04d252
Refactor wcopy syscalls 2023-10-26 11:47:21 -04:00
Hamy Ratoanina
3aeec83a05
Add missing constraints for DUP/SWAP (#1310) 2023-10-26 09:59:02 -04:00
Robin Salen
c1c1ab6d0f
Fix wcopy and extcodecopy for ranges over code limit 2023-10-24 18:10:06 -04:00
Robin Salen
b31f70612e
Apply rustfmt with latest nightly 2023-10-24 07:26:45 -04:00
Robin Salen
60811d083f
Also for memset 2023-10-23 19:40:32 -04:00
Robin Salen
83054b0ffe
Handle empty case for memcpy_bytes 2023-10-23 19:12:54 -04:00
Robin Salen
385ab3c64f
Remove redundant 2023-10-23 08:15:10 -04:00