Try   HackMD

In the past two weeks, we achieved a significant milestone by successfully generating the last state's witness from random Ethereum blocks and creating a Zero-Knowledge Proof (ZKP) for this witness. The ZKP for the last state witness has been encapsulated within the standard communication protocol Discv5.

Furthermore, we've developed a feature-rich set for our stateless light client with the following key features:

  1. Node Discovery: Our code establishes connections with Ethereum nodes, utilizing the Ethereum Node Discovery Protocol (Discv5) to send FINDNODE requests and discover peers.

  2. ZKP Integration: The code enables the inclusion of ZKP messages in FINDNODE requests, with ZKP messages sourced from Helios nodes, enhancing privacy and security.

  3. Configuration Options: The code is configurable, offering options such as local Ethereum Name Record (ENR) setup, bootnodes, and request parameters. This flexibility ensures adaptability to diverse network environments.

In the upcoming phases, our focus will shift to Trin, a reviving/verifying light client integral to handling ZKPs. In the final stage, our goal is to replicate and integrate the ZK circuit used for proof generation inside Trin. This replication and integration are crucial for verifying state changes in a stateless manner.

The ultimate objective is to have Trin successfully replicate received ZKPs and verify state changes, providing a robust and secure framework for Ethereum's decentralized ecosystem.