Open Source Blockchain Projects
Blockchain is a shared digital ledger maintained across a network of computers rather than by a single central authority. Participants use agreed-upon rules to record and verify transactions, creating a tamper-resistant history that can support digital assets, automated agreements, and decentralized services. This approach can reduce reliance on intermediaries and make records easier to audit, while introducing challenges around security, privacy, performance, and governance.
Open source tools in this area include node software, developer frameworks, smart contract utilities, testing and security tools, and documentation. When choosing one, consider its maturity, license, maintenance activity, supported networks and languages, security practices, and compatibility with your existing systems. These resources are useful to developers, researchers, organizations evaluating distributed ledgers, and contributors who want to inspect, adapt, or improve blockchain infrastructure.
3 repositories · updated October 3, 2026

EthList: Find Curated Ethereum Learning Resources
EthList is a crowdsourced directory of Ethereum reading and learning materials, from introductory explainers to research, development, trading, and legal resources. Use it to explore the ecosystem or contribute useful links.

CertoraProver: Formally Verify Smart Contracts
Certora Prover checks smart contracts against formal specifications to find violations before deployment. It targets developers and security teams working with EVM-based chains, Solana, or Stellar who need automated verification.

linera-protocol: Build Scalable Web3 Applications
Linera is Rust-based infrastructure for building decentralized applications with low latency and high scalability. This repository includes the protocol, node and client software, and a Wasm application SDK for developers.