---
# System prepended metadata

title: Zkp Libs and DSLs

---

# Zkp Libs and DSLs

|Lib/DSL   | Arithmetization| Information-Theoretical Proof System|Cryptographic Compiler | Specs | Projects | 
|----------|----------------|-------------------------------------|-------|-----------------------|-------|
|Circom    |  R1CS, Plonk     |  Groth16|	EC Pairing	|-DSL. -Compile DSL to R1CS|Tornado Cash, Unirep, Hermez zkEVM|
|Halo2(PSE)     | Plonkish     |IOP + KZG| EC Pariring| - Low level lib. - Powerful but hard to use| zkEVM(PSE, Scroll), and a lot of project|
|Plonky2   |		| | |

 
# zkVM and zkEVM 
RISC-0, Miden, Cairo, Scroll-zkEVM, PSE-zkEVM, Polygon-zkEVM, Kakarot(Based on Cairo), zkwasm, zkSync, aaa

- CPU arch
- Opcode
- Assembly
- Compiler from high level language
- zkp lib?

zk-components

zkLLVM?

tooling?