verified-smart-contracts
Smart contracts which are formally verified
AI summary
Verified contracts
Formally verified smart contracts for blockchain applications
- stars
- 720
- forks
- 134
- watching
- 51
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Token distributor
Smart contract implementation for a blockchain-based token distribution system
Contract templates
Community-driven development of smart contract templates for the Beefy protocol
Smart contract audits
Provides comprehensive security audit reports for smart contracts on various blockchain platforms.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Smart contract guide
A comprehensive resource for learning Solidity programming language and building smart contracts on the Ethereum blockchain
Contract snippets
A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts
Contract tester
Tests smart contracts written in Solidity on the Ethereum blockchain
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Smart contract audit checklist
A comprehensive auditing checklist for Solidity smart contracts to ensure security and prevent common issues.
Blockchain hub
Smart contracts enabling asset transfers and validator management on the Ronin blockchain
Contract review framework
An opinionated security and code quality standard for Solidity smart contracts.
Blockchain relay library
Smart contracts for facilitating asset transfer and data exchange between two blockchain networks.
Smart Contract Security
Guides developers in writing secure EOS smart contracts by providing security best practices and examples of known vulnerabilities and defensive measures.
Smart contract dev library
A comprehensive development library for building and testing upgradeable Solidity smart contracts on the Ethereum blockchain.
Smart contract libraries
A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum
Featured in 1 awesome list
Each link jumps to the spot where the list mentions verified-smart-contracts.
