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 […]
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 […]
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 […]
How do I stake Cardano?
Cardano ADA will begin its fully decentralized operation later in 2018 when the Shelley update is released. Once the Cardano blockchain goes distributed, it’ll allow users to participate in staking pools and earn proportional slot rewards (Cardano works in slots, not blocks). Our calculations of potential staking rewards aren’t very optimistic but as some have […]