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.
Related resources¶
- Circom2 Documentation (doc, 2021)
- gnark Documentation (Consensys) (doc, 2021)