The use case of this zk is somewhat similar to the collaboration between @ SuccintLabs and Cosmos' IBC Eureka (Steven has done a thorough analysis of this before https://(x.com)/badsteven11/status/191669688229603717), and the IBC Eureka scenario is relatively mature (with some data support). If the validation computing cloud platform of @ Eigenlayer is launched, it will definitely bring more practical value to the zk validation infrastructure provided by @ boundless_xyz and @ RiscZero. But this kind of scenario is still a good direction to look for, finding a few more may gradually become the proof of air zk. In addition, SuccinchLabs is also developing its own dapp ecosystem.