sourcify
by ethereum
Decentralized Solidity contract source code verification service
AI summary
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
- stars
- 791
- forks
- 405
- watching
- 39
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Contract analyzer
An automated security scanner for Ethereum smart contracts
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Smart contract analyzer
A security scanner for Ethereum smart contracts
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
Contract utility library
A collection of reusable Solidity code snippets for common tasks and Ethereum-related utilities
Contract viewer
A tool that enables users to browse and view Ethereum smart contracts in Visual Studio Code without leaving the browser
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
Contract snippets
A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
contract verifier
A framework for verifying smart contracts in Coq
Contract verifier
A framework for verifying smart contracts using Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions sourcify.
