An additional, off-chain protocol that works on top of the layer 1 blockchain. Parties can securely transfer funds from the blockchain into an off-chain protocol, settle transactions in this protocol independently of the underlying chain, and safely transfer funds back to the underlying chain as needed. Layer 2 protocols improve overall throughput and scalab...
The main blockchain ledger that operates on the underlying consensus protocol. This layer includes protocol parameters that control capabilities such as scalability and throughput.
Software to manage cryptocurrency balances and make transactions. ‘Light’ wallets for Cardano such as Yoroi are designed for fast, easy access via browser or on a mobile phone; full node wallets such as Daedalus are designed for desktops. While they require a high-spec machine and regular syncing, they are the most secure (non-hardware) wallet and help maint...
K Ethereum Virtual Machine. It allows developers to experiment with any smart contract that can be run on the EVM, and offers improved security and performance.
Input Output Global. The new name for IOHK, the company that developed the Cardano blockchain. IOG was registered in the US state of Wyoming in 2018, along with an office in Singapore.
Aims to enable interconnection between blockchains. Cross-chain transfers and the ‘internet of blockchains’ will grant enhanced user experience and functionality. Sidechains and the AGIX ERC20 converter support Cardano's interoperability.
A family of protocols that overlay the layer 1 Cardano blockchain to process transactions off the main chain. Hydra uses the main ledger as the secure settlement layer, boosts throughput, minimizes the delay in starting to process transactions, incurs low to no costs, and greatly reduces storage requirements.
The first of several Hydra protocols, and the basis of improving Cardano's scalability. Each Hydra Head works as an off-chain mini ledger, similar but faster than the main on-chain ledger, shared between small groups of participants. Many complex protocols can be added as layers on top of Cardano.
A cryptocurrency wallet that can be accessed online to store currencies and make transactions. A hot wallet stores a collection of private keys and needs to be connected to the internet to process cryptocurrency operations.
A functional programming language with a focus on producing secure code. Haskell is well suited to Cardano's high-assurance code, and the need for greater formal verification in the blockchain. Core parts of Cardano are written in Haskell and extensive testing processes ensure Plutus Core smart contracts work properly.
A device that stores cryptocurrencies offline and can be connected to a computer to access the funds. Hardware wallets are secure and beneficial in terms of offline security and convenience as they can be carried around and used when needed.
An irreversible change to a blockchain protocol. Cardano uses a hard fork combinator to ensure smooth upgrades. Unlike earlier blockchains, Cardano hard forks save the chain history and do not cause disruption for users.
There is no single decision-maker controlling Cardano's growth and development. Instead, decentralized processes empower ada holders to make suggestions and collaborate on decisions. All ada holders can suggest a change through the Cardano improvement proposal (CIP) system, or participate in Project Catalyst to vote on what changes should be made.
The study of logical decision-making made by players within the defined parameters of a system. Game theory provides mathematical frameworks for predicting interactions between people in a system, where they are all looking out for their best interests. Cardano uses game theory to help avoid economic attacks on the network.
A token that is identical to many others and can be traded is fungible. For example, one ada is the same as all others and so is fungible. Shares in a company, gold bars, and US dollars, for example, are all fungible. Cryptos are usually fungible, but there are also unique, non-fungible tokens (NFTs).
The process of checking whether system design and the underlying algorithms are correct and satisfy the given requirements and properties. It is based on the formal methods of mathematics and is an integral part of IOG research. The core parts of Cardano are written in Haskell.