78 citations · 130 across the 8 of their papers we have counts for
8 papers
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…
Accelerating Aggregation Queries on Unstructured Streams of Data
Matthew Russo, Tatsunori Hashimoto, Daniel Kang +2
Analysts and scientists are interested in querying streams of video, audio, and text to extract quantitative insights. For example, an urban planner may wish to measure congestion…
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…
Proof: Accelerating Approximate Aggregation Queries with Expensive Predicates
Daniel Kang, John Guibas, Peter Bailis +3
Given a dataset , we are interested in computing the mean of a subset of which matches a predicate. ABae leverages stratified sampling and proxy models t…