ゼロ知識証明の中でも、量子コンピュータ耐性を持ち、信頼できる初期設定(Trusted Setup)が不要な方式はどれか。

zk-STARKsは、スケーラビリティに優れ、透明性が高く、量子耐性を持つ次世代の証明方式である。