2 search results for "tag:"keyword:blockchain""

Showing 1 - 2
  1. coq-algorand

    No documentation

    A verified model of the Algorand consensus protocol in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:distributed algorithms keyword:blockchain keyword:consensus keyword:algorand logpath:Algorand date:2022-11-20
    Musab A. Alturki Jing Chen Victor Luchangco Brandon Moore Karl Palmskog et al.
    1.4
    NCSA
    Used by 0 other packages
    21 Nov 2022
  2. coq-giskard

    No documentation

    Verified model of the Giskard consensus protocol in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:Giskard keyword:consensus keyword:blockchain logpath:Giskard date:2022-11-23
    Elaine Li Karl Palmskog Mircea Sebe
    1.1
    NCSA
    Used by 0 other packages
    21 Jun 2023