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

Homomorphic Signatures and Pre-Processing NIZK
Simons Institute via YouTube Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures
Association for Computing Machinery (ACM) via YouTube On QA-NIZK in the BPK Model
TheIACR via YouTube Compact NIZKs from Standard Assumptions on Bilinear Maps
TheIACR via YouTube Security of the J-PAKE Password-Authenticated Key Exchange Protocol
IEEE via YouTube