---
# System prepended metadata

title: ZK tech

---

# 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 



