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

feat: adapt the API to use initial state + certificates as inputs #16

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

hadjiszs
Copy link
Collaborator

Adapt the pessimistic proof inputs as per the specs:

Inputs

  • Current GlobalExitTree and GlobalBalanceTree
  • Set of Certificate

Closes agglayer/agglayer#104

@hadjiszs
Copy link
Collaborator Author

200 withdrawals
prove_core: summary: cycles=1728024, e2e=98.465708253, khz=17549.50, proofSize=3158039

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use Initial State + Certificates as inputs of the pessimistic proof
1 participant