#Rosette

Showing 1 of 1 repositories tagged #rosette, ranked by stars

__archived__Medjai

A Symbolic Execution Tool for Cairo

★ 15 ⑂ 2 —

Related Topics

#cairo-lang #defi #ethereum #racket #security #starknet #starkware #symbolic-compilation #synthesis #verification #zero-knowledge