sourcify
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Decentralized Solidity contract source code verification service
791 stars
39 watching
405 forks
Language: TypeScript
last commit: 2 months ago
Linked from 2 awesome lists
contractsverification
bkrem/awesome-solidity
ipfs/awesome-ipfsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 sec-bit/tokenlibs-with-proofs | Verifies the correctness of Ethereum token contracts using formal methods and proof assistants. | 97 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
 frederikvigen/concert | A framework for verifying smart contracts in Coq to ensure their correctness and security | 0 |
| ethereum/solidity-examples | A collection of reusable Solidity code snippets for common tasks and Ethereum-related utilities | 541 |
 dethcrypto/dethcode | A tool that enables users to browse and view Ethereum smart contracts in Visual Studio Code without leaving the browser | 1,360 |
 whitenois3/huff-snark-verifier | Generates optimized smart contract code for verifying proofs in blockchain applications | 126 |
 raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 josefgit/concert | A framework for verifying smart contracts in Coq, a proof assistant language. | 0 |
 siimplex/concert | A framework for verifying smart contracts in Coq | 1 |
 astenbaek/atpl-project | A framework for verifying smart contracts using Coq | 0 |