Back to Results
First PageMeta Content
Cryptography / Computational complexity theory / Complexity classes / NP-complete problems / NP / IP / Proof of secure erasure / Certificate / Circuit satisfiability problem / Commitment scheme / Witness / Proof of knowledge


COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler
Add to Reading List

Document Date: 2017-10-06 17:06:30


Open Document

File Size: 285,82 KB

Share Result on Facebook