Code

Multi-Party bit authentication spec#72

Code

Merged

jschneider-bensch merged 27 commits intomaincryspen/atlas:mainfrom jonas/multi-abitcryspen/atlas:jonas/multi-abitCopy head branch name to clipboardMay 13, 2024

+968-306

Commits

Commits on Apr 22, 2024

• Specification for IT-MAC

  jschneider-bensch

  committed
  109bb57

• Simplified commitment API

  jschneider-bensch

  committed
  77a2eb5

• Implement multi-party coin-flipping

  jschneider-bensch

  committed
  5f436d2

Commits on Apr 23, 2024

• Redo bit authentication data types

  jschneider-bensch

  committed
  f805a6d

• Two-party Bit Authentication (passive secure)

  jschneider-bensch

  committed
  1cee3f2

• WIP multi-party bit auth

  jschneider-bensch

  committed
  5441518

• Relay for broadcast messages & coin-flip using that

  jschneider-bensch

  committed
  8192693

Commits on Apr 24, 2024

• No longer need separate cross product utility

  jschneider-bensch

  committed
  5f10f8c

• Formatting

  jschneider-bensch

  committed
  0eedcbb

• Introduce MAC_LENGTH constant

  jschneider-bensch

  committed
  cb38632

• Fix erroneous MAC computation

  jschneider-bensch

  committed
  dd6f990

• More specific errors (& conversions)

  jschneider-bensch

  committed
  3f40eb3

• Configurable logging

  jschneider-bensch

  committed
  f28eb99

• Fix bit_auth, bit_auth_check & broadcast (introduces sync)

  jschneider-bensch

  committed
  fe30098

Commits on Apr 25, 2024

• Cleanup & documentation improvements

  jschneider-bensch

  committed
  37c2868

• Typo in function name

  jschneider-bensch

  committed
  ac3f97e

Commits on May 13, 2024

• Use debug_assert(_eq)! instead of assert(_eq)!

  jschneider-bensch

  committed
  180020e

• Remove dead_code warning

  jschneider-bensch

  committed
  e3f3c7f

• Remove unnecesary version pinning for libcrux in ScrambleDB spec

  jschneider-bensch

  committed
  1b58998

• Using arithmetic in MAC computation is simpler

  jschneider-bensch

  committed
  922bd03

• Clarification comment on broadcast module

  jschneider-bensch

  committed
  b3f4fbd

• Remove unneeded dependencies

  jschneider-bensch

  committed
  0d636b2

• Return directly (no need for labeled loop)

  jschneider-bensch

  committed
  e8a529e

• Panic on insufficient randomness, be more expressive about channel

  Show description for dfa4838
  jschneider-bensch

  committed
  dfa4838

• Provide a policy outline for panic!ing vs passing on errors

  jschneider-bensch

  committed
  9171031

• No need for InsufficientRandomness error variant (we panic!)

  Show description for 305055c
  jschneider-bensch

  committed
  305055c

• Clippy lint

  jschneider-bensch

  committed
  f511fb2