International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Deploying TLS Oracles Using Interactive ZK

Authors:
Xiang Xie
Download:
Search ePrint
Search Google
Presentation: Slides
Abstract: TLS Oracles allow a party to prove the properties of its payload to others without revealing it. The seminal work by Zhang et al. proposed a protocol based on active two-party computation with an overhead too high to be deployed in practice. In this talk, we will talk about the real-world deployment of TLS oracles by using recent interactive zero-knowledge proofs. - We will describe the high-level idea and the deployment of our recent work (Usenix24 Xie et al.). The underlying cryptographic protocol is packaged as a Chrome browser plugin and has successfully proven more than 200,000 TLS sessions so far for blockchain systems like Linea, Scroll, Arbitrum, Optimism and BNB Chain. - We will describe the performance when using the above MPCTLS protocol and a simplified iZKTLS protocol when proving AI-generated content (AIGC). We show that when using state-of-the-art iZK protocol, namely Quicksilver, we are able to prove a 200KB photo is actually generated by ChatGPT in 2 minutes - Finally, we will discuss the challenges that we encountered when deploying and expanding TLS oracle technologies to more context.
Video: https://youtu.be/X5YyDw2iD_0
BibTeX
@misc{rwc-2025-35893,
  title={Deploying TLS Oracles Using Interactive ZK},
  note={Video at \url{https://youtu.be/X5YyDw2iD_0}},
  howpublished={Talk given at RWC 2025},
  author={Xiang Xie},
  year=2025
}