See 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 […]
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 Cardano ADA Staking Pool Pledge
There’s been a lot of talk about pledging in Cardano lately. What does pledging mean? What is pledge, exactly? Do stakers need to be concerned? What will the minimum pledge amount be? In this article we take a look at some of these questions and try to explain them in the simplest possible terms. No […]