Open resource for blockchain builders
The blockchain builder's directory.
Curated open-source tools, research papers, protocols, and learning paths. Everything a blockchain developer or researcher needs — organised, opinionated, and kept current by the kcolbchain community.
Open-Source Tools
Battle-tested developer tooling across the blockchain stack.
Security & Auditing
Static analysis framework for Solidity. Detects vulnerabilities, optimisation issues, and code quality problems.
EVM bytecode security analysis tool using symbolic execution, SMT solving, and taint analysis.
Blazing fast EVM toolkit. Forge for testing/fuzzing, Cast for interacting, Anvil for local nodes.
Property-based fuzzer for Ethereum smart contracts. Finds edge cases that unit tests miss.
Formal verification tool for smart contracts. Proves properties hold for all possible inputs.
Arbitrum's fraud proof system. BoLD enables permissionless validation with bounded dispute resolution.
Zero-Knowledge & Privacy
Domain-specific language for defining arithmetic circuits used in ZK-SNARK proofs.
Domain-specific language for ZK circuits. Rust-like syntax, backend-agnostic, growing ecosystem.
General-purpose ZKVM based on RISC-V. Write normal Rust, get a ZK proof of execution.
Performant, open-source ZKVM. Write Rust programs, generate proofs. Used by major rollups.
Programming language for STARK-provable programs. Powers StarkNet and StarkEx.
PLONK-based proving system with recursive proof composition. No trusted setup. Used by Scroll, Zcash.
DeFi & Financial Primitives
Singleton contract AMM with hooks architecture. Custom logic on every swap, LP, and pool action.
Multi-chain lending protocol. Efficiency mode, isolation mode, portals for cross-chain liquidity.
Minimal, immutable lending primitive. Permissionless market creation. ~650 lines of code.
Yield tokenisation protocol. Split yield-bearing assets into principal and yield tokens.
Modular lending framework. Build custom lending markets with composable vault components.
Curve's stablecoin with LLAMMA — a lending-liquidating AMM that soft-liquidates positions continuously.
Infrastructure & Scaling
Modular rollup framework. Powers Optimism, Base, and dozens of OP chains. Superchain vision.
zkEVM rollup with bytecode-level EVM compatibility. Uses Halo2-based proving system.
Modular data availability layer. Data availability sampling (DAS) for scalable blob storage.
Restaking protocol. ETH stakers can opt-in to secure additional services (AVSs), extending Ethereum's trust.
Proposer-builder separation for Ethereum. Connects validators to block builders via relays.
High-performance Ethereum execution client. Modular architecture, optimised for speed and extensibility.
AI x Blockchain
Bring AI inference on-chain. Request compute from decentralised nodes, receive verified results in smart contracts.
Verifiable ML inference framework. Run neural networks with STARK proofs of correct execution.
Decentralised AI network. Subnets for different AI tasks, miners contribute compute, validators verify quality.
Developer Tooling
Ethereum development environment. Compile, test, deploy, and debug Solidity with a plugin ecosystem.
Pythonic smart contract language. Designed for security and auditability over flexibility.
Modular TypeScript interface for Ethereum. Type-safe, tree-shakeable, minimal. Replaces ethers.js/web3.js.
High-performance Rust libraries for Ethereum. Transports, providers, contracts, primitives.
Full-stack Ethereum starter kit. Next.js + Hardhat + wagmi. Hot reload, deploy to any chain.
Research Papers & Reports
Foundational and frontier papers every blockchain researcher should read.
Consensus & Protocol Design
Ethereum's Gasper consensus — the combination of Casper FFG finality and LMD GHOST fork choice that powers proof-of-stake Ethereum.
Linear-complexity BFT protocol. Foundation for Diem/Libra and many modern consensus designs.
The paper that defined MEV. Showed how miners/validators profit from transaction ordering.
Vitalik's definitive explainer on rollup design space — optimistic vs ZK, data availability, security models.
Zero-Knowledge & Cryptography
Universal SNARK with a single trusted setup. Foundation for most modern ZK systems.
The STARK paper. No trusted setup, post-quantum secure, quasi-linear prover time.
Lookup-based approach to ZKVM proving. Dramatically simplifies VM verification circuits.
DeFi & Mechanism Design
Formalised impermanent loss as "loss-versus-rebalancing" (LVR). Changed how we think about AMM LP returns.
Analysis of priority ordering in L2s and its MEV implications. Argues for better auction mechanisms.
Mathematical framework for stablecoin stability analysis. Predicts depeg conditions under stress.
Scaling & Data Availability
Introduced blob-carrying transactions to Ethereum. 10-100x cheaper L2 data costs. Foundation for full Danksharding.
How light nodes can verify data availability without downloading full blocks. Core to modular blockchain thesis.
Rollups that use L1 validators for sequencing. Maximum decentralisation, liveness, and composability.
Tokenisation & RWAs
BIS working paper on tokenisation of real-world assets. Risks, regulatory frameworks, and systemic implications.
BlackRock and industry analysis of tokenised funds, treasuries, and institutional adoption trajectories.
Protocols & Networks
Major blockchain protocols and networks worth studying.
The programmable blockchain. Smart contracts, DeFi, NFTs, rollups. Largest developer ecosystem.
Largest optimistic rollup by TVL. Nitro execution, BoLD fraud proofs, Stylus (WASM smart contracts).
OP Stack rollup ecosystem. Superchain vision — shared sequencing, interop, and governance.
ZK rollup with native account abstraction, LLVM compiler, and custom ZK circuits. Boojum proving system.
STARK-based ZK rollup. Cairo language, Madara sequencer, appchains. Post-quantum proof system.
Modular data availability layer. Data availability sampling for sovereign rollups.
Shared security marketplace. Restake ETH to secure oracles, bridges, DA layers, and other AVSs.
High-throughput L1 with parallel execution (Sealevel). Firedancer validator client by Jump Crypto.
Learning Paths
Structured paths for going from zero to contributor in each domain.
Smart Contract Security
Start: Damn Vulnerable DeFi, Ethernaut
Intermediate: Secureum, Code4rena, Sherlock audits
Advanced: Formal verification (Certora CVL), custom Foundry fuzz tests
Ship: Contribute to Slither detectors, write audit reports
Zero-Knowledge Engineering
Start: ZK Whiteboard Sessions, 0xPARC learning group
Intermediate: Circom/Noir circuits, Halo2 tutorials
Advanced: ZKVM internals (SP1/RISC Zero), custom proving systems
Ship: Build a ZK app, contribute to PSE repos
DeFi & Mechanism Design
Start: Finematics, DeFi MOOC (Berkeley)
Intermediate: Read Uniswap/Aave/Morpho source code
Advanced: LVR paper, mechanism design papers, Gauntlet simulations
Ship: Build a DeFi primitive, contribute to protocol governance
Protocol Design & Consensus
Start: Ethereum.org docs, Mastering Ethereum
Intermediate: EIP reading, Reth codebase exploration
Advanced: Gasper paper, HotStuff, PBS research
Ship: Contribute to execution/consensus clients
AI x Blockchain
Start: Ritual docs, Modulus Labs blog
Intermediate: ZK-ML papers, EZKL framework
Advanced: Build verifiable inference pipelines
Ship: On-chain AI agents, verifiable ML models
RWAs & Tokenisation
Start: RWA.xyz data, Centrifuge docs
Intermediate: ERC-3643 (T-REX), ERC-1400 security tokens
Advanced: BIS/IMF tokenisation papers, legal frameworks
Ship: Build a tokenisation prototype, contribute to standards
Research Labs & Teams
Organisations doing the best work in blockchain research.
Publish open research on ZK, MEV, mechanism design, and protocol design. Jolt ZKVM, blockspace auctions.
Reth, Alloy, Foundry. Deep engineering + research. MEV, protocol security, EVM tooling.
MEV research and mitigation. MEV-Boost, MEV-Share, SUAVE. Open-source MEV infrastructure.
Security research. Slither, Echidna, Medusa. Best-in-class smart contract analysis tools.
Ethereum Foundation team. Halo2, Semaphore, MACI, and other ZK/privacy public goods.
Academic blockchain research. Flash Boys 2.0 (MEV), smart contract security, DeFi analysis.
Cryptography, consensus, economics. Dan Boneh's group. Foundational ZK and protocol research.
DeFi risk modelling and simulation. Mechanism design optimisation for Aave, Compound, Morpho.
Contribute to the directory
This is an open resource maintained by the kcolbchain community. Submit additions, corrections, or new categories.