Code

Crypto Primitives Abstraction Layer#459

Code

Merged

jschneider-bensch merged 23 commits intomaincryspen/hax:mainfrom jonas/crypto-abstractionscryspen/hax:jonas/crypto-abstractionsCopy head branch name to clipboardJan 29, 2024

+660-303

Commits

Commits on Jan 25, 2024

• Move state machine traits to their own module

  jschneider-bensch

  committed
  dcc06ed

  Copy full SHA for dcc06ed

• Create protocol crypto abstraction layer module

  jschneider-bensch

  committed
  c01c1ce

  Copy full SHA for c01c1ce

• Move Error back to lib.rs, define CryptoError variant

  jschneider-bensch

  committed
  84eb161

  Copy full SHA for 84eb161

• Implement basic crypto abstractions

  jschneider-bensch

  committed
  725e786

  Copy full SHA for 725e786

• Replace hacspec_xyz primtives with crypto abstraction layer

  jschneider-bensch

  committed
  7393dcb

  Copy full SHA for 7393dcb

• Fix clippy warnings

  jschneider-bensch

  committed
  5723c9a

  Copy full SHA for 5723c9a

• Let libcrux handle deserialization

  jschneider-bensch

  committed
  3c19d64

  Copy full SHA for 3c19d64

• Allow alg. choice by wrapping libcrux Algorithm types

  jschneider-bensch

  committed
  4296624

  Copy full SHA for 4296624

• Choose correct algorithms in noise example

  jschneider-bensch

  committed
  a1491dd

  Copy full SHA for a1491dd

• Inlcude all of the example in the extraction

  jschneider-bensch

  committed
  4349d1c

  Copy full SHA for 4349d1c

• Update lockfiles

  jschneider-bensch

  committed
  846d63f

  Copy full SHA for 846d63f

• cargo fmt

  jschneider-bensch

  committed
  c4b8345

  Copy full SHA for c4b8345

• dune fmt

  jschneider-bensch

  committed
  cc2ffa3

  Copy full SHA for cc2ffa3

• Merge branch 'main' into jonas/crypto-abstractions

  jschneider-bensch

  authored
  9b9335a

  Copy full SHA for 9b9335a

• Include noise example in toolchain tests

  jschneider-bensch

  committed
  784365a

  Copy full SHA for 784365a

• Basic docs for crypto abstractions

  jschneider-bensch

  committed
  aba3bcd

  Copy full SHA for aba3bcd

• Remove looping (unnecessary) printer

  jschneider-bensch

  committed
  dbfad38

  Copy full SHA for dbfad38

• Allow slices in the input language for now

  jschneider-bensch

  committed
  9a0316e

  Copy full SHA for 9a0316e

• Formatting....

  jschneider-bensch

  committed
  0d95f6c

  Copy full SHA for 0d95f6c

Commits on Jan 29, 2024

• Basic README for hax-protocol-lib

  jschneider-bensch

  committed
  ed92d44

  Copy full SHA for ed92d44

• Place doc comment correctly

  jschneider-bensch

  committed
  28a081e

  Copy full SHA for 28a081e

• Add crate-level documentation

  jschneider-bensch

  committed
  784129d

  Copy full SHA for 784129d

• Rename crypto abstractions module

  jschneider-bensch

  committed
  8936e0c

  Copy full SHA for 8936e0c