This repository has been archived by the owner on May 3, 2024. It is now read-only.

Block aggregation circuit #85

Closed

Brechtpd opened this issue May 3, 2023 · 1 comment

Assignees

Labels

area.zk-evm meta.alpha-4 meta.alpha-n type.feature

Brechtpd commented May 3, 2023 •

edited

We can verify blocks more efficiently on-chain if we support aggregating multiple block proofs.

I think the main difficulty here is splitting up the public input containing multiple proofs so that each proof goes to a different subcircuit.

Brechtpd added area.zk-evm meta.alpha-n type.feature labels

Brechtpd self-assigned this

Brechtpd mentioned this issue

feat: Separate Tokenomics from Core Protocol to a Controller Contract taikoxyz/taiko-mono#13791

Closed

Brechtpd added the meta.alpha-4 label

d1onys1us commented Aug 22, 2023

marked as done, just closing the issue.

d1onys1us closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.