#dusk $DUSK @Dusk

パイクラスト：Duskのスマートコントラクト仮想マシン

今夜思ったのは、スマートコントラクトの話になると、注目はたいていアプリケーション側に向きがちだということです。ですが、その下にある実行レイヤーも同じくらい重要です。

DuskのPiecrust VMは、別のアプローチを取っています。コンパクトなWASMモジュールを、セキュアで効率的なスマートコントラクト実行のために設計された、軽量でモジュール化された環境の中で動かします。主にRustで書かれたPiecrustは、開発者がコントラクトのコンパイル、テスト、デプロイ、管理を行うのを助けるpiecrust-uplinkによって支えられています。

私の注意を引いたのは、Piecrustが重い暗号処理をどう扱うかです。すべてをWASMに押し込むのではなく、ホスト関数が、ハッシュ、ZKプルーフの検証、署名の検証といった処理を担当します。

この設計によって、スマートコントラクトの柔軟性が、Duskのプライバシー重視のアーキテクチャと結びつきます。

DUSK-6.62%

Jeeya_Awan

本人確認中

#dusk $DUSK @Dusk

Zedger：プライベート証券とRWAをオンチェーンへ

昨日考えたことですが、Duskについて私が惹かれるのは、現実世界の資産を単なるトークンとして扱っていない点です。Zedgerプロトコルは、より難しい部分、つまりプライバシーと規制要件を考慮しながら、証券やRWAをオンチェーンで利用可能にすることに設計されています。

Duskホワイトペーパーによれば、Zedgerはトークン化された資産とネイティブに発行された資産の両方をサポートしています。ミンティング（発行）、バーン（償却）、配当、発行者主導の強制移転といったアクションを扱えます。さらに、ZK（ゼロ知識）証明や監査機能を用いて、すべてを公にさらすことなくアクティビティを検証します。

これにより、金融市場にとって興味深いモデルが生まれます。機微な取引にはプライバシーを確保しつつも、コンプライアンスと監査可能性に必要なだけの構造を維持できるのです。

私にとってZedgerは、証券をオンチェーンに持ち込むことが単にトークン化の話ではないことを示しています。資産そのものの周りにルールを構築することでもあるのです。

DUSK-6.62%

Jeeya_Awan

#dusk $DUSK @Dusk

ムーンライト対フェニックス：2つのトランザクションモデル

私が惹かれたのは、ダスクがすべての取引を同じプライバシーモデルに押し込めない点です。代わりに、ユーザーには2つの異なる道筋が用意されています。

ムーンライトはアカウントベースの設計です。公開鍵がアカウントを識別し、残高はグローバル状態として管理され、デジタル署名によって取引が承認されます。より透明性の高いルートで、残高や取引チェックがネットワークに見えるようになります。

フェニックスは別のアプローチを取ります。UTXO（未使用出力）に近い仕組みで、資産はノートとして表現されます。秘匿モードでは、ゼロ知識証明により、取引の検証をネットワークが行える一方で、基礎となる詳細を直接開示せずに済みます。nullifier は、同じノートが2回消費されるのを防ぎます。
それで私は、ムーンライトとフェニックスを競合というより補完関係のツールとして捉えています。必要なときは透明性を、必要なときはプライバシーを。こうした二重設計によってダスクは、機密性と検証可能性が両立しなければならない金融ユースケースに、実用的な形で取り組む道を与えています。

DUSK-6.62%

Jeeya_Awan

#dusk $DUSK @Dusk

夕暮れのインセンティブとスラッシング・メカニズム

私がDuskについて特に注目しているのは、そのコンセンサス・インセンティブがシンプルな考え方に基づいて設計されている点です。選ばれるだけでは不十分であり、選ばれたときに正しく振る舞う必要があるのです。

プロビジョナーは提案と投票によって報酬を得られます。一方でプロトコルは、見落とされがちなリスクも扱っています。つまり、将来のブロック生成者が、以前のイテレーションが失敗したことから恩恵を受けてしまう可能性です。Duskは、投票者に報酬を与えることでこれに対処し、ジェネレーター報酬の一部を採用された投票に結びつけ、イテレーション回数を制限します。

