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 […]
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 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 […]
Cardano Network Tools – CNT
Welcome to the crypto.bi Cardano* Network Tools – CNT home page. crypto.bi CNT is a Python implementation of the Cardano P2P protocol. Think of it as a programmable Cardano node but without the staking and block verification components – just the P2P networking code. You can pick different network message types and develop your own […]
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.