Postingan

Vitalik Buterin：以太坊研发新范式与形式化验证

币界网
币界网
币界网消息，Vitalik Buterin在最新文章中表示，以太坊前沿研发中正兴起一种新范式：直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性。AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。但他也强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效未来软件或将分化为“安全核心”和“非安全边缘”，以太坊将成为重要安全核心之一。
ETH-3,25%
20.50 · 18/05/26·30,53 rb penayangan·
Kunjungi Sumber
0
0

Penafian: Konten OKX Orbit ini hanya disediakan untuk tujuan informasi. Selengkapnya

Balasan

Belum ada komentar. Jadilah yang pertama membalas!

Related Flash News

Avatar sumberOdaily•3j lalu

Dua peneliti di Ethereum Foundation mengumumkan pengunduran diri mereka

Avatar sumber币界网•4j lalu

Aster meluncurkan mekanisme pemungutan suara proposal pencatatan on-chain

Avatar sumberChainCatcher•5j lalu

Delphi Digital: Tiga pasar inti Aave memiliki masalah struktural, dengan kerugian tahunan sekitar $52 juta

Avatar sumber币界网•5j lalu

Pemantauan on-chain: Dana ETF mengalir keluar dari BTC dan ETH, dan dana SOL mengalir masuk

Avatar sumberChainCatcher•7j lalu

Citi: Terobosan komputasi kuantum semakin cepat, dan Bitcoin menghadapi risiko kuantum yang berlebihan

Avatar sumberChainCatcher•7j lalu

Total laba mengambang Strategy pada Bitcoin menyempit menjadi $1,35 miliar, dan kerugian mengambang BitMNR di Ethereum meningkat menjadi $7,279 miliar

Avatar sumber币界网•7j lalu

XRPL melampaui Ethereum dalam arus masuk RWA

Avatar sumberChainCatcher•8j lalu

Data: CoinShares melihat arus keluar bersih sekitar $1,07 miliar dalam produk investasi aset digital minggu lalu

Avatar sumberChainCatcher•9j lalu

Jaringan Verus sekarang ditangguhkan dan bersedia menawarkan bug bounty jika penyerang mengembalikan dana

Avatar sumberChainCatcher•9j lalu

Penyerang jembatan lintas rantai Adshares telah mengembalikan 86% dana curian