# Difference between Fusotao and ZK-SNARKs

ZK-SNARKs is a common solution for the Polynomial problem. Generally speaking, ZK-SNARKs can be used for verifying something without recalculating it. there are 3 reasons we need to consider using ZK-SNARKs:

{% hint style="info" %}
**1. recalculating it is complex measured in space.**

**2. recalculating it is complex measured in time.**

**3. something needs to be hidden**
{% endhint %}

In the blockchain, 1st and 2nd are very important.&#x20;

But as a matching engine, the time cost of recalculating it is acceptable, or even less than verifying by ZK-SNARKs. So far, compared to the zero-knowledge proving, generating merkle proofs without ZK-SNARKs is much cheaper.&#x20;

That’s why we don’t use ZK-SNARKs in Fusotao.

<figure><img src="https://172289118-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FHes4kIbc4agFkT5c94Pj%2Fuploads%2FjyNwGHIAwG122r4pwuJM%2Fimage.png?alt=media&#x26;token=adb242d6-ac66-4adb-931e-8243fea58b90" alt=""><figcaption><p><strong>Fusotao vs AMM DEX and ZK-Proof DEX</strong></p></figcaption></figure>

{% hint style="info" %}
**You can consult more details in our** [**Technical Greenbook**](https://www.fusotao.org/fusotao-greenbook.pdf)**.**
{% endhint %}
