4 Commits

Author	SHA1	Message	Date
Cole Leavitt	8f05b2e157	feat: add mathematical proof tests for OPRF security properties ... - Add test_proof_of_fingerprint_linkability proving split-blinding is broken - Add test_proof_of_linkability proving deterministic r,e is linkable - Add test_proof_of_noise_instability proving fresh random breaks correctness - Add test_proof_of_fingerprint_in_proposed_fix proving r_pk fix is unlinkable - Refactor ntru_lwr_oprf.rs for clarity - Add anyhow dependency for error handling	2026-01-08 12:04:58 -07:00
Cole Leavitt	26766bb8d9	changes	2026-01-08 09:50:51 -07:00
Cole Leavitt	acc8dde789	Fixed reconciliation bug - Peikert-style reconciliation now achieves 100% accuracy (was 50% with broken XOR)	2026-01-06 15:57:16 -07:00
Cole Leavitt	dfa968ec7d	initial	2026-01-06 12:49:26 -07:00