ZK Rollup Tutorial Part 4

Light nodes are the final building block of our Sovereign Rollup. They can be run by third parties - including users of the Sovereign Rollup - to independently check two properties:

1. The correctness of the Sovereign Rollup state. The light node does this by verifying the ZK block proofs produced by the prover.
2. The availability of the Sovereign Rollup data. The light node does this by engaging in Data Availability Sampling of relevant blob data from NomosDA.

As a result, light nodes give their operators confidence that the Sovereign Rollup’s sequencer is acting honestly and correctly, detecting any problems whenever they appear. This page will lead you through the steps required to implement a light node that verifies proofs and sampling data from Nomos.

<aside> 💡

Sovereign Rollup light nodes, like the one built in this tutorial, should not be confused with Nomos light nodes, which are planned for future releases of Nomos. While Sovereign Rollup light nodes verify the correctness and integrity of Sovereign Rollup updates, Nomos light nodes verify the Nomos consensus process, engage in DA Sampling, and verify published proofs from Nomos Zones.

For more information on Nomos light nodes, take a look at the relevant section in the Nomos Whitepaper.

</aside>

Building the Light Node

Sampling

Proof Verification

Main Function

Running the Light Node