tokenlibs-with-proofs
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Correctness proofs of Ethereum token contracts
97 stars
15 watching
23 forks
Language: Coq
last commit: over 6 years ago
Linked from 2 awesome lists
coqerc20formal-verificationprooftoken
offciercia/defi-developer-road-map
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 formal-land/coq-of-python | Formal verification of Python code using Coq | 30 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 astenbaek/atpl-project | A framework for verifying smart contracts using Coq | 0 |
 au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 whitenois3/huff-snark-verifier | Generates optimized smart contract code for verifying proofs in blockchain applications | 126 |
| formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 437 |
 josefgit/concert | A framework for verifying smart contracts in Coq, a proof assistant language. | 0 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 tezos/tezoscoq | A Coq-based library providing a formal verification framework for the Tezos smart contract language | 28 |
 runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 720 |
| ethereum/btcrelay | An Ethereum contract that enables the verification and relaying of Bitcoin transactions to other smart contracts. | 614 |
| ethereum/tests | Common tests for various Ethereum clients and implementations to verify their correctness | 567 |