Software needs accountability and repeatable process by using thorough testing and continuous iteration. However, many cryptocurrency protocols start in academic circles with peer review and debates, without proper iteration and experience through real life use. 

The Art of Iteration

There are many different programming languages, development paradigms, and philosophies on product management. Cardano begins with recognizing that naïve hands can make horrific mistakes, and any protocols designed should be done so by an expert and further reviewed by other experts. This is fact, not opinion. 

Facts and Opinions

After the fact that protocols need to be implemented and tested thoroughly, opinions differ in the best tools and languages used for software development. The sin is in choosing a tool or language while knowing someone will always think it as wrong. 

Functional Sins

Cardano has processes and protocols that are distributed, bundled with cryptography, and require a high degree of fault tolerance due to Byzantine actors, which are malformed messages and faulty clients causing havoc on the network unintentionally. 

Why Haskell?

Using a provably correct security model is beneficial as it limits adversarial power. As long as the protocol is followed and the proofs are correct, the adversary cannot violate the security properties claimed. However, there are still factors stopping pure security from existing. For example, implementations can be wrong, or hardware can introduce attacks not previously considered.

Formal Specification and Verification

The transparency of cryptocurrency is a hotly debated topic, as developers go through long processes to get to their final products. Additionally, transparency could cause the discussion to become more counterproductive as egos take over instead of knowledge. Cardano uses a standards driven process with directed oversight. This means the work is peer reviewed, which allows the community to know the science and code are well though out. Additionally, all code is entrusted to the Cardano Foundation, which review and verify all the code and protocols given to them and submit timely development oversight reports to the Cardano community. 

Transparency of cryptocurrency

- The Art of Iteration
- Facts and Opinions
- Functional Sins
- Why Haskell?
- Formal Specification and Verification
- Transparency

University of Connecticut

Cardano is a public, open-source, proof-of-stake blockchain platform. It was founded in 2015 by Charles Hoskinson, one of the co-founders of Ethereum. 

Cardano (ADA)

Hoskinson, Charles. (2017). Why Cardano. https://why.cardano.org/

Why Cardano

A way for governments to gain an element of control over cryptocurrency transactions. It holds everyone accountable. Regulation is often needed or desired as financial systems scale.

Cardano Regulation

Cardano exists to provide a collection of design principles and engineering practices to create a better balanced and sustainable cryptocurrency ecosystem. It aims to solve scalability, interoperability, and sustainability on cryptocurrency platforms

Motivation for Cardano

* Cardano Settlement Layer
* Cardano Computational Layer
* Proof of Stake Protocol
* Ouroboros
* Social Elements of Cryptocurrencies
* Simon Scripting Language
* KMZ Sidechains
* User Issued Assets
* Plutus
* Smart Contracts

Key Cardano Terms

To provide a basis for the design of a self-evolving financial stack in jurisdictions that lack them. It's long term vision looks to enable economic empowerment for those who need it most.

Vision for Cardano

Through Cardano's proof of stake consensus, it is less power intensive and more environmentally friendly.

Learn Before

Related

Learn After