• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
    • Apt
    • Acre
    • Milawa
    • Smtlink
    • Aleobft
      • Aleobft-static
        • Correctness
        • Definition
          • Transitions
          • Operations
          • States
            • System-states
            • Messages
            • Validator-states
            • Certificates
              • Certificate
              • Certificate-option
              • Certificate-set->author-set
              • Certificate-set->round-set
              • Certificate->signers
              • Certificate-set
              • Certificate-list
            • Transactions
            • Addresses
            • Blocks
          • Initialization
          • Events
      • Aleobft-dynamic
      • Aleobft-stake2
      • Aleobft-stake
      • Library-extensions
    • Abnf
    • Vwsim
    • Isar
    • Wp-gen
    • Dimacs-reader
    • Pfcs
    • Legacy-defrstobj
    • Proof-checker-array
    • Soft
    • Farray
    • Rp-rewriter
    • Instant-runoff-voting
    • Imp-language
    • Sidekick
    • Leftist-trees
    • C
    • Java
    • Taspi
    • Bitcoin
    • Des
    • Ethereum
    • X86isa
    • Sha-2
    • Yul
    • Riscv
    • Zcash
    • Proof-checker-itp13
    • Regex
    • ACL2-programming-language
    • Json
    • Jfkr
    • Equational
    • Cryptography
    • Poseidon
    • Where-do-i-place-my-book
    • Bigmems
    • Builtins
    • Axe
    • Execloader
    • Solidity
    • Leo
    • Paco
    • Concurrent-programs
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• States

Certificates

Certificates.

Validators generate and exchange certificates, which contain proposed transactions along with signatures. Certificates are the nodes of the DAG, in the Narwhal part of AleoBFT.

Subtopics

Certificate

Fixtype of certificates.

Certificate-option

Fixtype of optional certificates.

Certificate-set->author-set

Lift certificate->author to sets.

Certificate-set->round-set

Lift certificate->round to sets.

Certificate->signers

Signers of a certificate.

Certificate-set

Fixtype of sets of certificates.

Certificate-list

Fixtype of lists of certificates.