Code

KEM libraries (non-ROM and ROM)#672

Code

Open

MM45 wants to merge 4 commits intomainEasyCrypt/easycrypt:mainfrom KEM-libraryEasyCrypt/easycrypt:KEM-libraryCopy head branch name to clipboard

+5,990

Commits

Commits on Dec 16, 2024

• KEM library

  MM45

  committed
  9115fab

  Copy full SHA for 9115fab

• KEM library (ROM).

  MM45

  committed
  53eeab7

  Copy full SHA for 53eeab7

Commits on Jan 2, 2025

• Update KEM library as discussed, mainly consistency in parameters and adjust comments.

  MM45

  committed
  3add7fb

  Copy full SHA for 3add7fb

• Update KEM ROM library as discussed, mainly removing PROM dependency, consistency in parameters and adjust comments.

  MM45

  committed
  2a4e65d

  Copy full SHA for 2a4e65d