My very limited understanding of Citrea is that it implements such a light client in BitVM.
Login to reply
Thread
Zero-JS Hypermedia Browser