Veridise / Medjai Star 49 Code Issues Pull requests A Symbolic Execution Tool for Cairo security racket ethereum verification synthesis rosette zero-knowledge defi starkware cairo-lang starknet symbolic-compilation Updated Sep 13, 2022 Racket
Veridise / Eurus Star 46 Code Issues Pull requests Precise Attack Synthesis for DeFi Apps security ethereum smart-contracts verification solidity synthesis yul defi symbolic-compilation Updated Aug 15, 2022 Racket
chyanju / __archived__Medjai Star 15 Code Issues Pull requests A Symbolic Execution Tool for Cairo security racket ethereum verification synthesis rosette zero-knowledge defi starkware cairo-lang starknet symbolic-compilation Updated Jul 25, 2022 Racket
codemorphist / smbl Star 1 Code Issues Pull requests 🧮🤖 Simple implementation of symbolic computations written on pure Python python math symbolic-math symbolic-compilation Updated Jun 1, 2024 Python