Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1105.2003
Cited By
v1
v2
v3
v4
v5 (latest)
Practical Verified Computation with Streaming Interactive Proofs
10 May 2011
Graham Cormode
Michael Mitzenmacher
J. Thaler
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Practical Verified Computation with Streaming Interactive Proofs"
19 / 19 papers shown
VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
Guofu Liao
Taotao Wang
Shengli Zhang
Jiqun Zhang
Shi Long
Dacheng Tao
ALM
278
0
0
29 Aug 2025
Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
IACR Cryptology ePrint Archive (IACR ePrint), 2024
Mohammed Alghazwi
Tariq Bontekoe
Leon Visscher
Fatih Turkmen
164
1
0
27 Jul 2024
zkLLM: Zero Knowledge Proofs for Large Language Models
Haochen Sun
Jason Li
Hongyang Zhang
ALM
464
86
0
24 Apr 2024
Formal Verification of the Sumcheck Protocol
Azucena Garvía Bosshard
Jonathan Bootle
Christoph Sprenger
52
2
0
08 Feb 2024
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
Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT
IEEE Transactions on Services Computing (IEEE TSC), 2023
Mingyu Hao
Keyang Qian
Sid Chi-Kin Chau
166
4
0
15 May 2023
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
Schwartz-Zippel for multilinear polynomials mod N
IACR Cryptology ePrint Archive (IACR ePrint), 2022
Benedikt Bünz
Ben Fisch
51
9
0
11 Apr 2022
An efficient and secure scheme of verifiable computation for Intel SGX
International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2021
Wenxiu Ding
Wei Sun
Zheng Yan
R. Deng
99
6
0
27 Jun 2021
Multi-Matrix Verifiable Computation
Cluster Computing (CC), 2020
Yan He
Lingling Zhang
LRM
152
2
0
30 Apr 2021
Off-chain Execution and Verification of Computationally Intensive Smart Contracts
International Conference on Blockchain (ICB), 2021
Emrah Sariboz
Kartick Kolachala
Gaurav Panwar
Roopa Vishwanathan
Satyajayant Misra
OffRL
207
8
0
19 Apr 2021
Integrity Authentication for SQL Query Evaluation on Outsourced Databases: A Survey
Bo Zhang
Boxiang Dong
Wendy Hui Wang
86
15
0
24 Aug 2018
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
Cheng Tan
Lingfan Yu
Joshua B. Leners
Michael Walfish
134
25
0
25 Sep 2017
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways
Abhinav Aggarwal
M. Zamani
Mihai Christodorescu
267
0
0
14 Sep 2017
A Zero Knowledge Sumcheck and its Applications
A. Chiesa
Michael A. Forbes
Nicholas Spooner
186
65
0
07 Apr 2017
Secure and trusted white-box verification
Yixian Cai
George Karakostas
Alan Wassyng
91
1
0
12 May 2016
Time-Optimal Interactive Proofs for Circuit Evaluation
Annual International Cryptology Conference (CRYPTO), 2013
J. Thaler
345
250
0
13 Apr 2013
Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations
International Conference on Principles of Distributed Systems (OPODIS), 2013
Christian Cachin
O. Ohrimenko
316
10
0
20 Feb 2013
Verifiable Computation with Massively Parallel Interactive Proofs
USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), 2012
J. Thaler
Mike Roberts
Michael Mitzenmacher
Hanspeter Pfister
257
80
0
07 Feb 2012
1
Page 1 of 1
