Smart Contracts
We have extensive experience in EVM and non-EVM based smart contract security reviews. Servicing the industry since the earliest days of Solidity.
We have assessed a wide range of projects, some examples being; multi-billion dollar DeFi projects, low-level gas-saving assembly libraries, core protocol infrastructure and standard token contracts.
Zero Knowledge Systems
We review various types of zero-knowledge systems, including custom circuits, provers, verifiers and all applications built on top of zero-knowledge platforms.
We have developed a particular expertise in the Cairo programming language projects, low-level gas-saving and standard token contracts.
Blockchain Primitives & Infrastructure
As creators and maintainers of a popular Ethereum consensus client, we have unique expertise in securing core blockchain primitives, including novel cryptographic primitives devised in the blockchain context, p2p networks and their associated designs and applications.
Layer 2 Protocols
We assess layer 2 software with a particular focus on new virtual machine implementations & associated languages, layer 2 sequencers, general architecture and infrastructure as well as any security risks based around decentralized trust on the layer 1.