Lists (1)
Stars
A curated list of resources for Formal Verification with Certora Prover (EVM/Stellar/Solana).
A distributed transaction checking network
Privacy-first tooling for the Ethereum ecosystem
Tornado cash. Non-custodial private transactions on Ethereum.
Specification for the Execution Layer. Tracking network upgrades.
Buttercup finds and patches software vulnerabilities
An on-chain policy engine for Safe smart accounts.
Advanced Python Mastery (course by @dabeaz)
A minimal co-signer setup usable with a Safe
Primers for Specialist AI Smart Contract Auditors
A guard contract restricting DELEGATECALL in safe smart account
Dive straight into React—from basic JSX to advanced hooks—and build a real, modern app in this hands-on crash course!
Elliptic Curve Integrated Encryption Scheme for secp256k1/curve25519 in Python
Community guide to securing and improving privacy on macOS.
📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Solidity Static Analyzer that easily integrates into your editor
Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts
A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
Solo High severity findings from contests 2024
Smallocator is a minimalistic server-based allocator for The Compact using Typescript & Node.js.
SEAL 911 is a project designed to give users, developers, and security researchers an accessible way to connect with a small group of highly trusted security professionals in case of emergency.