tokenlibs-with-proofs
by sec-bit
Correctness proofs of Ethereum token contracts
AI summary
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
- stars
- 97
- forks
- 23
- watching
- 15
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq verifier
Formal verification of Python code using Coq
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Contract verifier
A framework for verifying smart contracts using Coq
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Contract analyzer
An automated security scanner for Ethereum smart contracts
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
Smart contract analyzer
A security scanner for Ethereum smart contracts
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
Verified contracts
Formally verified smart contracts for blockchain applications
Transaction processor
An Ethereum contract that enables the verification and relaying of Bitcoin transactions to other smart contracts.
Ethereum test suite
Common tests for various Ethereum clients and implementations to verify their correctness
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions tokenlibs-with-proofs.
