We are 100% ad and tracker free.
Help sponsor us by donating to 🔺 X-avax1n7j2g4arl76l8p0tefdu0w36kcue4v5fr44yfg 🔺
Any amount is welcome! Thank you! ❤
LeoPay (former LeuPay) Transfers
August 2020 Update The LeoPay website is currently down: The company’s most recent tweet is from November 2019: Original Post Customers of the popular digital e-money platform and debit card company LeuPay can use their account to transfer funds both to and from leading crypto currency platforms. With the world’s financial landscape changing at a […]
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 […]
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 […]
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 […]
Concepts In This Page
Cardano is a 3rd generation cryptocurrency which is developed based on scientific methods, peer review and aims for formal verification and on-chain governance and compliance.