Starred repositories
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)
An LLM-powered automated security review platform for Rust-based cryptography and P2P protocol systems across the Ethereum ecosystem
Lean4 port of xdelta3 binary diff algorithm, with proofs
Heatmap for equities inside an index-heavy portfolio
nono - a capability-based, multiplexing sandbox tool, built for developers - lift'n'shift seamless path to prod. Run agents securely without needing any additional infra, zero setup, zero latency.
🐘 An elephant never forgets. Structured memory system for AI agents.
A high-performance proxy server for streaming media, supporting HTTP(S), HLS, and MPEG-DASH with real-time DRM decryption, acestream, xtreamcode proxy
Smart contracts for onchain verification of SP1.
Protocol Buffers - Google's data interchange format
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Utilities for encoding and decoding frames using `async/await`.
Multiplexer over reliable, ordered connections.
A Rust based DNS client, server, and resolver
A Rust implementation of the Noise Protocol Framework
zkSNARK implementation in JavaScript & WASM
sigp / rust-yamux
Forked from libp2p/rust-yamuxMultiplexer over reliable, ordered connections.
A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types
Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types
A collection of smart contract vulnerabilities along with prevention methods
Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy
Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle attack chains, simulates adversarial exploits, and scores find…
A benchmark and harness for finding and exploiting smart contract bugs
Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits