広場
最新
注目
ニュース
プロフィール
ポスト
OnChain_Detective
2025-12-24 13:02:04
フォロー
イーサリアム共同創始者Vitalik Buterinは最近、興味深い技術予測を共有しました:「脆弱性は避けられず、コードには必然的にバグが存在する」という見方は、2030年代にはもはや通用しなくなるかもしれません。
彼の見解は非常に現実的です——現在、多くのソフトウェアに脆弱性が存在していますが、これは技術的に不可能だからではなく、多くの場面で迅速なイテレーションと機能の改善が絶対的なコードの正確性を追求することよりも重要だからです。企業や開発者はしばしばこの二者の間で妥協を行います。
しかし、もし本当にゼロ脆弱性のコードが必要になったらどうでしょうか?Vitalikは、未来の技術手段はこれを実現できると考えています。これはWeb3エコシステムにとって特に重要です——スマートコントラクトは資金の安全性に関わるため、絶対的なコードの信頼性は贅沢品ではなく、必要不可欠なものとなるでしょう。
形式的検証からAI支援の監査、コンパイラ最適化からランタイム保護まで、ブロックチェーン分野はこうした技術ツールを蓄積しています。もしかすると、2030年代には、安全性と機能のバランス点が再定義されるのを目の当たりにするかもしれません。
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
9 いいね
報酬
9
5
リポスト
共有
コメント
0/400
コメント
WhaleWatcher
· 21時間前
V哥この考えはかなり楽観的だけど、現実はどうだろう...2030年まであと10年、今も契約の脆弱性で韭菜を刈り取られているのに 妄想的な形式的検証が世界を救う?いいことを言うけど、監査費用は誰が払うのか ゼロ脆弱性コード?はは、まずはイーサリアム自体を安定させてから自慢しろ この理論は何度も聞いたことがあるけど、技術の進歩速度はいつもハッカーの創意工夫に追いつかない 面白いビジョンだけど、やっぱり信じられない
原文表示
返信
0
OnlyOnMainnet
· 21時間前
V神又开始画饼了,零bugコード?言うのは簡単だが、実際に2030年になっても修正しているかもしれないね ちょっと待って、形式的検証の仕組みはとっくに存在しているのに、どうして今になって使うと言うのか... スマートコントラクトのバグ補償基金にはもう投資しているけど、まだ待っている状態だ 兄弟たち、この予測をあまり信用しすぎるな。過去10年の予言もすべて外れたからな ゼロバグは夢だ。お金をかけてバグを修正するのが現実だよ
原文表示
返信
0
GasGoblin
· 22時間前
vitalik又开始画饼了,但这次的饼我得承认确实诱人...2030年零漏洞,咱得活到那时候先 不对劲啊,快速迭代和安全性真的能完美兼容吗?还是说他是在暗示某些项目该减速了 形式化验证听起来牛逼,但现实呢...真跑起来能hold住那么多代币?有点悬 等等,他是在为之前那些被黑的合约打补丁吗...笑死 2030年还远呢,咱先把今年的bug活着修完再说吧 智能合约要真零漏洞了,那些安全公司吃啥去?这逻辑我想不通 看起来像是在给ai审计打广告...不过确实需要这玩意儿
返信
0
CryptoMotivator
· 22時間前
吹了这么多年零bug梦,2030年真能实现?我看悬 Vitalik又在画饼,不过这次还真没吹牛皮 形式化验证听起来牛逼,实际就是烧钱砸人力啦 智能合约要是还敢掉链子,那真是活腻了 说好的AI审计呢,还是得靠人工review啊 2030年?那时候新币种都生成几代了,说这话还有点早吧 合约零bug?做梦呢,永远都有黑客没找到的洞 区块链安全这事儿,最后还是信任问题
返信
0
Fren_Not_Food
· 22時間前
vitalik又在放卫星了哈哈,2030年零bugコード...聞くだけでいいや shit happens but make it formalized verification smart contract一个bug就是几百万美元没了,这点他说对了 形式化验证听起来牛逼但真的能用上生产环境?我打赌还是一堆theoretical bs 与其零bug不如零rug pull,有没有
原文表示
返信
0
人気の話題
もっと見る
#
Gate2025AnnualReportComing
93.46K 人気度
#
CryptoMarketMildlyRebounds
43.4K 人気度
#
GateChristmasVibes
24.64K 人気度
#
SantaRallyBegins
8.35K 人気度
#
CreatorETFs
4.41K 人気度
人気の Gate Fun
もっと見る
最新
ファイナライズ中
リスト済み
1
LAF
LAF
時価総額:
$3.49K
保有者数:
1
0.00%
2
Z
zzz
時価総額:
$3.51K
保有者数:
2
0.00%
3
Santa
Santa
時価総額:
$3.51K
保有者数:
1
0.00%
4
XOOB
XOOB
時価総額:
$3.52K
保有者数:
1
0.00%
5
YT
YouTube
時価総額:
$3.53K
保有者数:
1
0.00%
ピン
サイトマップ
イーサリアム共同創始者Vitalik Buterinは最近、興味深い技術予測を共有しました:「脆弱性は避けられず、コードには必然的にバグが存在する」という見方は、2030年代にはもはや通用しなくなるかもしれません。
彼の見解は非常に現実的です——現在、多くのソフトウェアに脆弱性が存在していますが、これは技術的に不可能だからではなく、多くの場面で迅速なイテレーションと機能の改善が絶対的なコードの正確性を追求することよりも重要だからです。企業や開発者はしばしばこの二者の間で妥協を行います。
しかし、もし本当にゼロ脆弱性のコードが必要になったらどうでしょうか?Vitalikは、未来の技術手段はこれを実現できると考えています。これはWeb3エコシステムにとって特に重要です——スマートコントラクトは資金の安全性に関わるため、絶対的なコードの信頼性は贅沢品ではなく、必要不可欠なものとなるでしょう。
形式的検証からAI支援の監査、コンパイラ最適化からランタイム保護まで、ブロックチェーン分野はこうした技術ツールを蓄積しています。もしかすると、2030年代には、安全性と機能のバランス点が再定義されるのを目の当たりにするかもしれません。