Home Desktop Min
Home Mobile Min

The simplest solutions to the hardest problems in blockchain.

See our projects

Go to the next section
Trusted by the best
Ethereum Foundation
Starkware
Flashbots
Flashbots
Gnosis Chain
Open Zeppelin
Forta
Energy Web
Energy Web
DarkForest
Braavos
Braavos
Braavos
Braavos
Braavos
Software solutions

Building blocks for a decentralized infrastructure

Client

Nethermind Client

An Ethereum client with high levels of performance and customizability.

Download client Read more

Voyager Logo Onblack Strapline 1

Voyager

A sleek block explorer to easily browse and interact with StarkNet.

Explore Voyager Read more

Warp 198x198px

Warp

Open source Solidity to Cairo transpiler. Deploy your smart contract on StarkNet now, master Cairo later... or don’t.

Join Warp competition Read more

Juno Logo Weblandingpage

Juno

A Golang StarkNet node implementation, contributing to the decentralization of StarkNet.

Github Repo

Eq

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.

Sedge Icon 198x198px

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.

Sedge Docs

Security Auditing 198x198px

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.

Read more

Formal Verification 198x198x

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.

Read more

Research initiatives

Collaborating to drive Ethereum forward

MEV

Conducting research and development for transparent, democratised and distributed Maximal Extractable Value.

Read more

Account Abstraction

Enabling smart contract accounts to initiate transactions.

Read more

Verkle Trees

A first step towards enabling stateless clients to safely interact with the network.

Read more

What we do

Smart Contract DevelopmentSmart Contract Development
Security AuditsSecurity Audits
L2 ResearchL2 Research
MEV SolutionsMEV Solutions
DeFiDeFi
Formal VerificationFormal Verification
Protocol EngineeringProtocol Engineering
Tech Due DiligenceTech Due Diligence
Cryptographic ResearchCryptographic Research
Node Infra ManagementNode Infra Management

55
Countries
220+
Team members

Interested in helping Ethereum grow?
Check out our Job Openings or join our Internship Program!