Building verifiable applications (Saul - Livy)

This talk introduces Livy, a new framework for building verifiable applications using TEEs and zero-knowledge proofs. It covers how Livy drastically improves proof performance, simplifies the developer experience, and enables use cases like MammothCam, where images and metadata are verified and posted to Celestia.