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