Feat: TEE prover service implementation by jonas089 · Pull Request #345 · celestiaorg/celestia-zkevm

jonas089 · 2026-01-09T15:49:59Z

This PR adds a prover service implementation for the TEE service.
A new feature flag tee_mode was introduced alongside batch_mode that will start the TEE prover service + message prover service, similar to how we did it for the batch prover.

Detailed documentation can be found in TEE.md.

Cargo.toml

damiannolan

Nice work, in terms of the prover service integration looks clean enough to me, but I need to get a better understanding of the flow overall.

crates/ev-prover/src/prover/programs/batch.rs

damiannolan · 2026-02-09T12:02:50Z

crates/ev-prover/src/config/mod.rs

+        Ok(Self {
+            grpc_address: "127.0.0.1:50051".into(),
+            rpc: RpcConfig::from_env()?,
+            hyperlane: HyperlaneConfig::default(),


If the intension is to move everything to a load from env or default pattern then shouldn't we use from_env() here also?

Same comment here, should this be using from_env()?

There was a from_env impl added for CelestiaHyperlaneConfig but I don't see where its being used.

crates/e2e/src/config.rs

crates/ev-prover/src/prover/programs/tee.rs

crates/ev-prover/src/server/mod.rs

damiannolan · 2026-02-09T12:33:16Z

hyperlane/relayer-config.json

            "mailbox": "0xb1c938F5BA4B3593377F399e12175e8db0C787Ff",
            "merkleTreeHook": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",
-            "protocolFee": "0xFCb1d485ef46344029D9E8A7925925e146B3430E",
+            "protocolFee": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",


is this change correct? I know it shouldn't technically affect the relayer but both addresses for merkle tree hook and protocol fee hook are the same here.

Relayer doesn't care about protocl fee hook (afaik)

Same here, this should not change

And here too!

damiannolan · 2026-02-09T12:33:47Z

hyperlane/configs/core-config.yaml

@@ -1,5 +1,5 @@
 defaultHook:
-  address: "0xFCb1d485ef46344029D9E8A7925925e146B3430E"


Same here, I'm not sure that this should change ?

This comment still is applicable. This address is being changed for some reason to the same address of the requiredHook below, which is a merkle tree hok.

Can we put this back before merge

Cargo.toml

damiannolan

Prover impl looks good! Nice work.

There's still some comments that need to be addressed before we merge tho.

Configuration (see comments on from_env)
Reading ELFs from expected relative directory
Hyperlane contract address changes
Remove any dangling references to "middleware"

damiannolan · 2026-02-17T16:11:38Z

crates/ev-prover/src/config/mod.rs

+        Ok(Self {
+            grpc_address: "127.0.0.1:50051".into(),
+            rpc: RpcConfig::from_env()?,
+            hyperlane: HyperlaneConfig::default(),


Same comment here, should this be using from_env()?

There was a from_env impl added for CelestiaHyperlaneConfig but I don't see where its being used.

crates/ev-prover/src/prover/programs/batch.rs

crates/ev-prover/src/prover/programs/message.rs

damiannolan · 2026-02-17T16:14:17Z

crates/ev-prover/src/prover/programs/tee.rs

+use tracing::{debug, error, info, warn};
+
+#[derive(Deserialize, Serialize)]
+struct AttestationRequest {


nit: can we move this struct after the use crate definition below

How come we are using hex strings over the wire? Is that the best approach?

crates/ev-prover/TEE.md

damiannolan · 2026-02-17T16:22:36Z

hyperlane/configs/core-config.yaml

@@ -1,5 +1,5 @@
 defaultHook:
-  address: "0xFCb1d485ef46344029D9E8A7925925e146B3430E"


This comment still is applicable. This address is being changed for some reason to the same address of the requiredHook below, which is a merkle tree hok.

damiannolan · 2026-02-17T16:22:58Z

hyperlane/relayer-config.json

            "mailbox": "0xb1c938F5BA4B3593377F399e12175e8db0C787Ff",
            "merkleTreeHook": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",
-            "protocolFee": "0xFCb1d485ef46344029D9E8A7925925e146B3430E",
+            "protocolFee": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",


Same here, this should not change

.env.example

damiannolan

Approving! Feel free to merge after the contract addresses are put back for protocol fee hook!

damiannolan · 2026-02-18T12:39:00Z

hyperlane/configs/core-config.yaml

@@ -1,5 +1,5 @@
 defaultHook:
-  address: "0xFCb1d485ef46344029D9E8A7925925e146B3430E"


Can we put this back before merge

damiannolan · 2026-02-18T12:39:10Z

hyperlane/relayer-config.json

            "mailbox": "0xb1c938F5BA4B3593377F399e12175e8db0C787Ff",
            "merkleTreeHook": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",
-            "protocolFee": "0xFCb1d485ef46344029D9E8A7925925e146B3430E",
+            "protocolFee": "0x1D957dA7A6988f5a9d2D2454637B4B7fea0Aeea5",


And here too!

jonas089 added 6 commits January 9, 2026 13:36

wip: untested tee mode

70a9e34

fix cyclic import

da91e77

wip urls

8c775b0

create ism with tee mode

5b70a07

deploy ism tee

be04932

use elf from filesystem

2de1f48

jonas089 added this to the Append Prover Service with a TEE mode milestone Jan 9, 2026

jonas089 self-assigned this Jan 9, 2026

jonas089 added the enhancement New feature or request label Jan 9, 2026

jonas089 linked an issue Jan 9, 2026 that may be closed by this pull request

Feat: TEE prover service #340

Closed

jonas089 commented Jan 9, 2026

View reviewed changes

Cargo.toml Outdated Show resolved Hide resolved

jonas089 added 5 commits January 9, 2026 18:13

update elf

10e127e

fix elf

09a1ef9

fix features

e2d4a4a

fix makefile

dfbf2e2

local testnet

87ca68d

jonas089 force-pushed the jonas/tee-prover-service branch from a6bccf7 to 87ca68d Compare January 12, 2026 14:47

jonas089 and others added 6 commits January 12, 2026 15:48

deterministic signing key

350f92f

wip: documentation

7d4ec2f

link TEE document in top level readme

193429d

udpate TEE.md

ea91a52

update TEE.md

c7657e9

Merge branch 'main' into jonas/tee-prover-service

75a1554

jonas089 marked this pull request as ready for review January 13, 2026 16:05

jonas089 requested a review from damiannolan January 13, 2026 16:05

jonas089 mentioned this pull request Jan 14, 2026

Task: TEE testnet (local) #342

Closed

jonas089 added 4 commits January 15, 2026 12:46

update readme

3fb0563

wip documentation

f81a031

update TEE.md

4e8d7bf

quickfix: merkle tree address update

5440137

jonas089 and others added 2 commits January 19, 2026 11:47

Merge branch 'main' into jonas/tee-prover-service

82a3544

wip

6fe5653

jonas089 force-pushed the main branch from 5440137 to 82a4b8c Compare January 19, 2026 15:43

update merkle tree address

340ad24

jonas089 mentioned this pull request Jan 20, 2026

Feat: Fee Handler and update Evolve Version #349

Open

jonas089 added 2 commits January 20, 2026 12:53

update env

5b1314b

linter

60a29af

damiannolan reviewed Feb 9, 2026

View reviewed changes

jonas089 and others added 13 commits February 11, 2026 17:56

patch deps

5454000

update deps

c1ccde0

clock drift buffer in TEE prover

f962714

add chrono

876f84a

update elf

b277c6b

udpate circuit elf

9e233d1

update dpes

b19142f

update ELF

9374479

sort

211feb0

deprecate middleware

7bec970

fmt

cd25aa2

fmt

97da7ab

Merge branch 'main' into jonas/tee-prover-service

80ed57b

damiannolan reviewed Feb 17, 2026

View reviewed changes

address PR comments

6c9da5c

damiannolan approved these changes Feb 18, 2026

View reviewed changes

revert default Hook and protocol Fee

6250a95

jonas089 merged commit 2bab70a into main Feb 18, 2026
4 checks passed

		@@ -1,5 +1,5 @@
		defaultHook:
		address: "0xFCb1d485ef46344029D9E8A7925925e146B3430E"

Comments

Conversation

jonas089 commented Jan 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

damiannolan left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

damiannolan left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

damiannolan left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

jonas089 commented Jan 9, 2026 •

edited

Loading