Tag
4 repositories
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Verify Cairo contracts in Lean 4
A sierra decompiler
A decentralized financial vault built using Cairo and StarkNet. This vault lets users deposit, withdraw, mint limited tokens, and allows the owner to burn tokens, combining DeFi functionality with tokenized ownership via shares.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.