Code

Protocol combinators#60

Code

Merged

fjarri merged 9 commits intoentropyxyz:masterentropyxyz/manul:masterfrom fjarri:combinatorsfjarri/manul:combinatorsCopy head branch name to clipboardNov 13, 2024

+1,313-583

Commits

Commits on Nov 1, 2024

• Remove the make_direct_message() shortcut

  fjarri

  committed
  aed78d0

Commits on Nov 3, 2024

• Rename FirstRound to EntryPoint

  fjarri

  committed
  a9e6d4d

Commits on Nov 4, 2024

• Add BoxedRound type to wrap Box<dyn ObjectSafeRound>

  fjarri

  committed
  24fb8ad

• Add an impl of ProtocolError for ()

  fjarri

  committed
  3f7eafa

• Add a dummy CorrectnessProof trait, to be extended elsewhere

  fjarri

  committed
  be30e0d

• Add serialization to the bounds of PartyId, ProtocolError, and CorrectnessProof

  fjarri

  committed
  e8ff740

Commits on Nov 13, 2024

• Add Misbehaving combinator

  fjarri

  committed
  f5d5bd7

• Add Chain combinator

  fjarri

  committed
  891bd04

• Use tinyvec instead of a fixed-size array in RoundId

  fjarri

  committed
  600cf85