We secure the
future of cryptography

ZKP. MPC. FHE. Post-Quantum. We're the experts protocols trust when security can't fail.

Start an Audit View Reports
Trusted by
Solana Foundation Aztec StarkWare Aleo Mysten Labs NEAR Ethereum Foundation RISC Zero Mina Cardano Celo Matter Labs Lighter
Solana Foundation Aztec StarkWare Aleo Mysten Labs NEAR Ethereum Foundation RISC Zero Mina Cardano Celo Matter Labs Lighter

We audit, build, and research

Comprehensive security for advanced cryptographic systems

Security Audits

Find vulnerabilities in ZK circuits, cryptographic protocols, and security-critical code before attackers do.

View reports

Development

Production-grade cryptographic implementations, from proof systems to protocol libraries.

Explore projects

Research

Cutting-edge work in ZK, MPC, and FHE. We publish findings and build tools for the community.

Read research
Live feed

Recent Audits

Security assessments for advanced cryptographic systems

View all reports →

Timeline

Recently published
Open source lab

Development

Repositories, prototypes, and production-grade tooling

View all on GitHub →
Featured repo

clean

Formally verified zkEVM in Lean 4, built for Ethereum Foundation with a focus on auditability.

Lean 4 zkEVM Formal proofs
★ 1.2k ⑂ 78 Updated 3d ago
Snapshot
clean / circuits / addition8.lean
1
def circuit := do
2
let x ← witnessField (F := F pBabybear) fun _ => 246
3
let y ← witnessField fun _ => 20
4
let z ← Gadgets.Addition8.circuit.main { x, y }
5
Gadgets.Addition8.circuit.main { x, y := z }
Lean MIT License
View on GitHub

Repository board

Active

mina-attestations

Repo

Privacy-preserving credential verification on Mina.

OCaml ★ 312 ⑂ 28

webgpu-prover

Lab

GPU-accelerated ZK proving in the browser, built for Starknet.

TypeScript ★ 182 Updated 5d ago

Release notes

  • ● Added Lean proof harness for Addition8 circuits.
  • ● Improved Mina credential verifier perf by 22%.
  • ● WebGPU prover demo now supports multiple devices.
Field notes

Research & Learning

Open-source tools and educational content from our team

View all on our blog →
Featured resource

ZK Bug Tracker

Reproducible ZK vulnerabilities for learning, audits, and protocol research.

Attack playbooks Repros Community notes

Bug mix

Live
Explore bugs

Learning tracks

Self-paced
PL

PLONK Tutorial

Interactive

Interactive guide to the PLONK proving system.
SC

Sumcheck Protocol

Deep dive

Fundamental building block for modern ZK systems.
ST

S-two Book

Reference

Comprehensive guide to STARK proving systems.

Latest blog posts

Fresh releases

Posts

Issue 07

Latest papers

fresh releases

Papers

Let's secure your protocol

Talk to our team about your security needs

Get in Touch