ResearchTrend.AI
Practical Verified Computation with Streaming Interactive Proofs

Practical Verified Computation with Streaming Interactive Proofs

Graham Cormode
Michael Mitzenmacher
J. Thaler
ArXivPDFHTML

Papers citing "Practical Verified Computation with Streaming Interactive Proofs"

2 / 2 papers shown
Title
Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT
Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT
Mingyu Hao
Keyang Qian
Sid Chi-Kin Chau
31
2
0
15 May 2023
Time-Optimal Interactive Proofs for Circuit Evaluation
Time-Optimal Interactive Proofs for Circuit Evaluation
J. Thaler
77
222
0
13 Apr 2013

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.