walletbeat

VP Tech Gnosis, founder HOPR. I believe in empowerment of the individual through decentralization and privacy.

I don't think you need governance here. My sense is that you could:
- At time time T, load Helios with checkpoint from time T-1 and run it in a sandbox that records all the network traffic.
- Look at the checkpoint for time T it produced.
- Re-run Helios in a zkVM with a clock set back to time T. Block its external network access, but inject the incoming traffic you had recorded (behavior and incoming/outgoing network traffic should be exactly deterministic).
- Re-verify that it produced the same checkpoint for time T.
- Submit new checkpoint + proof of correct Helios execution from the zkVM.
This effectively means that if you trust the checkpoint at time T-1 and that you trust Helios is correctly implemented and that the zkVM is as well, you can now also trust the checkpoint at time T.

How to validate light client sync committees, use a zkVM, interesting! 

Now can we please have more people use light client verification for their Dapps...?