See Also
Understand the Basics of Trading Cryptocurrencies
Cryptocurrencies can be traded in many different ways which, in the end, aren’t very different from the stock, option and derivative markets. The same models used in centralized stock markets were applied to cryptocurrencies, adjusting the business rules and systems to the technology used in crypto deposits and withdrawals. In fact, after deposits are confirmed, […]
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 […]
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 […]
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 […]