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:

1. recalculating it is complex measured in space.

2. recalculating it is complex measured in time.

3. something needs to be hidden

In the blockchain, 1st and 2nd are very important.

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.

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

Fusotao vs AMM DEX and ZK-Proof DEX

You can consult more details in our Technical Greenbook.