Чем отличаются SNARK и STARK

zk-SNARKs и zk-STARKs оба являются доказательствами нулевого знания, которые являются криптографическими методами, позволяющими одной стороне доказать что-то другой стороне, не раскрывая никаких деталей.

Основное различие заключается в том, что zk-SNARKs требуют доверительной фазы настройки, в то время как zk-STARKs нет. Доверительная фаза настройки - это процесс, при котором некоторые начальные параметры создаются одной или несколькими сторонами, а затем уничтожаются. Эти параметры используются для создания и проверки доказательств, но если они не уничтожены, их можно использовать для создания поддельных доказательств.

Другим отличием между zk-SNARKs и zk-STARKs является то, что zk-SNARKs более лаконичны и эффективны, в то время как zk-STARKs более прозрачны и безопасны. Доказательства zk-SNARKs очень короткие, поэтому их можно генерировать с низкими вычислительными затратами и быстро проверять. Напротив, доказательства zk-STARKs не зависят от скрытых предположений или секретов и устойчивы к квантовым атакам.

Хотя может показаться, что zk-SNARKs более масштабируемы из-за быстрой проверки доказательств, zk-STARKs являются более масштабируемым решением, потому что они генерируют доказательства быстрее, даже если у них большие размеры доказательств. Кроме того, zk-STARKs потребляют меньше газа при размещении на основную сеть Ethereum.