EVM Succinct ISM for verifying Hyperlane messages with TelepathyX

[avious00]

This ticket encapsulates a ISM that allows a Hyperlane message to be transported via Succinct's TelepathyX (using their most recently released Succinct Platform https://alpha.succinct.xyz/succinctlabs/telepathyx)

Telepathy is Succinct’s protocol for verifying Ethereum’s light client protocol in a zkSNARK. Read more here. The Telepathy light client can be used as part of a Hyperlane ISM to verify messages/state from Ethereum to any other chain.

As part of this bounty, you should include instructions as to deploy a light client deployment of Telepathy and configure your ISM with it.

The Telepathy light client smart contract can be found here. The executionStateRoots field in the smart contract maps from a slot on the Ethereum beacon chain to the corresponding state root of the execution layer block. This stateRoot can be used to verify storage proofs that can be retrieved using the eth_getProof RPC endpoint to verify particular storage slots on Ethereum. (Alternatively, you can do event emission proving as well)

The ISM should be a CCIP-read ISM (thus no relayer changes necessary) so that an offchain service can fetch both the relevant proof from the Succinct Platform to advance the on-chain light client, as well as the proof that verifies that the message was dispatched on the origin chain.

To complete this bounty, you should:

• Submit instructions as to how one can deploy a succinct telepathy light client on any EVM chain
• submit your smart contract implementation for the ISM
• submit your CCIP-read offchain service that fetches the proofs for the relayer
• evidence of a remote testnet deployment and successful message processing

[hritikmunde]

Hi @avious00 , can you provide more details on this? I want to work on this so trying to understand the requirement. Thanks.

[NOOMA-42]

As far as I know, succinct lab has their own zk bridge called telepathy. That being said, this ticket is like what other hook ticket requiring you to do.

Hi @avious00 , can you provide more details on this? I want to work on this so trying to understand the requirement.

Thanks.

[nambrot]

I'll add some information shortly

[avious00]

hey @hritikmunde the bounty description has been updated with more information!

[ltyu]

Can I tackle this one? @avious00 @nambrot

[nambrot]

Go for it!

[avious00]

hey @ltyu I think this is your first ZK ISM, feel free to ask Nam or Yorke if you need help/have questions on architecture. Also the Succinct team is very friendly too.

[ltyu]

For the CCIP-read offchain service, is there any requirements for it? In other words, can I use a bare bone nodejs server that implements according to Gateway specs in ERC-3668, perhaps an implementation like this ? @nambrot

Also, should the service be a separate repo or keep it in this?

[IEOTeam]

Fuh.. It was difficult, but I did it..