zkevm-circuits icon indicating copy to clipboard operation
zkevm-circuits copied to clipboard

Published 20 hours ago • verified publisher icon privacy-scaling-explorations

EIP-4895: Beacon chain push withdrawals as operations

Open ChihChengLiang opened this issue 2 years ago • 2 comments

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 avatar Apr 21 '23 10:04 ChihChengLiang

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 - https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1634
  2. withdrawal circuit
    • the main logic of EIP-4895
    • balance update
  3. super circuit integration

KimiWu123 avatar Oct 04 '23 02:10 KimiWu123

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.

KimiWu123 avatar Oct 11 '23 07:10 KimiWu123