ZoKrates
Open SourceA toolbox for zk-SNARKs on Ethereum: a high-level language, compiler, and proof pipeline with Solidity verifier export.
About
ZoKrates is one of the earliest developer toolboxes for zk-SNARKs on Ethereum, providing a Python-like high-level language, a compiler to R1CS, witness computation, proof generation across several schemes, and one-command export of Solidity verifier contracts. It lowered the barrier to entry for ZK development on the EVM and remains useful for prototyping and education. Development activity has slowed compared to newer stacks like Noir, which is worth weighing when choosing it for production systems.
Categories
Circuit Languages
Chains
evm generic
Install
curl -LSfs get.zokrat.es | sh Related Tools
Quick Info
- Pricing
- free
- Open Source
- Yes
- Last validated
- Jul 2026