zk-STARKs
zk-SNARKsとは異なり、zk-STARKsはハッシュ関数に依存している
量子耐性をもつようになる
trusted setupが必要ない
証明サイズはzk-SNARKsよりも遥かに大きいため、検証時間や検証のためのガス代をより多く必要とする
証明の計算複雑性が低い
参考資料