Default Branch

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

ZIP  TAR.GZ

Branches

feat/ake-wrapper 1660db8d14 · docs: add formal Prolog security proofs · Updated 2026-01-08 19:47:19 +00:00    coleleavitt	0 13	Compare	ZIP  TAR.GZ
feat/vole-rounded-oprf-refactor 8f05b2e157 · feat: add mathematical proof tests for OPRF security properties · Updated 2026-01-08 19:04:58 +00:00    coleleavitt	0 11	Compare	ZIP  TAR.GZ
feat/vole-rounded-oprf 50953c7007 · docs: add formal security proof for VOLE-LWR OPRF · Updated 2026-01-07 21:02:11 +00:00    coleleavitt	0 7	Compare	ZIP  TAR.GZ
feat/unlinkable-fast-oprf 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	Compare	ZIP  TAR.GZ