rich1.0sedited (npub196…ftlhg)https://yabu.me/npub196cr58e3ds70njgqul6ndm3gu4yxxjgx00sp32t95lru5k600u7q2ftlhgnjumphttps://yabu.meYes, 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.