Medjai
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
A Symbolic Execution Tool for Cairo
49 stars
1 watching
0 forks
Language: Racket
last commit: over 2 years ago cairo-langdefiethereumracketrosettesecuritystarknetstarkwaresymbolic-compilationsynthesisverificationzero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 credence0x/cairo-damn-vulnerable-defi | A set of challenges to learn offensive security of smart contracts on Starknet using the Cairo language. | 21 |
 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 |
| fuzzinglabs/cairo-fuzzer | A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities. | 120 |
 davidhq/sublimeethereum | A package providing syntax highlighting for Smart Contract languages Solidity, Vyper, Yul, and StarkNet Cairo in the SublimeText editor. | 117 |
 a16z/halmos | A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts | 835 |
 openzeppelin/cairo-contracts | A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment. | 833 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 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 |
 geniusyield/atlas | A Haskell-based tool for building and managing smart contracts on the Cardano blockchain | 67 |
 vishnuram1999/audits | A blockchain auditing service designed to identify and fix security vulnerabilities in smart contracts. | 21 |