#链上应用与预测市场 Vitalikのこの予測を見た時、私の最初の反応は両方だった——親しくもあり、よそよそしくもあり。親しい理由は、この「技術が最終的にすべてを解決する」という類の議論をこのサークルで何度も聞きすぎたから。そしてよそよそしい理由は、今回は特に重みがあるからだ。

2017年のICO熱潮を思い出す。いくつのプロジェクトが「スマートコントラクトが世界を変える」というラッパを吹いて数千万ドルを調達したか。結果はどうか？The DAO事件、Parityウォレットの脆弱性、無数の「百万ドルレベルのコントラクト脆弱性」により、私たちはある事実を知った——コードの脆弱性はバグではなく、宿命なのだということ。あの年月に失敗したプロジェクトの多くは、この宿命の上で死んだ。

しかし、Vitalikが言う無Bug コードの本質は、形式的検証と証明可能な正当性について語ることだ。これは妄想ではない。ここ数年、Move言語のリソースモデルから、Rustのメモリ安全機構まで、さらにはゼロ知識証明のオンチェーン応用の推進に至るまで——私たちは確実にこの方向に一歩一歩近づいている。ただし、代償として開発サイクルが長引き、パフォーマンスが特定のシナリオで犠牲になっている。

重要な問題は：2030年代までに、このテクノロジーが本当に主流になることができるか？それとも、絶対的なセキュリティを要求する極めて少数のアプリケーション内にのみ存在するか？私は後者傾向だ。予測市場の歴史を見てみるだけで、技術的ブレークスルーと応用の実装の間には、往々にして「経済的インセンティブ」という名の溝が隔たっているのを知ることができる。無Bug コードは可能になるかもしれないが、それを使うコストが市場に受け入れられるかどうか、それはまた別の問題だ。

この周期では、私がより関心を持っているのは、このターニングポイント過程の中で、誰がこの先も生き残れるのかということだ。