Time-Optimal Interactive Proofs for Circuit Evaluation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40084-1_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Minimum-Knowledge Interactive Proofs for Decision Problems

SIAM Journal on Computing
MathematicsComputer Science
1989English

Verifying Computations With Streaming Interactive Proofs

Proceedings of the VLDB Endowment
Computer Science
2011English

Publicly Verifiable Non-Interactive Zero-Knowledge Proofs

English

Optimal Security Proofs for PSS and Other Signature Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

The Power of Distributed Verifiers in Interactive Proofs

2020English

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

Towards Optimal Deterministic Coding for Interactive Communication

2015English

Optimal Coding for Streaming Authentication and Interactive Communication

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy