Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunction...
▶Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunction... — a 2021 Crypto 2021 security conference talk on crypto (26:35 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube