We are 100% ad and tracker free. Support us by donating to X-avax1rlsj0xgvu85awrvkvjlvlqq37q8hmaq2rsraxz. Thank you! ❤
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 […]
What are CryptoDepository Receipts?
A CryptoDepository Receipt is a smart contract that is meant to represent something. It is a cryptographic note that can represent anything, any asset, any rights, currency or anything else in a “real world” transaction. CDR’s are what we denominate KYC (Know Your Customer) compliant. Which means that any institution which underwrites CryptoDepository Receipts must […]
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 […]
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.