ペナルティ側も同様に整理されています。軽微な不備はサスペンドやソフト・スラッシングにつながり、プロビジョナーの影響力を低下させます。二重投票や無効なブロック提案といった、より重大な行為はハード・スラッシングを引き起こし、ステークを焼却します。

その結果、参加、信頼性、そして誠実な振る舞いが経済的に結びついたインセンティブ体系が実現されます。

DUSK-6.62%

Jeeya_Awan

$TUT and $TRUMP are top gainers now!!!

TRUMP-5.05%

TUT-3.30%

Jeeya_Awan

#dusk $DUSK @Dusk_Foundation 最終確定のローリング：黄昏（Dusk）が取引を確定する方法すべてのブロックが「受理（accepted）」から一瞬で恒久的に最終確定（final）へ跳躍する必要はありません。Dusk は、ローリング最終確定というより段階的なアプローチを採用しています。ブロックはまず受理される可能性があります。これはコンセンサスが成立したことを意味しますが、より低い反復（iteration）の競合ブロックによって置き換えられる余地がまだ残っている場合があります。もし、すべての先行する反復がすでに失敗したことが証明されているなら、そのブロックはアテステーション（attested）され、より低い反復の代替案によって置き換えられなくなります。次に確認（confirmation）が来ます。適切な後続（successor）ブロックが追加されるたびに、プロビジョナ（provisioners）が同じチェーンの上に積み上げているというより多くの証拠が積み重なります。受理されたブロックに必要な後続ブロック数は、未解決の先行反復の数に依存します。不確実性が大きいほど、より多くの確認が必要になります。そして最後に、確認がチェーンを通じてローリングしていきます。あるブロックが確認され、その親が最終確定した時点で、そのブロック自身も最終確定に到達できます。興味深いのは、Dusk における最終確定が単純なタイマーや固定の確認回数として扱われないことです。それは、ブロックの履歴と、後続のコンセンサスラウンドによって作られる証拠に適応します。つまり、「可能性 → 受理 → より強い確信 → 最終確定」へと連続的に進む、動く（移りゆく）道筋が生まれます。

#dusk $DUSK @Dusk

最終確定のローリング：黄昏（Dusk）が取引を確定する方法

すべてのブロックが「受理（accepted）」から一瞬で恒久的に最終確定（final）へ跳躍する必要はありません。Dusk は、ローリング最終確定というより段階的なアプローチを採用しています。

ブロックはまず受理される可能性があります。これはコンセンサスが成立したことを意味しますが、より低い反復（iteration）の競合ブロックによって置き換えられる余地がまだ残っている場合があります。もし、すべての先行する反復がすでに失敗したことが証明されているなら、そのブロックはアテステーション（attested）され、より低い反復の代替案によって置き換えられなくなります。

次に確認（confirmation）が来ます。適切な後続（successor）ブロックが追加されるたびに、プロビジョナ（provisioners）が同じチェーンの上に積み上げているというより多くの証拠が積み重なります。受理されたブロックに必要な後続ブロック数は、未解決の先行反復の数に依存します。不確実性が大きいほど、より多くの確認が必要になります。

そして最後に、確認がチェーンを通じてローリングしていきます。あるブロックが確認され、その親が最終確定した時点で、そのブロック自身も最終確定に到達できます。

興味深いのは、Dusk における最終確定が単純なタイマーや固定の確認回数として扱われないことです。それは、ブロックの履歴と、後続のコンセンサスラウンドによって作られる証拠に適応します。

つまり、「可能性 → 受理 → より強い確信 → 最終確定」へと連続的に進む、動く（移りゆく）道筋が生まれます。

DUSK-6.62%

Jeeya_Awan

$ENA and $TUT は今日の好調な銘柄です。

Jeeya_Awan

#dusk $DUSK @Dusk

投票委員会と証明書（Attestations）

Dusk Networkのコンセンサス設計の中で、特に興味深いのは、投票委員会が個々の投票をどのようにコンパクトな証明へと変換するかです。

