Trusted by the best
Building blocks for a decentralized infrastructure
An Ethereum client with high levels of performance and customizability.
A sleek block explorer to easily browse and interact with StarkNet.
Open source Solidity to Cairo transpiler. Deploy your smart contract on StarkNet now, master Cairo later... or don’t.
Horus is an open-source formal verification tool for developers to formally verify StarkNet smart contracts.
A StarkNet Client, bringing decentralization to the Network
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 Cryptography Research team uses theoretical results to improve, build or break cryptographic protocols. Their main areas of interest are zero-knowledge proofs, identification schemes, and Distributed Validator Technology.
Collaborating to drive Ethereum forward
Conducting research and development for transparent, democratised and distributed Maximal Extractable Value.
A first step towards enabling stateless clients to safely interact with the network.