The Complete Math & Cryptography Reference for Zero-Knowledge Proofs Currently I'm deep in the ZK security rabbit hole. I've spent months going through the math, the circuits, the protocolsn and honestly, the hardest part isn't any single concept. It's seeing how everyMar 12, 2026·19 min read
Learning Certora Prover (Part 1)Introduction Predicates, propositional logic and quantifiers are basic concepts of mathematical logic useful and needed when doing formal verification. Propositional Logic : basis of mathematical logic, dealing with boolean variables and operations....Mar 29, 2025·5 min read
LayerZero V1 vs V2: Deep Dive into Cross-Chain Messaging and InnovationsAs blockchain ecosystems continue to grow, the need for efficient, secure, and customizable cross-chain communication has become paramount. LayerZero, a protocol designed to facilitate trustless omnichain interoperability, has evolved significantly f...Jan 27, 2025·6 min read
Solidity StorageIntroduction Think of Ethereum contract storage like a giant library with infinite shelves, where each shelf (slot) is exactly 32 bytes wide. Many developers new to Solidity imagine storage working like a continuous bookshelf where books (data) are p...Jan 6, 2025·5 min read
TON Virtual Machine / Func Learninghttps://docs.ton.org/learn/tvm-instructions/tvm-overview What are messages and what are transactions? ✉️ Message - the things that happens in between two contracts. It carries a little bit of coins and arbitrary data to a contract address. 💎 Transa...Dec 19, 2024·17 min read
Fuel, FuelVM and Sway LanguageFuel's Purpose-Built Architecture Fuel introduces a novel architecture specifically optimized for Ethereum rollups. This architecture addresses the core issues by integrating: Parallelization: FuelVM supports parallel transaction execution, leveragi...Dec 19, 2024·14 min read
Invariant Testing : From 0 to HeroInvariant testing as kind of super-fuzzing Fuzz Test = many randomly generated values and verify assertion Invariant test : apply same idea but to the system as a whole, during an invariant test, the fuzzer run again all functions in all contracts ...Dec 19, 2024·7 min read
