では、ZKについて説明しましょう: 📚 ZKはゼロ知識の略で、プライバシーとスケールという2つの超能力を解放します。 ZKは私の心に深く関わっています。ZK-STARKの共同発明者として、また2つのZKプロジェクト、@Zcash(プライバシーに注力)と@StarkWareLtd(規模と現在はプライバシーに注力)の共同創設者としても

@Zcash @StarkWareLtd ZKはどのように機能するのですか? エンティティには2種類あり、ProverとVerifierがあります プルーバーが重労働を担います: - すべての取引からのデータを登録する - データの処理 - システムの状態の更新(すべての取引後の残高) - 状態更新と証明の生成

@Zcash @StarkWareLtd 検閲官の典型的な声明は「私、検定官は状態Aから始め、1,000,000件のトランザクションを処理し、それに基づいて到達しました」と言われます。 州B」と述べた。 証明は、全体の文の整合性を証明するために検証できる数とハッシュの列です。

@Zcash @StarkWareLtd 検証器(通常はオンチェーンに存在します)は証明をチェックし、数学や暗号技術を使って文が真かどうかを確認してから受け入れられます。 私たちが長年にわたり証明してきた定理によれば、検証者は常に真の命題を受け入れ、偽の命題は決して受け入れない。

@Zcash @StarkWareLtd 悪意のある検閲者が検証者に偽の記述を受け入れさせようとする場合、暗号学的ハッシュ関数の衝突を見つけるのと同じような作業をしなければならず、太陽が冷えるまではできません。

@Zcash @StarkWareLtd なぜZKはプライバシーに良いのか? 検証者は、証言したデータを処理することで文の正しさを確認するのではありません。だからこそ、データは検証者から隠されたまま有効であることを検証できるのです。

@Zcash @StarkWareLtd なぜZKはスケールに良いのですか? 検証者はプルーバーが行った計算をやり直す必要はありません。 プローバーは100万件のトランザクションを処理できますが、検証者はこれらのトランザクションの正確性を検証するために繰り返し処理する必要はありません。証明を確認するだけで、その有効性を確かめることができます。