sedited on Nostr: Yes, that proof generation is already possible and has been done by a few people now. ...

Yes, that proof generation is already possible and has been done by a few people now. It is the main motivation behind this work. Long term the goal is to have the same capability for full block validation.