同じ作業でも、どこで行うかによってコストはまったく変わります。部屋の中で水が入ったバケツを運ぶ—何もありません。

それを10階分、運ぶとなると、まるで別の仕事です。同じ水。 同じバケツ。価格を決めるのは環境です。

ゼロ知識システムにはまさにこの問題があり、そして多くの人がそこで注意を払い続けるのをやめてしまいます。

@Dusk のプライベートな取引では、証明されるべきことが回路として表現されます。そしてその回路の中では、通常の操作がすぐに高コストになります。ハッシュが最も分かりやすい例です。SHA-256 のような標準的なハッシュは、あなたのスマホ上では簡単ですが、ZK回路の中では破滅的に高価です。Zcashはこの点を苦い経験で学びました。SHA-256 を回路内で使うと、大きな計算ペナルティが発生したのです。

だから Dusk は Poseidon を使います。これは、ゼロ知識回路の中で効率よく動作することを目的に設計されたハッシュ関数です。これは Dusk の中核となる暗号プリミティブの1つで、BLS12-381、JubJub、Schnorr と並びます。

重要なのはこの数字：Poseidon は Pedersen Hash よりも、メッセージのビットあたりの制約を最大で約8分の1に抑えます。制約が少なければ、証明は小さくなり、速くなり、安くなります。実用可能なプライバシーと、提供するには遅すぎるプライバシーの違いです。

Dusk では BLS12-381 フィールド上で動作し、コミットメントやメルクルツリーのハッシュを扱います。ステーク契約、転送契約、Citadel で使われ、Dusk のデータ構造全体で用いられる衝突耐性のあるハッシュが提供されます。

そしてそれは既製品から借りた単なるプリミティブではありません。Poseidon の共同著者の1人は Dusk Network 自体に所属しています。

誠実な見解ですが、効率的なハッシュだけでシステムがプライベートになったり、正しくなったりするわけではありません。これは積み重ねの一部です（PLONK による証明、JubJub、メルクルツリー）。しかしそれは、プライバシーを“実際に”大規模に実行できるほど安くできるかどうかを決める部品です。

高コストの本質はデータを隠すことではありません。証明することです—手頃に。

ノイズではなく信号を追え。
$DUSK #dusk @Dusk