First draft of ZK Proofs design doc #356
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ajsutton
reviewed
Nov 13, 2025
|
|
||
| We propose to use one of the existing ZK proofs systems with only minor modifications to serve as a foundation for an OP Stack ZK proof system that supports multiple provers and verifiers. | ||
|
|
||
| OP Succinct seems to be the best candidate because it's more minimal. Kailua has some great features such as the ability to prove a smaller number of blocks for optimistic proposals, and a bond structure that's more capital efficient and solves the risk of attackers creating an overwhelming number of invalid proposals. However, OP Succinct's more minimal approach leaves room to solve these outside of the dispute game implementation itself, which may end up being a more desirable design in the long run. |
Contributor
There was a problem hiding this comment.
Probably also worth mentioning that Kailua requires proposals at fixed intervals and at this stage we'd like to keep the current flexibility to propose anytime.
Joxess
reviewed
Nov 13, 2025
| - Remove `AccessManager` to only support permissionless proposals. | ||
| - Add configuration to use an immutable verifier contract at a specific version, rather than the upgradeable verifier gateway contract. | ||
| 3. Use OPCM for deployment. | ||
|
|
Contributor
There was a problem hiding this comment.
I would like to highlight the fact that we make the op-succinct to support permissionless proposals, we might also want to revisit the economic aspects around bond amounts, as well as the challenge and prove durations
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
This PR adds a draft of the ZK proofs proposal.
Tests
Additional context
Metadata