Skip to content

feat(Crypto/Protocols): prove Even–Mansour PRP advantage bound via lazy coupling (#761) - #870

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
feat/even-mansour-coupling-761
Oct 24, 2026
Merged

SamuelSchlesinger merged 1 commit into
mainfrom
feat/even-mansour-coupling-761

feat(Crypto/Protocols): prove Even–Mansour PRP advantage bound via la…

90b658c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 24, 2026 in 11m 23s