Trusted by the best
Software solutions
Building blocks for a decentralized infrastructure
Nethermind Client
An Ethereum client with high levels of performance and customizability.
Voyager
A sleek block explorer to easily browse and interact with StarkNet.
Warp
Open source Solidity to Cairo transpiler. Deploy your smart contract on StarkNet now, master Cairo later... or don’t.
Horus
Horus is an open-source formal verification tool Starknet smart contracts.
Sedge
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.
Cryptography Research
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.
Research initiatives
Collaborating to drive Ethereum forward
MEV
Conducting research and development for transparent, democratised and distributed Maximal Extractable Value.
Account Abstraction
Enabling smart contract accounts to initiate transactions.
Verkle Trees
A first step towards enabling stateless clients to safely interact with the network.
What we do
Smart Contract Development
Security Audits
L2 Research
MEV Solutions
DeFi
Formal Verification
Protocol Engineering
Tech Due Diligence
Cryptographic Research
Node Infra Management