verified-smart-contracts
Verified contracts
Formally verified smart contracts for blockchain applications
Smart contracts which are formally verified
718 stars
50 watching
134 forks
Language: Solidity
last commit: about 2 years ago
Linked from 1 awesome list
kareniel/awesome-evm-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
 status-im/status-network-token | Smart contract implementation for a blockchain-based token distribution system | 148 |
 beefyfinance/beefy-contracts | Community-driven development of smart contract templates for the Beefy protocol | 180 |
 techrate/smart-contract-audits | Provides comprehensive security audit reports for smart contracts on various blockchain platforms. | 570 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 willitscale/learning-solidity | A comprehensive resource for learning Solidity programming language and building smart contracts on the Ethereum blockchain | 2,072 |
 raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 26 |
| runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 cryptofinlabs/audit-checklist | A comprehensive auditing checklist for Solidity smart contracts to ensure security and prevent common issues. | 353 |
 axieinfinity/ronin-smart-contracts | Smart contracts enabling asset transfers and validator management on the Ronin blockchain | 157 |
 transmissions11/solcurity | An opinionated security and code quality standard for Solidity smart contracts. | 2,052 |
 omni/tokenbridge-contracts | Smart contracts for facilitating asset transfer and data exchange between two blockchain networks. | 230 |
 slowmist/eos-smart-contract-security-best-practices | Guides developers in writing secure EOS smart contracts by providing security best practices and examples of known vulnerabilities and defensive measures. | 395 |
 solidstate-network/solidstate-solidity | A comprehensive development library for building and testing upgradeable Solidity smart contracts on the Ethereum blockchain. | 440 |
| cryptofinlabs/cryptofin-solidity | A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum | 88 |