The Power of Distributed Verifiers in Interactive Proofs

doi 10.1137/1.9781611975994.67
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Society for Industrial and Applied Mathematics

Related search

Interactive Proofs With Provable Security Against Honest Verifiers

English

Rational Proofs Against Rational Verifiers

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic EngineeringComputer GraphicsSignal ProcessingApplied MathematicsElectricalComputer-Aided Design
2017English

Verifying Computations With Streaming Interactive Proofs

Proceedings of the VLDB Endowment
Computer Science
2011English

Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Publicly Verifiable Non-Interactive Zero-Knowledge Proofs

English

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

An Interactive Algebra Course With Formalised Proofs and Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility

English

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy