See Also
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 […]
The 34 most profitable Proof of Stake (PoS) coins for 2021
In this article we take a look at several Proof of Stake (PoS) coins for investors building passive income streams. With the DeFi craze causing extremely high Ethereum fees, more and more investors look to PoS instead. Before You StartIf you’re not familiar with Proof of Work, Proof of Stake and cryptocurrency mining/staking, then please […]
ELI5 What’s the minimum amount of XTZ required to stake Tezos?
Is there a minimum amount of XTZ required to begin staking? A lot of new Tezos users ask this question because there certainly is a minimum amount of XTZ required to bake Tezos. tl;dr; No, there is no minimum amount of XTZ required to bake Tezos. To be precise, there is a minimum but it’s […]
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 […]