Spaces:

DineshAI
/

F8dIPCR1ly

Running

App Files Files Community

F8dIPCR1ly / repro /src

33.5 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

DineshAI's picture

Reproduce all 4 CCA-barrier claims: Thm4.2 non-composition (ratio 7.77), Thm4.3 eps'>=-ln(p), Thm5.5 Omega(2^ell) query complexity (slope 1.001)

f603269 verified 11 days ago

generate_judge_evidence.py

24.4 kB
Expose claim-level theorem evidence and controls 12 days ago
verify_cca.py

9.11 kB
Reproduce all 4 CCA-barrier claims: Thm4.2 non-composition (ratio 7.77), Thm4.3 eps'>=-ln(p), Thm5.5 Omega(2^ell) query complexity (slope 1.001) 11 days ago