Trusted by the best
A Golang StarkNet node implementation, contributing to the decentralization of StarkNet.
Sedge is a one-click setup tool for validators and nodes on PoS networks, written entirely in the Go programming language. Sedge takes care of the entire on-premise full node setup based on the chosen client, using generated docker-compose scripts based on the desired configuration.
Smart Contracts Security Audits
Our auditing team secure smart contracts and protocol in the Ethereum and StarkNet ecosystems. We offer thorough one-time audits or continual security reviews employing an agile, hands-on approach.
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.
Conducting research and development for transparent, democratised and distributed Maximal Extractable Value.