Skip to content

[DRAFT] KDF groups impl#34

Draft
pratapsingh1729 wants to merge 128 commits into
mainfrom
kdf-groups-impl
Draft

[DRAFT] KDF groups impl#34
pratapsingh1729 wants to merge 128 commits into
mainfrom
kdf-groups-impl

first attempt at adding explicit kdf_inj lemmas, currently in the typ…

1606534
Select commit
Loading
Failed to load commit list.

There are no checks for this commit