DUSK の基盤となる依存関係の一覧を印刷して、行ごとにじっくり確認しました。特に重点を置くべきなのは次の2行です。曲線とハッシュ。今日はこの2つだけを話します。
「曲線」の行は、初期の頃は ZeroCaf と書かれていました。DUSK は既製の secp256k1 や Ed25519 をそのまま完全には採用せず、Ristretto のスカラー場に関する関連ルートを選んでいました。詳しい人が見れば、この選択の意味するところがすぐに分かります。Ristretto の点圧縮は均一で、共因子によって生じる低位の点の穴も塞がれています。このルートでは Bulletproofs などの証明が動作し、生成も検証もスムーズです。ここに不具合が出れば、全チェーンが連鎖的に巻き添えを食らいます。曲線の門道は、外からは見えにくい一方、内行は重視します。$BTC .
「ハッシュ」の行には Poseidon と書かれていました。ゼロ知識回路で最も重いのは制約です。SHA-256 を入れると、制約の数が増えて証明が耐えきれなくなることがあります。Poseidon は回路用に生まれたものなので、同じことをするにしても制約が大幅に少なくなります。DUSK はハッシュまで ZK 用の専用タイプに置き換えていますが、この細部は多くのチェーンがそもそも触るべきだと気づいていません。
この2行を私がなぞった後、DUSK への全体的な印象が固まりました。DUSK は暗号学の土台からして、ゼロ知識証明の要件に合わせて組み立てており、汎用コンポーネントを寄せ集めただけではありません。この種のプロジェクトは、通常、自分たちが何を求めているかをちゃんと理解しています。今後 DUSK がどんな動きをしても、私はその見通しが立っています。#dusk $DUSK @Dusk
「曲線」の行は、初期の頃は ZeroCaf と書かれていました。DUSK は既製の secp256k1 や Ed25519 をそのまま完全には採用せず、Ristretto のスカラー場に関する関連ルートを選んでいました。詳しい人が見れば、この選択の意味するところがすぐに分かります。Ristretto の点圧縮は均一で、共因子によって生じる低位の点の穴も塞がれています。このルートでは Bulletproofs などの証明が動作し、生成も検証もスムーズです。ここに不具合が出れば、全チェーンが連鎖的に巻き添えを食らいます。曲線の門道は、外からは見えにくい一方、内行は重視します。$BTC .
「ハッシュ」の行には Poseidon と書かれていました。ゼロ知識回路で最も重いのは制約です。SHA-256 を入れると、制約の数が増えて証明が耐えきれなくなることがあります。Poseidon は回路用に生まれたものなので、同じことをするにしても制約が大幅に少なくなります。DUSK はハッシュまで ZK 用の専用タイプに置き換えていますが、この細部は多くのチェーンがそもそも触るべきだと気づいていません。
この2行を私がなぞった後、DUSK への全体的な印象が固まりました。DUSK は暗号学の土台からして、ゼロ知識証明の要件に合わせて組み立てており、汎用コンポーネントを寄せ集めただけではありません。この種のプロジェクトは、通常、自分たちが何を求めているかをちゃんと理解しています。今後 DUSK がどんな動きをしても、私はその見通しが立っています。#dusk $DUSK @Dusk