sol-verifier
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Verify Solidity smart contracts on Etherscan
30 stars
3 watching
15 forks
Language: JavaScript
last commit: almost 2 years ago
Linked from 1 awesome list
etherscanetherscan-apisol-verifiersoliditysolidity-contractsverification-code
bkrem/awesome-solidityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| aniket-engg/sol-profiler | Tool to visualize and review Solidity smart contract methods properties | 30 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
| aniket-engg/sol-profiler-vscode | An extension for Visual Studio Code to generate and store profiles of smart contract methods in Solidity language. | 15 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 sc-forks/solidity-coverage | Tools and utilities to measure coverage of smart-contract code in Solidity programming language | 983 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |
 jg8481/robot-framework-solidity-testing-toolkit | A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework for developing robust and secure smart contract applications on Ethereum and other EVM-compatible blockchains. | 11 |
| tintinweb/smart-contract-inspector | A tool for visually inspecting Solidity smart contracts | 173 |
 whitenois3/huff-snark-verifier | Generates optimized smart contract code for verifying proofs in blockchain applications | 126 |