Zero Knowledge Scalable Transparent Arguments of Knowledge (zkSTARK)¶
They do not require a trusted setup like zkSNARK. The absence of a trusted setup eliminates concerns related to the potential compromise of the setup parameters.
| zkSTARK | zkSNARK | |
|---|---|---|
| Trusted Setup | (-) | (+) |
| Proof Size | (+) | (-) |
| Verification Complexity | (+) | (-) |
| Proving Time | (+) | (-) |
| Quantum Computing Affection | (-) | (+) |
Note: (+) means greater, which is considered undesirable.