Skip to content

Home > Resources > docs > ZoKrates-Docs

ZoKrates Documentation

Summary

Official documentation for ZoKrates, a high-level language and toolchain for writing and verifying ZK proofs on Ethereum. ZoKrates compiles a Python-like DSL to R1CS and supports Groth16 and PLONK as backends. One of the earliest accessible ZK toolchains, widely used for on-chain ZK verification tutorials.