Pairing-based Non-interactive Zero-Knowledge Proofs

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=KSZB9hsrh3c


Duration: 1:02:39
2,980 views
27

Non-interactive zero-knowledge proofs make it possible to prove the truth of a statement without revealing any other information. They have been used widely in the theory of cryptography, but due to efficiency problems have not yet found many practical applications. In this talk, we will cover recent pairing-based constructions of non-interactive zero-knowledge proofs that yield the necessary efficiency for practical applications as well as the possibility to have perfect and everlasting privacy.



Other Videos By Microsoft Research


2016-09-07Theory Tea Meeting Talk: On Local Dynamics for Two Equilibrium Concepts
2016-09-07Finding Loop Invariants Using a Theorem Prover
2016-09-07Bandwidth Allocation in TCP Friendliness and P2P Streaming
2016-09-07Improving the Development of Interactive Software Through New Language Features and Patterns
2016-09-07Better Multiple Intents Re-ranking
2016-09-07Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
2016-09-07Twig: A Simple, AI-friendly, Character World for Believable Agents
2016-09-07Speech signals separation with microphone array
2016-09-07NxOpinion: A Novel Integrated and Predictive Solution for Global Healthcare Delivery
2016-09-07Improving Software Production Environments with Non-Invasive, Quantitative Experience Collection
2016-09-07Pairing-based Non-interactive Zero-Knowledge Proofs
2016-09-07Using Declarative Languages for Fast and Easy Program Analysis
2016-09-07The JSON Saga
2016-09-07First Steps to NetViz Nirvana: Evaluating Social Network Analysis with NodeXL
2016-09-07Public Key Cryptosystems: Stronger Security from General Assumptions
2016-09-07A Framework for Combined Bayesian Analysis and Optimization for
2016-09-07Towards Provably Secure and Correct Systems
2016-09-07A Dive into the Panorama Business
2016-09-07Random Kitchen Sinks: Replacing Optimization with Randomization in Learning
2016-09-07Regression Verification: Proving the Equivalence of Similar Programs
2016-09-07Inferring Social Networks Automatically from Sensor Data


Tags:
microsoft research