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

GitHub

97 stars
15 watching
23 forks
Language: Coq
last commit: over 7 years ago
Linked from 2 awesome lists

coqerc20formal-verificationprooftoken

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
formal-land/coq-of-pythonFormal verification of Python code using Coq30
ethereum/sourcifyA decentralized service for verifying the integrity of smart contract source code on Ethereum.791
sri-csl/solidityAn automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.50
astenbaek/atpl-projectA framework for verifying smart contracts using Coq0
au-cobra/concertA framework for verifying smart contracts in Coq using formal methods and property-based testing.114
aniket-engg/sol-verifierTool to verify Solidity smart contracts on Etherscan30
eth-sri/securify2An automated security scanner for Ethereum smart contracts589
whitenois3/huff-snark-verifierGenerates optimized smart contract code for verifying proofs in blockchain applications126
formal-land/coq-of-rustTool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist437
josefgit/concertA framework for verifying smart contracts in Coq, a proof assistant language.0
eth-sri/securifyA security scanner for Ethereum smart contracts219
tezos/tezoscoqA Coq-based library providing a formal verification framework for the Tezos smart contract language28
runtimeverification/verified-smart-contractsFormally verified smart contracts for blockchain applications720
ethereum/btcrelayAn Ethereum contract that enables the verification and relaying of Bitcoin transactions to other smart contracts.614
ethereum/testsCommon tests for various Ethereum clients and implementations to verify their correctness567