Software and hardware, designed together
Compute and memory requirements evaluated as one problem, then the system designed around the answer — rather than a chip designed first and an algorithm bent to fit it.
ZK Acceleration
Proving, on
purpose-built silicon.
A zero-knowledge virtual machine proves a program ran correctly. Doing it honestly costs an enormous amount of arithmetic — which is exactly the kind of work that stops belonging on a general-purpose processor.
20xthroughput vs a GPU prover
10s of millionschips carrying our IP
11published papers
What we build
Crypto and ZKP IP libraries
Field arithmetic, hashing and proof-system primitives, already designed and delivered in tens of millions of shipped chips.
A route to volume
Through Intchains Group, a path from design to mass production that a research team does not have on its own.
Where it is used
Privacy and scale on chains
Private transactions, and rollups that batch work off-chain and settle with a succinct proof.
Proving a fact without showing it
Demonstrating eligibility, compliance or identity attributes without handing over the underlying records.
Verifiable AI
Proving a model ran, and ran on the inputs claimed — optionally without revealing weights or inputs.
The Aleo ZK ASIC miner
Aleo's proof workload is heavy enough that general-purpose hardware sets the ceiling on the whole network. Purpose-built miners moved that ceiling; we took the hardware apart in public and wrote down how it works.