How far is ZKP from compute verification in high-stakes environments?

Zero-Knowledge Proofs (ZKP) are being evaluated for their readiness to verify computations in critical, high-stakes environments. The discussion explores the current capabilities, challenges, and potential applications of ZKP in ensuring trustworthy computation verification.