Trusted by the best
A StarkNet Client, bringing decentralization to the Network
Auditing & Formal Verification
The Formal Verification team develops formal verification tools and formally verifies smart-contracts. To accomplish this, they use an array of cutting edge proof assistants and programming languages such as Lean and Haskell.
Open source Solidity to Cairo transpiler. Deploy your smart contract on StarkNet now, master Cairo later... or don’t.
Conducting research and development for transparent, democratised and distributed Maximal Extractable Value.