YoVDO

Non Interactive Zero Knowledge Proofs for Composite Statements

Offered By: TheIACR via YouTube

Tags

Conference Talks Courses Cryptography Courses Privacy Courses Privacy-Preserving Technology Courses Non-Interactive Zero-Knowledge Proofs Courses Garbled Circuit Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive presentation on non-interactive zero-knowledge proofs for composite statements in this 21-minute conference talk from Crypto 2018. Delve into the intricacies of zero-knowledge proofs, Sigma protocols, and garbled circuits. Examine different techniques for handling composite statements, addressing issues like loss of assets, solvency, and privacy. Investigate SNARK construction, discrete logarithm proofs, and point addition relations. Learn about privacy-preserving credentials and RSA signatures. Gain valuable insights into the cutting-edge research presented by Shashank Agrawal, Chaya Ganesh, and Payman Mohassel in their paper on this advanced cryptographic topic.

Syllabus

Introduction
Zero Knowledge Proof
Sigma Protocols
Garbled Circuits
Different Techniques
Composite Statements
Loss of Assets
Solvent
Privacy
Prohibitions
Proof
Snark Construction
Snark on Committed Input
Discrete logarithm proof
Point addition relation
Double discrete logarithm
PrivacyPreserving Credentials
RSA Signature


Taught by

TheIACR

Related Courses

Fast Secure Computation for Small Population over the Internet
Association for Computing Machinery (ACM) via YouTube Stacked Garbling for Disjunctive Zero-Knowledge Proofs
TheIACR via YouTube GAZELLE - A Low Latency Framework for Secure Neural Network Inference
USENIX via YouTube Laconic Conditional Disclosure of Secrets and Applications
IEEE via YouTube Garbling Gadgets for Boolean and Arithmetic Circuits
Association for Computing Machinery (ACM) via YouTube