Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1304.3812
Cited By
v1
v2
v3
v4 (latest)
Time-Optimal Interactive Proofs for Circuit Evaluation
Annual International Cryptology Conference (CRYPTO), 2013
13 April 2013
J. Thaler
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Time-Optimal Interactive Proofs for Circuit Evaluation"
27 / 27 papers shown
FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge
IEEE Symposium on Security and Privacy (S&P), 2025
Tianyu Zhang
Shen Dong
O. Deniz Kose
Yanning Shen
Yanzhe Zhang
FaML
353
3
0
12 May 2025
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
IACR Cryptology ePrint Archive (IACR ePrint), 2025
A. Daftardar
Jianqiao Mo
Joey Ah-kiow
Benedikt Bünz
Ramesh Karri
Siddharth Garg
Brandon Reagen
332
5
0
08 Apr 2025
SVIP: Towards Verifiable Inference of Open-source Large Language Models
Yifan Sun
Yuhang Li
Yue Zhang
Yuchen Jin
Huan Zhang
397
7
0
29 Oct 2024
Models That Prove Their Own Correctness
Noga Amit
S. Goldwasser
Orr Paradise
G. Rothblum
LRM
578
7
0
24 May 2024
Blockchain and Artificial Intelligence: Synergies and Conflicts
Leon Witt
Armando Teles Fortes
Kentaroh Toyoda
Wojciech Samek
Dan Li
228
2
0
22 May 2024
zkLLM: Zero Knowledge Proofs for Large Language Models
Haochen Sun
Jason Li
Hongyang Zhang
ALM
467
88
0
24 Apr 2024
Sisu: Decentralized Trustless Bridge For Full Ethereum Node
Billy Pham
Huy Le
124
0
0
16 Apr 2024
All Rivers Run to the Sea: Private Learning with Asymmetric Flows
Computer Vision and Pattern Recognition (CVPR), 2023
Yue Niu
Ramy E. Ali
Saurav Prakash
Salman Avestimehr
FedML
457
3
0
05 Dec 2023
zkDL: Efficient Zero-Knowledge Proofs of Deep Learning Training
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2023
Hao Sun
Tonghe Bai
Jason Li
Hongyang R. Zhang
309
49
0
30 Jul 2023
Scaling up Trustless DNN Inference with Zero-Knowledge Proofs
Daniel Kang
Tatsunori Hashimoto
Ion Stoica
Yi Sun
LRM
248
67
0
17 Oct 2022
zkBridge: Trustless Cross-chain Bridges Made Practical
Conference on Computer and Communications Security (CCS), 2022
Tiancheng Xie
Jiaheng Zhang
Zerui Cheng
Fan Zhang
Yupeng Zhang
Yongzheng Jia
Dan Boneh
Basel Alomair
171
200
0
01 Oct 2022
pvCNN: Privacy-Preserving and Verifiable Convolutional Neural Network Testing
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2022
Jiasi Weng
Jian Weng
Gui Tang
Anjia Yang
Ming Li
Jia-Nan Liu
403
53
0
23 Jan 2022
SoK: Machine Learning Governance
Varun Chandrasekaran
Hengrui Jia
Anvith Thudi
Adelin Travers
Mohammad Yaghini
Nicolas Papernot
348
21
0
20 Sep 2021
Multi-Matrix Verifiable Computation
Cluster Computing (CC), 2020
Yan He
Lingling Zhang
LRM
156
2
0
30 Apr 2021
Multi-Server Verifiable Delegation of Computations: Unconditional Security and Practical Efficiency
Information and Computation (Inf. Comput.), 2021
Lingling Zhang
104
7
0
26 Apr 2021
On Polynomial Approximations for Privacy-Preserving and Verifiable ReLU Networks
Ramy E. Ali
Jinhyun So
A. Avestimehr
453
44
0
11 Nov 2020
SafeComp: Protocol For Certifying Cloud Computations Integrity
E. Shishkin
E. Kislitsyn
143
0
0
21 May 2020
VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service
IEEE Transactions on Parallel and Distributed Systems (TPDS), 2019
Lingchen Zhao
Qian Wang
Cong Wang
Qi Li
Chao Shen
Xiaodong Lin
Bo Feng
Minxin Du
VLM
199
109
0
16 Sep 2019
Proof-of-work certificates that can be efficiently computed in the cloud
Computer Algebra in Scientific Computing (CASC), 2018
Jean-Guillaume Dumas
91
5
0
29 Jun 2018
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
Florian Tramèr
Dan Boneh
FedML
488
460
0
08 Jun 2018
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways
Abhinav Aggarwal
M. Zamani
Mihai Christodorescu
271
0
0
14 Sep 2017
SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud
Zahra Ghodsi
Tianyu Gu
S. Garg
298
195
0
30 Jun 2017
A Zero Knowledge Sumcheck and its Applications
A. Chiesa
Michael A. Forbes
Nicholas Spooner
190
65
0
07 Apr 2017
How to verify computation with a rational network
Sanjay Jain
P. Saxena
F. Stephan
Jason Teutsch
108
11
0
19 Jun 2016
Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation
Richard Ryan Williams
LRM
108
64
0
18 Jan 2016
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
Jean-Guillaume Dumas
E. Kaltofen
Emmanuel Thomé
128
3
0
04 Jul 2015
Practical Verified Computation with Streaming Interactive Proofs
Graham Cormode
Michael Mitzenmacher
J. Thaler
448
271
0
10 May 2011
1
Page 1 of 1
