Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Audit Fixes EIP2930/1559 in RLP Circuits #1175

Merged
lispc merged 42 commits into from
Apr 24, 2024
Merged

Audit Fixes EIP2930/1559 in RLP Circuits #1175

Show file tree
Hide file tree
Changes from 39 commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
9701c5c
Correct typo
darth-cy Mar 18, 2024
6efc45b
Correct RLC
darth-cy Mar 19, 2024
580497a
Change tag column status
darth-cy Mar 19, 2024
a05ec07
Add tx_nonce consistency
darth-cy Mar 19, 2024
b34912f
Remove vestige gadget
darth-cy Mar 19, 2024
c861ecc
Add v constraint for 1559/2930
darth-cy Mar 19, 2024
e320bd6
Constrain depth consistency for fsm state transition
darth-cy Mar 19, 2024
c9321bc
Correct q_first query for initial num_all_txs_acc condition
darth-cy Mar 20, 2024
c02ed55
Ensure continuity of sectional flag is_calldata and is_access_list
darth-cy Mar 20, 2024
bc14b25
Remove tx unchanged constraint for dynamic sectional transition
darth-cy Mar 20, 2024
663be50
Add tx_id constraints in dynamic section
darth-cy Mar 20, 2024
0c4e492
Constrain access list tx table fields according to AccessListAddressLen
darth-cy Mar 20, 2024
a6b58ea
Constrain is_padding_tx
darth-cy Mar 21, 2024
4f2b8f9
Add constraint for id calculation in rlp_decoding_table
darth-cy Mar 21, 2024
cb3f654
Remove redundant boolean requirements
darth-cy Mar 21, 2024
7d32e8d
Add init condition for access_list_idx and storage_key_idx
darth-cy Mar 21, 2024
eb2dfef
Turn on value_is_zero for access list len
darth-cy Mar 21, 2024
63b6bd9
Remove whitespace
darth-cy Mar 25, 2024
165db1c
Add byte_idx to PUSH/POP lookup correspondence
darth-cy Mar 25, 2024
cfeaee1
fmt
darth-cy Mar 26, 2024
8be7dcd
Merge branch 'develop' into audit/1559-rlp
darth-cy Mar 26, 2024
6718859
Update cargo
darth-cy Mar 26, 2024
c67b60a
Resolve build issues
darth-cy Mar 26, 2024
e8f2685
fmt and clippy
darth-cy Mar 26, 2024
c00599d
Recover tests
darth-cy Mar 26, 2024
73aef27
Merge branch 'develop' into audit/1559-rlp
DreamWuGit Apr 1, 2024
e002e14
Merge branch 'develop' into audit/1559-rlp
darth-cy Apr 1, 2024
e93534b
Correct gate name
darth-cy Apr 1, 2024
dc17b11
Remove debug flags
darth-cy Apr 1, 2024
b1db635
fmt
darth-cy Apr 3, 2024
58855d2
cargo
darth-cy Apr 3, 2024
fc4884a
Revert ethers-core branch
darth-cy Apr 3, 2024
dded67f
Merge branch 'develop' into audit/1559-rlp
darth-cy Apr 10, 2024
acc47d9
Merge branch 'develop' into audit/1559-rlp
darth-cy Apr 17, 2024
9c00429
cargo
darth-cy Apr 17, 2024
eca8ce4
Restrict booleans
darth-cy Apr 17, 2024
d3b2507
fmt
darth-cy Apr 17, 2024
d268cc6
Merge branch 'develop' into audit/1559-rlp
darth-cy Apr 19, 2024
ff2fbd4
Merge branch 'develop' into audit/1559-rlp
darth-cy Apr 22, 2024
e65f258
Audit Fixes EIP2930/1559 RLP Decoding Table Correspondence (#1181)
darth-cy Apr 24, 2024
bb8ab7f
Audit Fixes EIP2930/1559 TxCircuit Dynamic Section Transitions (#1176)
darth-cy Apr 24, 2024
c7359f5
Merge branch 'develop' into audit/1559-rlp
lispc Apr 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading