See Also
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 […]
Opinion: Our 2018 cryptocurrency portfolio: Events to look forward to and pitfalls to avoid [Feb 2018]
Few events have the power to make a cryptocurrency multiply 10X. Being widely adopted, becoming the standard in its niche, developing an innovative or very unique feature, having a great community around it – all these have the power to increase a crypto’s value many times over. But what are some possible catalysts for cryptocurrency […]
ELI5 What is an adversarial Cardano staking pool?
If you’ve been following recent Cardano staking discussions then you’ve probably seen or heard the term adversarial staking pool. What does it mean, exactly, to be an adversarial staking pool? FROG lost our block tonight due to an adversarial quad fork (LION) 2 min before go time I’ve been up 22 hrs making sure we […]
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 […]