feat(zk): recursive SNARKs as checkpoints

[distractedm1nd]

Celestia will only store the data for about 30 days

In the current light-client impl, we sync from epoch 0
If our FinalizedEpochs were recursive, light clients would only need to verify the last posted epoch. This is actually really easy in SP1

If this adds too many cycles, an alternative approach is having a parallel process that makes checkpoints every X epochs and posts to a new quick-syncing namespace.