ZKの基礎 | 第6回：ZKができないこと ゼロ知識証明は、計算が正しく行われたことを示すことができる。 しかし、入力が誠実であったことを示すことはできない。 18歳以上であることを証明する——証明は確実だ。しかし、その背後にある身分証明書が偽物だった場合、ZKはその偽物を同じくらい綺麗に証明してしまう。 AIが正しいモデルを実行したことを証明する——これは確実だ。しかし、トレーニングデータがゴミだった場合、その証明はそれについて何も語らない。 ZKはプロセスを信頼する必要性を排除する。しかし、良質な入力のソースを確保する必要性を排除しない。 ZKを魔法のように売り込んでいる人は、この点を飛ばしている。次にこのテーマについての投稿を信じる前に、このことを理解しておく価値はある 💜