Notes
This is a collection of some expository notes and other assorted thoughts.
Expository notes
General posts
- Pedersen commitments, divide-and-conquer, and the inner product argument
- Oblivious transfer
- Math philosophy: why polynomials won’t stop showing up
Posts on proof systems
Posts on learning with errors (LWE) and applications
- Learning with errors exercise. A concrete example of LWE to get used to why the LWE problem is hard.
- Public-key cryptography from learning with errors. How to build a public-key system built from LWE.
- Levelled FHE from LWE A leveled fully homomorphic encryption system built from LWE.
- MPC FHE: Key-Switching
Garbled circuits series
This is a short trio on garbled circuits.
- Motivating garbled circuits
- Garbled circuits: commutative encryption protocol
- Garbled circuits for three-party computation
Classical PCP series
This is a series of posts describing the ingredients for the classical PCP (probabilistically checkable proofs), but mostly for historical interest as attention as moved to the more modern zkSNARK constructions.