ダスクのVM側を少しの時間見ていて、率直に言うと、こここそがプロジェクトの面白さが出てくるところです。

みんなダスクをプライバシーのためだと話します。でも自分が何度も立ち返ったのは、その下にある問いでした――そのチェーンは、コードを問題化させることなく、実際にどうやってコードを実行するのか？

そこでPiecrustの出番です。Piecrustは、ひとつのシンプルな考えを中心に作られたWASM実行環境です。スマートコントラクトは、徹底的に管理された箱の中に置かれるべきだ、と。

つまらなそうに聞こえます。ですが、すべてのコントラクトが完全には信用できないコードだと思い出すまでです。バグを持っているかもしれないし、悪意があるかもしれないし、開発者が想像もしなかったことをやるかもしれません。

だからこそ、VMは厳格でなければなりません。メモリ境界が重要です。呼び出しが重要です。コントラクトがアクセスできるものが重要です。

ダスクは時間をかけて、こうした要素も強化してきました。境界外メモリ、サンドボックス化、エイリアシング、再入可能性、そして他の深い実行レイヤー上の問題への修正が積み重ねられています。

暗号の見出しになりやすい種類の話ではありません。ですが、自分が実際に注目しているのはこういう部分です。

なぜなら、プライバシーは、その下で動く仕組みの強さにしかならないからです。

ダスクについて自分が良いと思うのは、実行環境がプライバシースタックとは別物として設計されていないことです。コントラクトはWASMで動き、VMが環境を制御し、そして残りのスタックが機密取引と証明を扱います。

パーツは別々でも、一つのシステムとして振る舞わなければなりません。

ダスクは、単にプライバシーを上乗せしてイーサリアムを作り直している、という感じはしません。実行モデルが違いますし、コントラクトのメモリや状態の扱いが、一般的なEVMモデルよりも目的に沿って作り込まれているように感じます。

だからPiecrustが自分の目を引きました。

WASMがかっこいいからではありません。

つまらない部分というのは、だいたい本当のエンジニアリングが詰まっている場所だからです。

もしダスクが本気の金融ネットワークになれば、まず最初に人々がプライベート取引に気づくかもしれません。ごく少数しか、VMがその下のすべてを本来あるべき通りに振る舞わせるよう黙って確実に整えていることには気づかないでしょう。

@Dusk #dusk $DUSK