Architecture-first walkthrough of a BLAKE2b hash implementation for Kotlin/JVM, aligned with Cardano’s use of BLAKE2b-224/256, focusing on state layout, compression function, and testing against reference vectors.
Ed25519 Signatures: Theory and Implementation
Architecture-first guide to Ed25519 signatures on Kotlin/JVM, covering keys, signing, verification, and the structure of a pure implementation following RFC 8032.
Read ArticleWhat You'll Learn
Implement the BLAKE2b cryptographic hash function from scratch in Kotlin, understanding its internal compression function, initialization vectors, and parameter block. You'll build a production-ready implementation with proper test vectors and learn how BLAKE2b achieves both security and performance through its unique design.
Architecture-first guide to Ed25519 signatures on Kotlin/JVM, covering keys, signing, verification, and the structure of a pure implementation following RFC 8032.
Deep dive into VRF cryptography used in Cardano's Ouroboros, covering ECVRF construction, proof generation, and verification. Includes Kotlin implementation.
Exploration of KES signatures used in Cardano block production, covering key evolution, signature generation, and security properties. Includes practical implementation.
Guide to BLS signatures and their applications in blockchain systems, covering signature aggregation, threshold signatures, and use cases in Cosmos validators.
Practical guide to implementing Merkle trees for efficient data verification, covering tree construction, proof generation, and verification. Includes applications in Bitcoin SPV and Cardano state proofs.
Introduction to ZK proofs and their applications in blockchain privacy, covering zk-SNARKs, zk-STARKs, and practical use cases. Includes simple proof-of-concept implementations.
Best practices for managing cryptographic keys in production environments, covering HSMs, key derivation, rotation strategies, and secure storage patterns.
Guide to writing timing-attack resistant code, covering constant-time comparisons, conditional operations, and testing strategies. Essential for secure cryptographic implementations.
Comprehensive guide to building multi-sig wallet infrastructure, covering threshold signatures, key ceremonies, and secure transaction signing workflows.
Practical patterns for preventing double-spend in UTXO-based systems, covering mempool management, confirmation tracking, and race condition handling.
Comprehensive security checklist for blockchain applications, covering smart contract vulnerabilities, key management, API security, and infrastructure hardening.
Practical guide to protecting blockchain infrastructure from abuse, covering rate limiting strategies, request validation, and distributed denial-of-service mitigation.
Deep dive into cryptographically secure randomness, covering entropy sources, CSPRNG implementation, and common pitfalls in blockchain systems.
Implementing tamper-proof audit logs for regulated blockchain applications, covering log aggregation, cryptographic commitments, and compliance requirements.
Exploration of BFT consensus in blockchain systems, covering PBFT, Tendermint, and practical implementation considerations for distributed validator networks.
Strategies for preventing Sybil attacks in blockchain P2P networks, covering peer reputation, proof-of-work, and stake-based admission control.
Implementing encrypted communication channels for blockchain nodes, covering TLS, noise protocol, and authenticated encryption patterns.
Introduction to formal verification of consensus protocols, covering safety properties, liveness guarantees, and model checking techniques.
Handling time in distributed systems, covering clock synchronization, timestamp validation, and slot-based consensus timing in Cardano and Cosmos.