Skip to content

[cryptolib] generalize PRF definitions, PRP<->PRF#1028

Draft
fdupress wants to merge 1 commit into
mainfrom
prf-generalise
Draft

[cryptolib] generalize PRF definitions, PRP<->PRF#1028
fdupress wants to merge 1 commit into
mainfrom
prf-generalise

[cryptolib] generalize PRF definitions, PRP<->PRF

3a1b94c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Jun 4, 2026 in 6s