See Also
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 […]
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 […]
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 […]
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 […]