Default Branch

9be4bcaf7d · initial · Updated 2026-01-07 18:40:09 +00:00

Branches

1660db8d14 · docs: add formal Prolog security proofs · Updated 2026-01-08 19:47:19 +00:00    coleleavitt

0
13

8f05b2e157 · feat: add mathematical proof tests for OPRF security properties · Updated 2026-01-08 19:04:58 +00:00    coleleavitt

0
11

50953c7007 · docs: add formal security proof for VOLE-LWR OPRF · Updated 2026-01-07 21:02:11 +00:00    coleleavitt

0
7

8d58a39c3b · feat(oprf): add LEAP-style truly unlinkable OPRF with commit-challenge protocol · Updated 2026-01-07 19:36:44 +00:00    coleleavitt

0
2