1. 1. Introduction
2. 2. Laconic Oblivious Transfer
3. 3. Garbled Circuits and Laconic OT
4. 4. ZK Input Verification with PLONK/KZG