There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 26

Record: found
Abstract: not found
Article: not found

Proof verification and the hardness of approximation problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani … (1998)

0 comments Cited 157 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Probabilistic checking of proofs: a new characterization of NP

Sanjeev Arora, Shmuel Safra (1998)

0 comments Cited 97 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

How To Prove Yourself: Practical Solutions to Identification and Signature Problems

Amos Fiat, Adi Shamir (2006)

0 comments Cited 82 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2021

Publication date (Online): August 11 2021

Pages: 711-741

DOI: 10.1007/978-3-030-84242-0_25

SO-VID: 45a0614e-ccb3-43aa-9d2e-eb1c4e73cedd

History

Data availability:

Subquadratic SNARGs in the Random Oracle Model

Read this book at

Related collections

Exponential Random Graph Models

Most cited references 26

Proof verification and the hardness of approximation problems

Probabilistic checking of proofs: a new characterization of NP

How To Prove Yourself: Practical Solutions to Identification and Signature Problems

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,526