MPC Flashcards
MPC definition and settings
Adversaries’ types
Definition of view
and intermediate results
Def of adversarial structure and threshold
Properties of a MPC
output delivery, specify when passive adversary
Efficiency metric to evaluate a MPC
General and Special MPC
What does arbitrary function mean
Ideal world and real world
Passive Security and Active Security + meaning roughly speaking
What is a functionality + examples
interactive agent
Hybrid world and composability
Positive and negative results about security
Yao’s Millionaires problem informal def
Yao’s Millionaires problem (e variante socialista): proposed solutions
privAte set intersection problem (yao) and proof of lemma
1-2 Oblivious transfer definition and variations
theorem: 1-2 OT and Secure 2-party. computation + proof
Security of 1-2 OT and proof
IT CANNOT ACHIEVE PERFECT SECURITY AGAINST HONEST BUT CURIOUS ADVERSARY
Bellare-Micali OT definition
Bellare-Micali OT security
Naor-Pinkas OT definition
Naor-Pinkas OT security
How to construct a garbled circuit
Garbled circuit security and possible corrections
Garbled circuit optimizations
lss
come costruire mpc usando lss (multiplicative gate)
Security of LSS
GMW protocol
BGW protocol
Security of BGW protocol