Showcase Request: Ethereum ZK Light Client with Helios

[puma314]

ZK light clients for trust-minimized bridging are one of the important use-cases of ZKPs. There are several ZK Ethereum Light Client implementations that exist, written in Circom and other ZK-specific languages, but they are hard to modify and decipher.

Helios is a Rust implementation of an Ethereum light client that can be utilized inside SP1 to create a maintainable, readable Ethereum ZK Light Client.

[ameya-deshmukh]

Hi @puma314 interested in taking this up as a weekend hack!

[puma314]

@ameya-deshmukh would be awesome! I think you might run into some problematic crates

[mahmudsudo]

can i take on this ?

[ameya-deshmukh]

Hey will let you know if I was able to make any progress on this by the end of the weekend. If not, please take it up :)

[mahmudsudo]

I guess i am free to take this then

[ameya-deshmukh]

Yep! Let me know if you want to collaborate :)

[mahmudsudo]

Thanks , i would be reaching out soon

[hydrogenbond007]

Hey @puma314 is the work on this going on? I was working on building a relay bridge that transfers calldata. Been using helios but it adds additional overhead for devs to verify the state transitions of one chain on another. would be cool to explore the zk light client

[mahmudsudo]

@hydrogenbond007 yes work is going on this issue , was busy the past few days

[imotai]

Any updates about this issue? I am very interested in the ethereum zk light client.

[mahmudsudo]

almost done with it