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 […]
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 […]
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 […]
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 […]