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 […] 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 […] 2014 Bitcoin and Altcoin Hacks [Part 6]
This article is part of our complete guide to Bitcoin and altcoin hacks. Here we cover Bitcoin and altcoin security incidents from the year 2014. MintPal In July 2014 Mintpal, a popular altcoin exchange at the time, got hacked and over 10,000 BTC worth of VeriCoin was stolen. Later that year over 3,700 BTC 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 […]