Showing 28 of 28 projects
A static analysis framework for Solidity and Vyper smart contracts that detects vulnerabilities, enhances code comprehension, and enables custom analyses.
A symbolic-execution-based security analysis tool for detecting vulnerabilities in Ethereum and EVM-compatible smart contracts.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
Guidelines, best practices, and training material for writing secure smart contracts across multiple blockchain platforms.
A curated collection of DeFi and blockchain research papers, tools, and security resources for developers and researchers.
An opinionated security and code quality checklist for auditing Solidity smart contracts.
A collection of practical security-focused guides and checklists for smart contract development.
An open-source service for verifying Ethereum smart contract source code, supporting Solidity and Vyper.
A 5KB JavaScript library for fast secp256k1 elliptic curve cryptography, including ECDSA, Schnorr signatures, and ECDH.
A curated collection of vulnerabilities and non-standard implementations in ERC20 token smart contracts.
A Rust-based manually-guided fuzzing framework for Solana programs, processing up to 12,000 transactions per second.
A comprehensive guide to security best practices and known vulnerabilities for EOS smart contract developers.
A Rust implementation of Schnorr signatures and verifiable random functions (VRF) on the Ristretto group for secure cryptographic protocols.
A JavaScript library for elliptic curve cryptography, providing key generation, signing, verification, and AES encryption.
A curated list of resources for understanding and securing the Ethereum Virtual Machine (EVM) ecosystem.
A Swift cryptography library providing ECDSA, Schnorr signatures, ECDH, and zero-knowledge proofs on the secp256k1 curve for Bitcoin and Nostr applications.
A Coq framework for formal verification, property-based testing, and extraction of smart contracts.
A static analyzer for Teal (Algorand Smart Contracts) that detects vulnerabilities and visualizes contract structure.
A multi-transaction differential fuzzer for finding consensus bugs in Ethereum clients.
A protection layer for EOSIO nodes that mitigates basic Denial of Service attack vectors.
A stateful session-based authentication service implementing FIDO2 endpoints and Algorand private key proof of knowledge.
A CodeQL query suite for detecting common bug patterns in Cosmos SDK-based blockchain applications.
A shared crypto wallet for managing Stacks (STX) and Bitcoin (BTC) with multi-signature security.
A Ledger hardware wallet application for securely managing WAVES cryptocurrency tokens.
A demonstration of a secure custodial hot wallet architecture using Substrate's proxy, multisig, and utility pallets.
A curated list of blockchain security Capture the Flag (CTF) competitions and writeups.
A community-curated collection of audit reports for projects in the Algorand blockchain ecosystem.
A repository of smart contract security audit reports conducted by Tenset Security for various blockchain projects.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.