Categorygithub.com/MatheusFranco99/ssv-spec-AleaBFTaleaspectest
package
0.3.9
Repository: https://github.com/matheusfranco99/ssv-spec-aleabft.git
Documentation: pkg.go.dev
Overview
Dependencies
16
Dependents
1

# Packages

No description provided by the author
No description provided by the author

# README

Tests for Alea- [X]BFT Module

List

Flow

  • Normal case 4 operators
  • Normal case 7 operators
  • Normal case 10 operators
  • Normal case 13 operators

Messages

  • Proposal message creation

  • FillGap message creation

  • Filler message creation

  • VCBCSend message creation

  • VCBCReady message creation

  • VCBCFinal message creation

  • VCBCRequest message creation

  • VCBCAnswer message creation

  • ABAInit message creation

  • ABAAux message creation

  • ABAConf message creation

  • ABAFinish message creation

  • Message with nil identifier

  • Message with empty identifier

  • Message with type unknown

  • Encoding proposal data

  • Encoding proposal data and root

  • Get root of a message

  • Message with nil data

  • Message with empty data

  • Message with short signature

  • Message with long signature

  • Message with no signers

  • Message with duplicate signatures

  • Message with multi signers

  • Message with invalid data

  • Message with invalid signer

Proposal

  • Proposal with multi signer
  • Proposal with unknown signer
  • Proposal with wrong height
  • Proposal with wrong signature
  • Proposal with empty data
  • Proposal with post decided proposal

VCBCSend

  • VCBCSend with multi signer
  • VCBCSend with unknown signer
  • VCBCSend with wrong height
  • VCBCSend with wrong signature
  • VCBCSend with empty data
  • VCBCSend after batch size of proposals
  • 2 VCBCSend after 2 batch size of proposals
  • VCBCSend receive from other node
  • VCBCSend receive multiple msgs from other nodes
  • VCBCSend wrong author
  • VCBCSend duplicated
  • VCBCSend (duplicated) same author and priority with different data

VCBCReady

  • VCBCReady with multi signer
  • VCBCReady with unknown signer
  • VCBCReady with wrong height
  • VCBCReady with wrong signature
  • VCBCReady with empty hash
  • VCBCReady with wrong hash
  • VCBCReady duplicated
  • VCBCReady receive msg
  • VCBCReady receive quorum
  • VCBCReady with unexpected author

VCBCFinal

  • VCBCFinal with multi signer
  • VCBCFinal with unknown signer
  • VCBCFinal with wrong height
  • VCBCFinal with wrong signature
  • VCBCFinal with empty aggregated message bytes (proof)
  • VCBCFinal with empty hash
  • VCBCFinal with wrong aggregated signature
  • VCBCFinal duplicated
  • VCBCFinal receive message
  • VCBCFinal receive message than receive request

VCBCRequest

  • VCBCRequest with multi signer
  • VCBCRequest with unknown signer
  • VCBCRequest with wrong height
  • VCBCRequest with wrong signature
  • VCBCRequest with wrong author
  • VCBCRequest with wrong priority
  • VCBCRequest receive message

VCBCAnswer

  • VCBCAnswer with multi signer
  • VCBCAnswer with unknown signer
  • VCBCAnswer with wrong height
  • VCBCAnswer with wrong signature
  • VCBCAnswer with empty data
  • VCBCAnswer with wrong data
  • VCBCAnswer with wrong priority
  • VCBCAnswer with wrong answer

ABAInit

  • ABAInit with multi signer
  • ABAInit with unknown signer
  • ABAInit with wrong height
  • ABAInit with wrong signature
  • ABAInit with invalid vote
  • ABAInit duplicated
  • ABAInit receive
  • ABAInit receive quorum
  • ABAInit receive two quorums
  • ABAInit abastart

ABAAux

  • ABAAux with multi signer
  • ABAAux with unknown signer
  • ABAAux with wrong height
  • ABAAux with wrong signature
  • ABAAux with invalid vote
  • ABAAux duplicated
  • ABAAux receive
  • ABAAux receive quorum
  • ABAAux receive two quorum
  • ABAAux not reaching quorum

ABAConf

  • ABAConf with multi signer
  • ABAConf with unknown signer
  • ABAConf with wrong height
  • ABAConf with wrong signature
  • ABAConf with invalid votes
  • ABAConf reaching quorum
  • ABAConf not reaching quorum
  • ABAConf receive
  • ABAConf reaching two values quorum

ABAFinish

  • ABAFinish with multi signer
  • ABAFinish with unknown signer
  • ABAFinish with wrong height
  • ABAFinish with wrong signature
  • ABAFinish with invalid vote
  • ABAFinish duplicate
  • ABAFinish receive
  • ABAFinish receive quorum
  • ABAFinish receive no quorum

FillGap

  • FillGap with multi signer
  • FillGap with unknown signer
  • FillGap with wrong height
  • FillGap with wrong signature
  • FillGap with receive
  • FillGap with wrong priority
  • FillGap with wrong answer

Filler

  • Filler with multi signer
  • Filler with unknown signer
  • Filler with wrong height
  • Filler with wrong signature
  • Filler with empty data
  • Filler with wrong answer
  • Filler with wrong data
  • Filler with wrong priority

Flow

  • big flow with 7 operators (2 VCBC owner, 1 VCBC received, 2 AC Rounds)