Lists (8)
Sort Name ascending (A-Z)
Stars
The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code
A free, open-source book that explains how crypto actually works. 15 chapters covering Bitcoin, Ethereum, Solana, DeFi, MEV, market structure, custody, stablecoins, governance, quantum resistance, …
Guidelines and training material to write secure smart contracts
Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state
Rust stateless validator for MegaETH efficient block verification.
Useful prompt for identifying novel, science based ideas on any query
A minimal (and wicked fast) blockchain built with the Commonware Library.
A curated list of auditing resources.
A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploits and so on.
CREATE4 is a universal deployer that supports the trustless definition of chain-specific bytecodes
Tool to extract the 'sanctioned' digital currency (Bitcoin and others) addresses from the Specially Designated Nationals list by the US Office of Foreign Asset Control.
An Awesome List for resources on the foundations of Decentralized Finance (DeFi)
Create a Stark prover & verifier from zero
⛪ Sacred Compute - decentralized compute network
tbl is a swiss army knife for parquet read and write operations
Commonware Library Primitives and Examples
A flexible toolkit for building real-time blockchains



