Lectures related to Cardano (blockchain platform)

Limitations of Bitcoin and Increasing TPS

Discusses the limitations of Bitcoin and ways to increase transaction processing speed.

Blockchain Fundamentals: Overview and Use Cases

Provides an overview of blockchain technology, covering its history, key elements, use cases in different industries, and technical challenges.

Smart Contracts: Bitcoin and UTXO

Explores smart contracts in Bitcoin, UTXO model, authorization, validity checks, challenges, applications, and emerging trends.

Ethereum Consensus Protocols: Security and Attacks

Explores Ethereum consensus protocols, vulnerabilities, and solutions for ledger system security.

Blockchain Basics: Financial Applications

Delves into blockchain basics and financial applications, covering hash puzzles, Merkle trees, proof of stake, and smart contracts.

Crypto Wallet for DeFi: MetaMask

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.

Blockchain Fundamentals: Structure and Transactions

Introduces blockchain fundamentals, covering structure, transactions, Proof-of-Work, security assumptions, Bitcoin transactions, Ethereum smart contracts, and limitations.

Blockchain: Introduction and Evolution

Covers the introduction and evolution of blockchains, including decentralization, trusted third parties, and the history of blockchain technology.

Ethereum Virtual Machine: Gas Computation

Explores Ethereum Virtual Machine bytecode, gas computation, and financial blockchain applications using Remix IDE and Etherscan.

Triple-Entry Accounting: Blockchain Implementation

Explores Triple-Entry Accounting (TEA) as a blockchain solution to accounting challenges, offering increased data integrity and automation.

Real Estate Tokenization: Distributed Ledger Technologies

Explores distributed ledger technologies and security tokens in real estate investing, covering history, challenges, benefits, and critical analysis.

Decentralized Finance: Lending Protocols

Explores DeFi lending protocols, interest rate models, AMM-based DEX mechanisms, and future research directions.

Building the Internet Computer: A Glimpse into an Ambitious Adventure

Explores building the 'Internet Computer' and 'Beyond Blockchains', covering WebAssembly, consensus algorithms, state machine replication, and challenges in deriving randomness.

Bitcoin and Ethereum: Scripting and Gas

Explores Bitcoin scripting, Ethereum gas, smart contracts, limitations, and common uses.

Blockchain Essentials: Decentralized Systems Engineering

Explores blockchain essentials, covering key concepts, Bitcoin transactions, Ethereum smart contracts, and future developments.

Verifying Programs with Stainless

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.