Check out our new ERC20 Verification Audit!

Research

We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum foundation, the Web3 foundations, and Zilliqa, to build state-of-the-art solutions for blockchain platforms.

We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum foundation, the Web3 foundations, and Zilliqa, to build state-of-the-art solutions for blockchain platforms.

Academic Papers

Learn more about our research:

Research Partners