A JSON-formatted list of some of the known security-relevant bugs in the Solidity compiler
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Smart contracts which are formally verified
Smart Contract Weakness Classification and Test Cases
Explains eight vulnerabilities that are specific to the application level of blockchain technology by analyzing the past exploitation case scenarios of these security vulnerabilities
246 Findings From Trail of Bits Smart Contract Audits