Skip to content

Custom nitro enclave verifier contract#203

Draft
roger-bai-coinbase wants to merge 146 commits intomainfrom
custom-NitroEnclaveVerifier-contract
Draft

Custom nitro enclave verifier contract#203
roger-bai-coinbase wants to merge 146 commits intomainfrom
custom-NitroEnclaveVerifier-contract

Conversation

@roger-bai-coinbase
Copy link
Contributor

Adds a custom version of Automata's NitroEnclaveVerifier contract

  • Adds more events to allow for easier monitoring
  • Gates proof verification behind a proofSubmitter role that is owner controlled
  • Removes Pico verifier
  • Removes verification with program ID

…andling into a single function, improving code clarity and maintainability. Update tests accordingly to reflect the new verification structure.
…ild game in AggregateVerifier. Implement corresponding test case to verify this behavior.
…d rollup configuration. Update verification methods to use a journal hash instead of root claims. Modify MockVerifier and tests accordingly.
…ier, updating documentation and logic to clarify its purpose as the L2 sequence number.
…rnal to public, enhancing accessibility for contract interactions.
…er for consistency with internal function naming conventions.
…nsolidating the return statement for the first dispute game scenario.
jjtny1 and others added 28 commits March 2, 2026 19:37
…-basecontracts' into feat/switch-nitro-certificate-verification-to-zk
…-basecontracts' into feat/switch-nitro-certificate-verification-to-zk
…-basecontracts' into feat/switch-nitro-certificate-verification-to-zk
…-basecontracts' into feat/switch-nitro-certificate-verification-to-zk
…eploy config, and parameterize hardcoded l2ChainID/block intervals in DeployImplementations
* use a proof threshold and allow ZK proofs after TEE nullification

* pr feedback

* update deployment scripts and tests

* allow tee nullfiication when a zk proof exists. extend timestamp in this case to allow for zk nullification
@cb-heimdall
Copy link
Collaborator

🟡 Heimdall Review Status

Requirement Status More Info
Reviews 🟡 0/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 0
Sum 1

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants