Similar to stateless clients in ethereum! I haven't seen any updated documentation on the matter, so would like to learn more about it too. (obviously validity proofs are a more comprehensive solution) A somewhat outdated read by Dankrad is still great:
