25 citations · 50 across the 6 of their papers we have counts for
4 papers · 1 filter
Trustless Audits without Revealing Data or Models
Suppakit Waiwitlikhit, Ion Stoica, Yi Sun +2
There is an increasing conflict between business incentives to hide models and data as trade secrets, and the societal need for algorithmic transparency. For example, a rightsholde…
Certifying Zero-Knowledge Circuits with Refinement Types
Junrui Liu, Ian Kretz, Hanzhi Liu +7
Zero-knowledge (ZK) proof systems have emerged as a promising solution for building security-sensitive applications. However, bugs in ZK applications are extremely difficult to det…
ZK-IMG: Attested Images via Zero-Knowledge Proofs to Fight Disinformation
Daniel Kang, Tatsunori Hashimoto, Ion Stoica +1
Over the past few years, AI methods of generating images have been increasing in capabilities, with recent breakthroughs enabling high-resolution, photorealistic "deepfakes" (artif…
Scaling up Trustless DNN Inference with Zero-Knowledge Proofs
Daniel Kang, Tatsunori Hashimoto, Ion Stoica +1
As ML models have increased in capabilities and accuracy, so has the complexity of their deployments. Increasingly, ML model consumers are turning to service providers to serve the…