Alice, Bob, and Eve
Circuit
Correlation matrix
Error-rate indicator — what Alice & Bob can detect