Verifying Computations With Streaming Interactive Proofs

Proceedings of the VLDB Endowment - United States
doi 10.14778/2047485.2047488
Full Text
Abstract

Available in full text

Date
Authors
Publisher

VLDB Endowment

Related search

Verifying Computations With State

2013English

Video Streaming With Interactive Pan/Tilt/Zoom

Signals and Communication Technology
ControlElectronic EngineeringSignal ProcessingComputer NetworksSystems EngineeringCommunicationsElectrical
2010English

Interactive Proofs With Provable Security Against Honest Verifiers

English

An Interactive Algebra Course With Formalised Proofs and Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verifying Data Integrity in Peer-To-Peer Media Streaming

2005English

Publicly Verifiable Non-Interactive Zero-Knowledge Proofs

English

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy