1. 8
    Ledger Language Design: Designing and Deploying Formally Verified Public Ledgers pdf cryptocurrencies formalmethods plt eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 2 comments

  1.  

  2. 3
    nickpsecurity avatar nickpsecurity 2 months ago | link

    Interestingly, one of the researchers is the guy behind CryptoCat.

    1. 3
      bwasti avatar bwasti 2 months ago | link

      It seems that the formal verification against attackers is limited to cryptographic primitives. This does not seem to encompass the family of attacks possible on cryptocurrencies related to economic control (an example being a 51% attack).