DuskのSuccinct Attestationプロトコルでは、検証および承認（ratification）のための委員会に所属する提供者（provisioners）が、決定論的ソーティション（deterministic sortition）によって選出されます。委員会のメンバーにはクレジットが付与され、そのクレジットが投票の重みを決定します。ホワイトペーパーでは、委員会は固定の64クレジット構造を用います。

プロセスをより効率的にしているのがBLS署名です。複数の提供者からの投票を、検証しやすい単一の署名に集約できます。

そして、アテステーション（証明書）は「一定数（定足数）に到達した」ことの証明となります。有効（Valid）票の2/3の特別多数（supermajority）によって成功のアテステーションが作られます。一方で、不正（Invalid）、候補なし（NoCandidate）、または定足数なし（NoQuorum）の票が多数となると失敗のアテステーションが作られます。

より大きな意図として、Duskは単に投票を集めるだけではなく、コンセンサスの証拠を検証可能な構造としてパッケージ化し、素早さとプライバシー重視の金融インフラという自らのアプローチを支えています。

ENA-5.80%

TUT-3.30%

Jeeya_Awan

$COTI and $GALA are トップゲイナー（値上がり上位）です。今。

Jeeya_Awan

COTI-2.51%

GALA-7.79%

Jeeya_Awan

🎙️ $Dusk Kadcast のアーキテクチャ

終了

04 時間 08 分 35 秒

Jeeya_Awan

本人確認中

DUSK-6.62%

Jeeya_Awan

$ACE $PEOPLE and $NEIRO

$ONG and $BOME は本日の上昇上位です

ONG-3.73%

BOME-4.40%

Jeeya_Awan

本人確認中

#dusk $DUSK @Dusk

決定論的ソーティション：Duskがバリデータを選ぶ方法

Duskについて興味深い点は、バリデータ選出が単に「より多くのステーク＝常に選ばれる」というだけではないことです。

Duskのサクインクト・アテステーション（Succinct Attestation）コンセンサスでは、「プロビジョナー（provisioners）」と呼ばれるステーカーが、決定論的ソーティション（Deterministic Sortition: DS）によって選出されます。このプロセスは、ステークに応じてクレジットを割り当てるための決定論的抽出を用い、さらにSHA3によって生成されたスコアが各選出を決めます。スコアは、前のブロックのシードと、現在のラウンド、ステップ、そしてクレジット番号を組み合わせて作られます。

巧妙なのは、プロビジョナーがクレジットを受け取った後に、その重みが1 DUSK分だけ減ることです。これにより、同じ参加者が何度も優先され続けるのではなく、参加がステークに比例した状態を保ちます。

つまりDuskは、ランダム性を再現可能で、ステークに重み付けされた選出プロセスへと変え、ブロックを提案し投票する相手が静かに決まっていくよう支えています。

DUSK-6.62%

Jeeya_Awan

$HEMI and $RE are the top gainers now!

Jeeya_Awan

#dusk $DUSK @Dusk

Duskにおけるプロビジョナーとプルーフ・オブ・ステーク

Duskのプルーフ・オブ・ステーク（PoS）モデルが興味深いのは、ステークされたDUSKをコンセンサスにおける能動的な役割へと変換する点です。プロビジョナーと呼ばれるステーカーは、Succinct Attestation（SA）によってブロックの生成と検証を行えます。常に計算競争に依存するのではなく、Duskはステークに応じてブロック生成者と投票委員会を選定するために決定論的ソーティション（Deterministic Sortition）を用います。このプロセスはパーミッションレスに設計されており、委員会ベースの投票によってネットワークが効率的に合意に到達できるようになります。さらにプロビジョナーには参加するインセンティブがあり、誠実な参加には報酬が、障害には罰則が与えられます。これにより、ステークは単なるロックされた資本ではなく、ネットワークを確実に守る仕組みの一部になります。

HEMI-5.18%

RE-3.11%

ログインして、さらにコンテンツを読む

Jeeya_Awan

トレンドトピック