Cole Leavitt
50953c7007
docs: add formal security proof for VOLE-LWR OPRF
Typst document covering:
- Protocol description and notation
- Ring-LWR and VOLE correlation definitions
- Unlinkability theorem with proof
- Obliviousness theorem with game-based proof
- Output determinism theorem (LWR absorbs noise)
- Security reductions to Ring-LWR and PCG
- Parameter analysis and security estimates
- Comparison with prior art (split-blinding, LEAP)
- Constant-time implementation notes
2026-01-07 14:02:11 -07:00
..
2026-01-07 11:40:09 -07:00
2026-01-07 11:40:09 -07:00
2026-01-07 12:36:44 -07:00
2026-01-07 11:40:09 -07:00
2026-01-07 14:02:11 -07:00