Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

EIP-4895: Beacon chain push withdrawals as operations #1369

Open
ChihChengLiang opened this issue Apr 21, 2023 · 2 comments · May be fixed by #1654
Open

EIP-4895: Beacon chain push withdrawals as operations #1369

ChihChengLiang opened this issue Apr 21, 2023 · 2 comments · May be fixed by #1654
Assignees
@KimiWu123
Labels
T-feature Type: new features
Milestone
Feature Completeness

Comments

@ChihChengLiang
Copy link
Collaborator

Describe the feature you would like

EIP-4895: Beacon chain push withdrawals as operations

Additional context

Pending analysis of what work should be done.
@ChihChengLiang ChihChengLiang added the T-feature Type: new features label Apr 21, 2023
@ChihChengLiang ChihChengLiang mentioned this issue Apr 21, 2023
Open
@johntaiko johntaiko mentioned this issue Aug 14, 2023
Open
7 tasks
@KimiWu123 KimiWu123 self-assigned this Aug 31, 2023
@KimiWu123 KimiWu123 added this to the Feature Completeness milestone Aug 31, 2023
@KimiWu123 KimiWu123 moved this to Milestone Tasks in zkEVM Community Edition Aug 31, 2023
@KimiWu123 KimiWu123 removed their assignment Aug 31, 2023
@KimiWu123 KimiWu123 moved this from Milestone Tasks to 📋 Sprint Focus in zkEVM Community Edition Sep 7, 2023
@KimiWu123 KimiWu123 moved this from 📋 Sprint Focus to Milestone Tasks in zkEVM Community Edition Sep 7, 2023
@KimiWu123 KimiWu123 moved this from Milestone Tasks to 🏗 In progress in zkEVM Community Edition Sep 19, 2023
@KimiWu123 KimiWu123 self-assigned this Sep 19, 2023
@KimiWu123 KimiWu123 mentioned this issue Sep 28, 2023
Merged
4 tasks
@KimiWu123
Copy link
Contributor

KimiWu123 commented Oct 4, 2023 •
edited
Loading

Since this is a large task, I'll split it into 3 part

  1. pi circuit integration, adding withdrawals and withdrawal root in pi circuit - Feat/##1369 withdraw from beacon chain part 1 - pi circuit #1634
  2. withdrawal circuit
    • the main logic of EIP-4895
    • balance update
  3. super circuit integration

github-merge-queue bot pushed a commit that referenced this issue Oct 11, 2023
@KimiWu123
Feat/##1369 withdraw from beacon chain part 1 - pi circuit (#1634)
9d93c0a 
### Description

1st part of #1369, mainly on pi circuit integration


### Issue Link

#1369 

### Type of change

- [ ] Bug fix (non-breaking change which fixes an issue)
- [x] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [ ] This change requires a documentation update

### Contents

- `Withdrawal` struct definition and `WdTable` implementation
- adding `withdrawals` and `withdrawal_root` in block struct
- `wd_table` assignment in pi circuit
@KimiWu123
Copy link
Contributor

blocked by #1652

Withdrawal circuit needs MPT stack trie to verify MPT root but we don't have it now. Issue #1652 was created to address it and Miha probably will work on it next week. Besides, current RLP gadget is more MPT specifc and #1652 will also support RLP constraints as it is for the state trie.

This was referenced Oct 11, 2023
Closed
Draft
@KimiWu123 KimiWu123 moved this from 🏗 In progress to 📋 Sprint Focus in zkEVM Community Edition Oct 12, 2023
@ed255 ed255 moved this from 📋 Sprint Focus to Milestone Tasks in zkEVM Community Edition Nov 2, 2023
@ed255 ed255 mentioned this issue Nov 2, 2023
Open
This was referenced Nov 23, 2023
Closed
Merged
github-merge-queue bot pushed a commit that referenced this issue Nov 27, 2023
@AronisAt79
Fix circuits integration tests panic: "unwrap on None value" when EIP…
e39d55c 
…-4896 withdrawals==None (#1688)

### Description

Integration Tests have been failing since introduction of
#1369,
due to Option::Unwrap on None value, when eth_block.withdrawals==None.

### Type of change

- [x] Bug fix (non-breaking change which fixes an issue)
- [ ] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [ ] This change requires a documentation update

### Contents

- zkevm-circuits/zkevm-circuits/src/witness/block.rs

### Rationale
replace eth_block.withdrawals.clone().unwrap() with
eth_block.withdrawals.clone().unwrap_or_default()

### How Has This Been Tested?

https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/6968928576/job/18963801769
<hr>

### Issue

#1687
@KimiWu123 KimiWu123 modified the milestone: Feature Completeness Jan 8, 2024
@ed255 ed255 linked a pull request Jan 25, 2024 that will close this issue
[WIP] feat/#1369 withdraw from beacon chain part 2 #1654
Draft
4 tasks
@KimiWu123 KimiWu123 moved this from Milestone Tasks to 🆕 Product Backlog Items in zkEVM Community Edition Jan 28, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@KimiWu123 KimiWu123

Labels
T-feature Type: new features
Projects
zkEVM Community Edition
Status: 🆕 Product Backlog Items
Milestone
Feature Completeness
Development

Successfully merging a pull request may close this issue.

[WIP] feat/#1369 withdraw from beacon chain part 2 privacy-scaling-explorations/zkevm-circuits
2 participants
@ChihChengLiang @KimiWu123