ZK Light Nodes

We introduce Supersonic Light Nodes that anyone can run to ensure the correctness of the execution in Bitcoin L3s and Supersonic.

In particular, Light Nodes validate that (1) state transitions committed on DA layers by Bitcoin L3 Sequencers and (2) those committed on Bitcoin by the Supersonic Sequencer are accurate.

Supersonic Light Nodes are especially useful for dapps like decentralized bridges that need to verify the validity of the states committed on Bitcoin before processing withdraw transactions.

Initially, Supersonic Light Nodes run on the server side or on a local computer. In the future, if there is demand, we can build a Supersonic Light Node mobile app or in-browser extension for anyone to quickly run a verification.

Bitcoin L3 state transition verification

The verification process occurs as follows:

  1. The Supersonic Light Nodes compare the hash of the Bitcoin L3 batch_txns pulled from the Bitcoin L3 DA with the hash in the commitment pulled from the Supersonic DA.

  2. Then, the Supersonic Light Nodes compute the state root from the commitment's previous state root and the batch_txns and compare it with the commitment's state root.

  3. After confirming that all information in the commitment is valid, the Supersonic Light Nodes call the verifier contract to verify the correctness of the zk-proof carried in the batch_txns pulled from Supersonic DA.

  4. Batch transactions (batch_txns) pulled from the DAs can be deleted once the verification process finishes to reduce the Supersonic Light Node's storage.

Supersonic L2 state transition verification

After the Supersonic Light Nodes confirm that Bitcoin L3s' state transitions are valid, they will continue verifying the validity of the Supersonic state transition.

Last updated