Medjai
A Symbolic Execution Tool for Cairo
49 stars
1 watching
0 forks
Language: Racket
last commit: about 2 years ago cairo-langdefiethereumracketrosettesecuritystarknetstarkwaresymbolic-compilationsynthesisverificationzero-knowledge