Blockchain Security
Showing 17 of 17 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.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.