Add guest program and ZK proving of the STF #156
Description
The Lean chain endgame includes ZK proving of the STF for quick block validity checking. We should start preparing for it, following in Zeam's footsteps.
{{ message }}
The Lean chain endgame includes ZK proving of the STF for quick block validity checking. We should start preparing for it, following in Zeam's footsteps.