-
Type System
A type system is a set of rules that assigns types to various parts of a computer program, such as variables, expressions, functions, or modules. These types define what kind of values the program components can take and what operations can be performed on them. Type systems help catch errors during compilation or runtime by…
-
Embedded Domain Specific Languages (eDSL)
Embedded Domain-Specific Languages (eDSLs) are specialized programming languages designed to solve problems in a specific domain. They are embedded within a host general-purpose language, meaning that the domain-specific syntax and functionality are written as part of the main language. An eDSL leverages the existing tools, libraries, and infrastructure of the host language but adds domain-specific…
-
Native Asset
A native asset on Cardano is a type of token that is created and managed directly on the Cardano blockchain, alongside the ADA cryptocurrency, without the need for smart contracts. This contrasts with how assets are typically handled on other blockchains like Ethereum, where smart contracts (e.g., ERC-20 for fungible tokens and ERC-721 for NFTs)…
-
Untyped Plutus Core (UPLC)
Untyped Plutus Core (UPLC) is a low-level, intermediate representation of smart contracts on the Cardano blockchain. It is the core language used by the Plutus Platform, which enables the creation and execution of smart contracts on Cardano. Untyped Plutus Core is designed to be a minimal, well-defined language that serves as a bridge between high-level…
-
Assembly Languages
Assembly languages are low-level programming languages that are closely tied to a computer’s hardware architecture. They are designed to be human-readable representations of machine code, which the computer’s CPU understands. Each assembly language is specific to a particular type of processor or computer architecture, and it provides a way for programmers to write instructions that…
-
BIP-39 Wordlist
The BIP-39 Wordlist is a standardized list of 2048 English words used to generate mnemonic phrases (also known as seed phrases or recovery phrases) in cryptocurrency wallets. These mnemonic phrases allow users to back up and restore their wallets securely by providing an easily readable sequence of words instead of a complex cryptographic key. The…
-
Derivations
In the Cardano ecosystem, derivations refer to the process of generating cryptographic keys (public and private keys) and addresses from a single master seed or key using Hierarchical Deterministic (HD) wallet principles. These derivations are based on established standards that allow for the structured and secure generation of key pairs and addresses, ensuring that users…
-
HD (Hierarchical Deterministic) Wallets
HD (Hierarchical Deterministic) wallets are a type of cryptocurrency wallet that allows users to generate an entire tree of cryptographic key pairs (public and private keys) from a single seed. This seed is typically represented as a 12-24 word mnemonic phrase and provides the user with the ability to restore all associated addresses and keys…
-
Rollups
Rollups are a Layer-2 scaling solution that already enhance Cardano’s transaction throughput by executing transactions off-chain while still maintaining on-chain security through cryptographic proofs. They allow for a much higher volume of transactions to be processed efficiently, reducing both the load on the main blockchain and transaction costs, while preserving the security and decentralization of…
-
Validiums
Validiums are a type of Layer-2 scaling solution similar to rollups, but with a key distinction: while rollups store data on-chain, Validiums store data off-chain, allowing for even greater scalability without putting a strain on the main blockchain. This approach combines the benefits of off-chain data storage with on-chain verification, improving throughput while still ensuring…
