feat(crypto): perfect secrecy framework, forking lemma progress, and seeded oracle proofs#112

Merged

quangvdao merged 13 commits intomasterfrom

quang/query-cache-preserves-inv

Feb 28, 2026

Commits on Feb 26, 2026

feat(QueryCache, PreservesInv, CachingOracle): add connective tissue for random oracle proofs
quangvdao
committed
chore(SimSemantics): silence unused section var warning in apply_compose
quangvdao
committed

Commits on Feb 27, 2026

feat(SeededOracle): prove generateSeed-simulateQ distribution preservation
quangvdao
committed
fork progress
quangvdao
committed
fix(EvalDist): remove incorrect OracleComp imports from EvalDist/List and EvalDist/BitVec
quangvdao
committed
fork progress: add collision-penalty helper theory and scaffold final bound
quangvdao
committed
docs(agents): preserve partial proof attempts
quangvdao
committed
feat(crypto): standardize perfect secrecy and prove OTP privacy
quangvdao
committed
feat(crypto): finish Shannon backward proof and remove remaining sorrys
quangvdao
committed
refactor(crypto): clarify Shannon statements and add all-priors theorem
quangvdao
committed

Commits on Feb 28, 2026