# ZK tech

Proof systems

| Proof system | Solidity verification cost | Prover performance | Proof aggregation | wasm prover performance |
| -------- | -------- | -------- | -------- | -------- |
| Plonk |
| Halo |
| Groth16 |
| STARKs |
| RedShift |

fflonk, plookup, turbo plonk, ultra plonk etc.

# Languages

| Lang | proof system | compatibility |
| -------- | -------- | -------- |
| circom | plonk, groth16 |
| zinc | plonk |
| noir (aztec) | plonk |
| bellman | plonk, groth16 |
| bellperson |
| fawkes crypto (zeropool) |
| halo tools? |

research webgpu prover