Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Batch proof outputs L1 block hashes inserted into BitcoinLightClient contract #1771

Open
eyusufatik opened this issue Jan 30, 2025 · 0 comments
Open

Batch proof outputs L1 block hashes inserted into BitcoinLightClient contract #1771

eyusufatik opened this issue Jan 30, 2025 · 0 comments
Milestone
Mainnet Must

Comments

@eyusufatik
Copy link
Member

In the batch proof circuit we collect L1 hashes added to the BitcoinLightClient contract and make it an output of the circuit, call it l1_blocks_known_by_citrea.

The light client circuit reads the hashes and verifies with one of the options from #1770 . For both option we still need to build an MMR tree for L1 block hashes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Mainnet Must
Development

No branches or pull requests
1 participant
@eyusufatik