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...
ELI5 Semi-formal Cryptocurrency Development
We’ve previously discussed formal software verification as related to crypto programming. Today we’d like to discuss an intermediary concept called semi-formal cryptocurrency development. Brief Review of Formal Verification In formal verification, every single possible logical state of a computer program must be mathematically proven. This kind of proof can consume tens, even hundreds, of pages […]
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 […]
Building the Haskell cardano-node on Linux
tl;dr; Jump straight to the build instructions The Details Looking forward to the Haskell mainnet, the next step in the Cardano project, I’ve begun exploring the cardano-node Haskell implementation. I find that exploring source code is much easier if you actually watch the program run for a while. So, the first thing a developer has […]
ELI5 Cardano Staking & Basic FAQ
In this article we look at the very basics of Cardano staking. If you’ve got any experience whatsoever with other Proof of Stake coins, then you probably don’t need to read this intro. Although cryptocurrency staking is a complex process, readers need zero previous knowledge in order to understand this text. Cryptocurrencies work in a […]
Concepts In This Page
Cardano is a 3rd generation cryptocurrency which is developed based on scientific methods, peer review and aims for formal verification and on-chain governance and compliance.