Proving computational ability

Mihir Bellare; Oded Goldreich

doi:10.1007/978-3-642-22670-0_2

Proving computational ability

Mihir Bellare, Oded Goldreich

Department of Computer Science and Applied Mathematics

Weizmann Institute of Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

We investigate extending the notion of a proof of knowledge to a proof of the ability to perform some computational task. We provide some definitions and protocols for this purpose.

Original language	English
Title of host publication	Studies in Complexity and Cryptography
Subtitle of host publication	Miscellanea on the Interplay between Randomness and Computation
Editors	Oded Goldreich
Chapter	2
Pages	6-12
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-642-22670-0_2
State	Published - 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6650 LNCS

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-22670-0_2

Cite this

Bellare, M., & Goldreich, O. (2011). Proving computational ability. In O. Goldreich (Ed.), Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation (pp. 6-12). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6650 LNCS). https://doi.org/10.1007/978-3-642-22670-0_2

@inbook{e65d60bf5197413da53a1915d78b0f0a,

title = "Proving computational ability",

abstract = "We investigate extending the notion of a proof of knowledge to a proof of the ability to perform some computational task. We provide some definitions and protocols for this purpose.",

author = "Mihir Bellare and Oded Goldreich",

year = "2011",

doi = "10.1007/978-3-642-22670-0_2",

language = "الإنجليزيّة",

isbn = "9783642226694",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "6--12",

editor = "Oded Goldreich",

booktitle = "Studies in Complexity and Cryptography",

}

Bellare, M & Goldreich, O 2011, Proving computational ability. in O Goldreich (ed.), Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6650 LNCS, pp. 6-12. https://doi.org/10.1007/978-3-642-22670-0_2

Proving computational ability. / Bellare, Mihir; Goldreich, Oded.
Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation. ed. / Oded Goldreich. 2011. p. 6-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6650 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Proving computational ability

AU - Bellare, Mihir

AU - Goldreich, Oded

PY - 2011

Y1 - 2011

N2 - We investigate extending the notion of a proof of knowledge to a proof of the ability to perform some computational task. We provide some definitions and protocols for this purpose.

AB - We investigate extending the notion of a proof of knowledge to a proof of the ability to perform some computational task. We provide some definitions and protocols for this purpose.

UR - http://www.scopus.com/inward/record.url?scp=84857519797&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22670-0_2

DO - 10.1007/978-3-642-22670-0_2

M3 - فصل

SN - 9783642226694

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 6

EP - 12

BT - Studies in Complexity and Cryptography

A2 - Goldreich, Oded

ER -

Proving computational ability

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this