Services

Security Consulting / Training

Audits

Protocol Design & Analysis

02

Research & Development

Grant program

Aragon Nest

Project

Scalable & Private Voting through Billinear Pairings

ZK Labs was awarded a grant to produce a scheme for
off-chain signature generation with efficient
on-chain verification. The aim is to create a construction that
scale wells with the number of participants, and with steps beyond key
registration and final verification to be
done off-chain.

03

Audits

2018-09-01

Cosmos

Services

Code Auditing

Code review

Vulnerability finding

Security consulting & training

Need an Audit for your Smart Contract?

ZK Team

Matthew Di Ferrante

Founder of ZK Labs, Cryptographer and Lead Auditor

Matthew is the Founder of ZK Labs and he has been involved in the ethereum/blockchain community since the beginning, and has close to a decade software engineering experience. His expertise are cryptography, distributed systems and information security.

Dean Eigenmann

Founder of Harbour, Auditor and Solidity Developer

Dean is the creator of the Harbour governance protocol, and one of the main contributors of the ENS project. He is experienced both in auditing and developing complex smart contracts in solidity and EVM assembly.

Awa Sun Yin

Co-Founder of Cryptium Labs, Researcher

Awa is one of the co-founders of Cryptium Labs. In the past, she worked as a data scientist and software engineer at Chainlaysis, researcher at Cosmos, and helped at the Ethereum Community Fund managing technical grants. She currently works part-time at ZK Labs and her research areas are, but not limited to, on Proof-of-Stake mechanisms, security models of validators, and privacy.

Nick Johnson

Ethereum Core Dev & ENS Lead

Nick is a core developer at the Ethereum Foundation and leads the popular ENS (Ethereum Name Service) project. He’s also an experienced auditor, having performed platform audits for many different well known ethereum projects.

Harry Roberts

Security Professional and Ethereum Bug Bounty Winner

Harry is a security professional with over a decade of experience and is an awardee of a bug bounty from the Ethereum Foundation. He is one of the few programmers alive who can actually understand and implement zkSNARKs.

Adex Platform Audit

The ZK Labs auditors were hired by the Adex team to conduct 2 separate audits of their platform, which can be found in the Adex github repository. The team audited the smart contract versions found in the commit…