zk-SNARKsも"身近なもの"になる？zkVerifyが高嶺の花の技術をポンプする

zk-SNARKs（ZKP）というものは、なんだか「高冷」な感じがしませんか？学術論文の中で難解な公式が並んでいるか、超強力な計算能力を要する複雑な検証システムがあります。普通の開発者が使いたいと思っても？月に登るほどの高いハードルです。その結果、ZKPの概念はクールですが、実際に適用されているシーンは非常に少ないです。