See Also
ELI5 Cardano Staking & Basic FAQ
In this article we look at the very basics of Cardano staking. If you’ve got any experience whatsoever with other Proof of Stake coins, then you probably don’t need to read this intro. Although cryptocurrency staking is a complex process, readers need zero previous knowledge in order to understand this text. Cryptocurrencies work in a […]
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 […]
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 […]
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 […]