See Also

2014 Bitcoin and Altcoin Hacks [Part 6]
This article is part of our complete guide to Bitcoin and altcoin hacks. Here we cover Bitcoin and altcoin security incidents from the year 2014. MintPal In July 2014 Mintpal, a popular altcoin exchange at the time, got hacked and over 10,000 BTC worth of VeriCoin was stolen. Later that year over 3,700 BTC also […] Cardano Network Tools – CNT
Welcome to the crypto.bi Cardano* Network Tools – CNT home page. crypto.bi CNT is a Python implementation of the Cardano P2P protocol. Think of it as a programmable Cardano node but without the staking and block verification components – just the P2P networking code. You can pick different network message types and develop your own […] What is “formal verification” of cryptocurrency software?
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important for cryptocurrencies? In this article we take a quick and superficial look at formal verification and why it may be desirable in the future […] A Jormungandr jcli Cryptonomicon – Staking Pool Commands and Stuff
In this article, we’ll take a look at jormungandr and ended up compiling notes, some commonly used commands and other stuff learned while researching how to run a Cardano staking pool. I’ve turned everything into this post so we could all copy and reuse from if needed. Ended up becoming a jormungandr cheat sheet of […]