# 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?