Skip to content

Custom nitro enclave verifier contract #203

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

Closed
roger-bai-coinbase wants to merge 150 commits into from
Closed

Custom nitro enclave verifier contract #203

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
150 commits
Select commit Hold shift + click to select a range
5041935
initial commit
roger-bai-coinbase Dec 4, 2025
bd550fd
Refactor tests and simplify verifier
roger-bai-coinbase Dec 4, 2025
e1a7654
Refactor proof verification methods to consolidate TEE and ZK proof h…
roger-bai-coinbase Dec 8, 2025
2ea6dff
refactor tests and errors
roger-bai-coinbase Dec 9, 2025
70864f8
Prevent proofs from extending resolution time
roger-bai-coinbase Dec 9, 2025
2ef75e4
ZK proof allows game creator to immediately reclaim bond
roger-bai-coinbase Dec 9, 2025
7e70a75
Additional tests
roger-bai-coinbase Dec 9, 2025
ab2e400
Refactor test cases to standardize warp duration and improve naming c…
roger-bai-coinbase Dec 10, 2025
aa2518d
Add validation to ensure parent game has a proof before creating a ch…
roger-bai-coinbase Dec 10, 2025
1613646
Use calldata and remove unused variable
roger-bai-coinbase Dec 11, 2025
5ba6ed7
Make internal verify functions consistent
roger-bai-coinbase Dec 11, 2025
ab2d01b
fix: can claim bond after nullifying a challenge
roger-bai-coinbase Dec 11, 2025
8e38be6
prevent challenges if parent or game itself is invalid
roger-bai-coinbase Jan 6, 2026
3a2b31c
Enhance AggregateVerifier to include hashes for TEE and ZK images, an…
roger-bai-coinbase Jan 12, 2026
0a053f1
Add ReentrancyGuard to AggregateVerifier and protect claimCredit func…
roger-bai-coinbase Jan 16, 2026
308f591
Add constant for initialize calldata size in AggregateVerifier and up…
roger-bai-coinbase Jan 16, 2026
9585f67
Add test to validate failure on invalid calldata size in AggregateVer…
roger-bai-coinbase Jan 16, 2026
45c47f6
Refactor l2BlockNumber function to l2SequenceNumber in AggregateVerif…
roger-bai-coinbase Jan 16, 2026
5cfe30b
Refactor visibility of state variables in AggregateVerifier from inte…
roger-bai-coinbase Jan 16, 2026
b2dd1ff
Moved wasRespectedGameTypeWhenCreated for storage optimization
roger-bai-coinbase Jan 16, 2026
f0d3f54
Remove underscores from constructor variables
roger-bai-coinbase Jan 16, 2026
5fcecd5
IDIsputeGame compliance
roger-bai-coinbase Jan 16, 2026
ba44e13
Remove implicit returns
roger-bai-coinbase Jan 16, 2026
54c4192
Add CreditClaimed event and update claimCredit logic in AggregateVeri…
roger-bai-coinbase Jan 16, 2026
49e2eea
Rename getParentGameStatus to _getParentGameStatus in AggregateVerifi…
roger-bai-coinbase Jan 16, 2026
2b3238d
Refactor return logic in getParentGameStatus to improve clarity by co…
roger-bai-coinbase Jan 16, 2026
8d47e48
solidity style guide
roger-bai-coinbase Jan 16, 2026
abe2710
forge fmt
roger-bai-coinbase Jan 16, 2026
c200cb7
Fix tests
roger-bai-coinbase Jan 16, 2026
3fbec56
remove unused imports
roger-bai-coinbase Jan 16, 2026
40b8bff
Named imports, reorganized imports, defined errors directly
roger-bai-coinbase Jan 16, 2026
59f58be
linter
roger-bai-coinbase Jan 16, 2026
79fbe48
Add underscores to deal with compiler warnings
roger-bai-coinbase Jan 20, 2026
7991678
Refactor and have consistent comments
roger-bai-coinbase Jan 22, 2026
b188c31
Update verifier interface to include image ID
roger-bai-coinbase Jan 30, 2026
e0dc966
Added feature where a proof is required for initialization
roger-bai-coinbase Feb 2, 2026
52d9845
Added feature where a proof is required for initialization
roger-bai-coinbase Feb 2, 2026
f099f9e
Add back in IDisputeGame inheritance
roger-bai-coinbase Feb 2, 2026
e4e32f7
forge fmt
roger-bai-coinbase Feb 2, 2026
6e1ed51
refactor proof format
roger-bai-coinbase Feb 3, 2026
3d1f480
game type validation on challenging game
roger-bai-coinbase Feb 3, 2026
fd2b88e
Add delayedWETH
roger-bai-coinbase Feb 5, 2026
faebf6e
forge fmt
roger-bai-coinbase Feb 5, 2026
9f4a3d9
Check challenging game validity when claiming credit
roger-bai-coinbase Feb 5, 2026
e9fa5a8
Add TEEVerifier and SystemConfigGlobal contracts and update Aggregate…
leopoldjoy Feb 5, 2026
d80610f
Merge branch 'main' of github.com:base/multiproof-dispute-game
leopoldjoy Feb 5, 2026
307b6fc
fix(TEEVerifier): use correct EIP-2935 address and raw calldata for b…
leopoldjoy Feb 5, 2026
98693e5
Refactor TEE contracts and deployment script based on PR review feedback
leopoldjoy Feb 7, 2026
b9e101d
Refactor TEE contracts and deployment script based on PR review feedback
leopoldjoy Feb 7, 2026
9ff1818
Remove underscore-prefixed parameters from mock contracts per style g…
leopoldjoy Feb 7, 2026
f57741c
Add comprehensive tests for TEEVerifier, SystemConfigGlobal, and DevS…
leopoldjoy Feb 7, 2026
01cd442
Update teeProposer to match proposer address
leopoldjoy Feb 8, 2026
db1107e
correct teeImageHash in Sepolia deploy config
leopoldjoy Feb 8, 2026
e0a9a4b
Merge pull request #1 from base/teeverifier-and-2e2-integration
leopoldjoy Feb 9, 2026
9e2690c
Merge pull request #1 from base/teeverifier-and-2e2-integration
leopoldjoy Feb 9, 2026
26eac98
Moving TEE proposer to TEEVerifier
roger-bai-coinbase Feb 9, 2026
b3e4392
fix TEE comment
roger-bai-coinbase Feb 10, 2026
e223802
Merge pull request #2 from base/move-tee-proposer-to-tee-verifier
roger-bai-coinbase Feb 11, 2026
c192c9b
feat: intermediate roots for nullification
roger-bai-coinbase Feb 17, 2026
f0b333f
move L1 origin hash check from TEEVerifier to AggregateVerifier
roger-bai-coinbase Feb 17, 2026
c7b1d81
fix tests
roger-bai-coinbase Feb 17, 2026
b38214b
forge fmt
roger-bai-coinbase Feb 17, 2026
f82f983
feat: split deploy configs and scripts into no-nitro and with-nitro v…
leopoldjoy Feb 19, 2026
8201c04
Merge branch 'main' into feat/split-deploy-configs-and-scripts
leopoldjoy Feb 19, 2026
1801c49
refactor _verifyProof
roger-bai-coinbase Feb 20, 2026
1c4e3fc
Merge pull request #3 from base/intermediate-roots
roger-bai-coinbase Feb 20, 2026
85918ee
added block interval tests and cleaned up some errors
roger-bai-coinbase Feb 20, 2026
d9732f3
forge fmt
roger-bai-coinbase Feb 20, 2026
6119424
verify proof earlier during initialize
roger-bai-coinbase Feb 20, 2026
db1268c
revert last commit
roger-bai-coinbase Feb 20, 2026
0633e55
refactor initialize
roger-bai-coinbase Feb 20, 2026
d3a3bc3
Merge branch 'main' into feat/split-deploy-configs-and-scripts
leopoldjoy Feb 20, 2026
50c088c
refactor
roger-bai-coinbase Feb 20, 2026
f59abd6
Merge branch 'simplify-storage-and-refactor' into feat/split-deploy-c…
leopoldjoy Feb 22, 2026
cf84877
Merge pull request #5 from base/simplify-storage-and-refactor
roger-bai-coinbase Feb 22, 2026
ccac6c3
fix: register TEE proposer during deployment and add intermediateBloc…
leopoldjoy Feb 22, 2026
d0c40f0
Merge pull request #4 from base/feat/split-deploy-configs-and-scripts
leopoldjoy Feb 22, 2026
6164a13
use l1head for proofs after initialization
roger-bai-coinbase Feb 24, 2026
fd779bc
forge fmt
roger-bai-coinbase Feb 25, 2026
780715d
Fix comments from PR feedback
roger-bai-coinbase Feb 26, 2026
2daabba
Merge pull request #6 from base/use-l1head-after-init
roger-bai-coinbase Feb 26, 2026
c2e9154
Merge branch 'main' into joby.thundil/CHAIN-3293-migrate-multiproof-c…
jjtny1 Feb 27, 2026
935b7eb
step 1 fix dependencies and op commit
jjtny1 Feb 27, 2026
b0726ae
Merge branch 'main' into joby.thundil/CHAIN-3293-migrate-multiproof-c…
jjtny1 Feb 27, 2026
920d6e4
make multiproof compatible with base contracts
jjtny1 Feb 28, 2026
351a9ba
fix imports in scripts
jjtny1 Feb 28, 2026
48c06f9
fix mocks
jjtny1 Feb 28, 2026
e986e12
format and seperate out multiproof tests
jjtny1 Feb 28, 2026
c0ee7ac
add tests to just and gen semver
jjtny1 Feb 28, 2026
7d94460
fix tests
jjtny1 Feb 28, 2026
d416a43
rm unecessary op commit
jjtny1 Feb 28, 2026
cb97431
apply optimism patch for multiproof
jjtny1 Feb 28, 2026
cae85a8
move multiproof tests
jjtny1 Mar 1, 2026
cb82112
move files and delete multiproof test usage and profile
jjtny1 Mar 1, 2026
ccf3601
remove remappings of nitro and op enclave
jjtny1 Mar 1, 2026
1b4343e
undo multiproof changes and solady import change
jjtny1 Mar 1, 2026
babc5ad
support AggregateVerifier in initalizer test
jjtny1 Mar 2, 2026
7b90711
fix import path
jjtny1 Mar 2, 2026
76335ba
semver
jjtny1 Mar 2, 2026
1e6412c
semver
jjtny1 Mar 2, 2026
5d90e6e
semver
jjtny1 Mar 2, 2026
4fd964b
deterministic semverlock
jjtny1 Mar 2, 2026
928cfe0
add comment
jjtny1 Mar 2, 2026
ee8c3b9
refactor multiproof patch changes. fix typo
jjtny1 Mar 2, 2026
3c6111b
semver
jjtny1 Mar 2, 2026
e7abb04
fmt
jjtny1 Mar 2, 2026
14ed45f
semver
jjtny1 Mar 2, 2026
9323dfd
fix tests
jjtny1 Mar 2, 2026
17fcf51
Replace onchain Nitro cert verification with Automata ZK verifier, ad…
leopoldjoy Mar 2, 2026
887cb4d
Integrate multiproof config into standard DeployConfig, fix TEEVerifi…
leopoldjoy Mar 2, 2026
836a75f
Fix fmt
leopoldjoy Mar 2, 2026
c8d8e40
Replace aws-nitro-enclave-attestation submodule with no-git dependenc…
leopoldjoy Mar 2, 2026
e2ec02c
Consolidate deploy configs: migrate dev scripts to standard DeployCon…
leopoldjoy Mar 2, 2026
70dd367
Regenerate snapshots for updated and new multiproof contracts
leopoldjoy Mar 2, 2026
7a5a3ff
Fix Initializable test: guard ETHLockbox entries for non-interop depl…
leopoldjoy Mar 2, 2026
f68ba45
Add test-multiproof recipe to Justfile for CI
leopoldjoy Mar 2, 2026
3a65398
fix tests where bytecodes size was different
jjtny1 Mar 3, 2026
3bf1d92
Address PR feedback: extract GameType local var, stricter pubKey chec…
leopoldjoy Mar 3, 2026
b1dc695
fmt
jjtny1 Mar 3, 2026
11a0d84
semver
jjtny1 Mar 3, 2026
800ae88
Merge branch 'joby.thundil/CHAIN-3293-migrate-multiproof-contracts-to…
leopoldjoy Mar 3, 2026
6267e4b
Resolve merge conflicts and regenerate semver-lock snapshots
leopoldjoy Mar 3, 2026
93a8766
Regenerate semver-lock with CI profile for correct bytecode hashes
leopoldjoy Mar 3, 2026
3953c94
semver
jjtny1 Mar 3, 2026
13610a9
semver
jjtny1 Mar 3, 2026
c956def
make aggregateverifies excluded like faultdispute game. fix systemcon…
jjtny1 Mar 3, 2026
a0f0b14
fmt
jjtny1 Mar 3, 2026
b30caeb
Regenerate semver-lock with all compiler profiles including dispute
leopoldjoy Mar 3, 2026
6ecdd16
Merge branch 'joby.thundil/CHAIN-3293-migrate-multiproof-contracts-to…
leopoldjoy Mar 3, 2026
f8572ca
Merge branch 'joby.thundil/CHAIN-3293-migrate-multiproof-contracts-to…
leopoldjoy Mar 3, 2026
6b31f9d
fix tests
jjtny1 Mar 3, 2026
5cdba94
semver
jjtny1 Mar 3, 2026
8e00905
rm just test-multiproof
jjtny1 Mar 3, 2026
fa8011c
Merge branch 'joby.thundil/CHAIN-3293-migrate-multiproof-contracts-to…
leopoldjoy Mar 3, 2026
7fccc73
Regenerate semver-lock.json to remove stale dispute profile entries
leopoldjoy Mar 3, 2026
89d24bc
Fix misleading TEEVerifier comment, require nitroEnclaveVerifier in d…
leopoldjoy Mar 4, 2026
054df85
Reset semvar versioning in SystemConfigGlobal
leopoldjoy Mar 4, 2026
bb1dd03
Regenerate semver-lock.json for SystemConfigGlobal and TEEVerifier ch…
leopoldjoy Mar 4, 2026
60e098d
correct SystemConfigGlobal.t.sol testInitialization() test cases to c…
leopoldjoy Mar 4, 2026
f56d969
use a proof threshold and allow ZK proofs after TEE nullification (#199)
roger-bai-coinbase Mar 4, 2026
0290292
Add custom NitroEnclaveVerifier
roger-bai-coinbase Mar 4, 2026
594d1d3
forge fmt
roger-bai-coinbase Mar 4, 2026
a60fea3
fix forge build
roger-bai-coinbase Mar 4, 2026
8392448
Merge remote-tracking branch 'origin/main' into custom-NitroEnclaveVe…
roger-bai-coinbase Mar 10, 2026
db15b2f
semver lock
roger-bai-coinbase Mar 10, 2026
776059d
owner can change proof submitter
roger-bai-coinbase Mar 10, 2026
db1baba
Merge remote-tracking branch 'origin/main' into custom-NitroEnclaveVe…
roger-bai-coinbase Mar 11, 2026
7a24bee
add tests for NitroEnclaveVerifier
roger-bai-coinbase Mar 11, 2026
d549223
semver lock
roger-bai-coinbase Mar 11, 2026
98c6ed5
revert script change
roger-bai-coinbase Mar 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions snapshots/semver-lock.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -240,27 +240,27 @@
"sourceCodeHash": "0x955bd0c9b47e43219865e4e92abf28d916c96de20cbdf2f94c8ab14d02083759"
},
"src/multiproof/AggregateVerifier.sol:AggregateVerifier": {
"initCodeHash": "0xc3866b1d4515c9d7b0ac6679b182d836f79371402d9e649e301b24cf8ae8fade",
"initCodeHash": "0xe28eaeecda21594f6db23bb70127daa2b7b71debe38ce65b598f28d78d2561eb",
"sourceCodeHash": "0x3a079ea52a26c8c38fb0cb3e9a9ff6ec9648cf83786b65c0fc1161e949b8f7e0"
},
"src/multiproof/AggregateVerifier.sol:AggregateVerifier:dispute": {
"initCodeHash": "0xe28eaeecda21594f6db23bb70127daa2b7b71debe38ce65b598f28d78d2561eb",
"initCodeHash": "0xc59c62a455533735aa9337d2db88b255713bd4dde20d3345265ec2fafe62af70",
"sourceCodeHash": "0x3a079ea52a26c8c38fb0cb3e9a9ff6ec9648cf83786b65c0fc1161e949b8f7e0"
},
"src/multiproof/tee/SystemConfigGlobal.sol:SystemConfigGlobal": {
"initCodeHash": "0xee219c003a6af440b447e214e43d520e802001ae3d557262a7921ca3d57ebddf",
"sourceCodeHash": "0xe350108585e0855f10bac20d0e8894b3de9afe3be413908b4c59a1036e7a9842"
},
"src/multiproof/tee/SystemConfigGlobal.sol:SystemConfigGlobal:dispute": {
"initCodeHash": "0x8ae045f0121d2c63ab6f0a830be842aaf0445096bfabe29d85cfd9bd38b40565",
"initCodeHash": "0xfae3a71157f3c64a7bda037ec116bf6e7265099397d9bcad22c01cc1f029ed7d",
"sourceCodeHash": "0xe350108585e0855f10bac20d0e8894b3de9afe3be413908b4c59a1036e7a9842"
},
"src/multiproof/tee/TEEVerifier.sol:TEEVerifier": {
"initCodeHash": "0x090330a5c64206b523fd5d9e199269268131035c62ff9eb518247a9024c4b703",
"sourceCodeHash": "0x87b0ad3f68294d64b584e54cc719cc3be0624cbab2940a0a341c502dcc69b4fc"
},
"src/multiproof/tee/TEEVerifier.sol:TEEVerifier:dispute": {
"initCodeHash": "0x090330a5c64206b523fd5d9e199269268131035c62ff9eb518247a9024c4b703",
"initCodeHash": "0x78317d9088a26523d938ce0d88ed0134abc60292c0cdb3f8a6a9530638fd9e9a",
"sourceCodeHash": "0x87b0ad3f68294d64b584e54cc719cc3be0624cbab2940a0a341c502dcc69b4fc"
},
"src/revenue-share/FeeDisburser.sol:FeeDisburser": {
Expand Down
Loading
Loading