Bài đăng

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

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

Miễn trừ trách nhiệm: Nội dung OKX Orbit chỉ để tham khảo. Tìm hiểu thêm

Phản hồi

Chưa có bình luận. Trở thành người phản hồi đầu tiên!

Related Flash News

Ảnh đại diện gốc币界网1 giờ trước

Canaan Technology công bố báo cáo tài chính quý 1 năm 2026: tổng doanh thu 62,7 triệu USD

Ảnh đại diện gốcChainCatcher2 giờ trước

Gate Ventures: Áp lực lạm phát tấn công thị trường và các tổ chức đã đẩy nhanh việc triển khai stablecoin và cơ sở hạ tầng tài chính trên chuỗi

Ảnh đại diện gốcChainCatcher4 giờ trước

Công ty cứu trợ lương hưu lớn thứ bảy của Hàn Quốc đã mất khoảng 32,73 triệu đô la khi đầu tư vào các quỹ ETF sử dụng đòn bẩy Ethereum

Ảnh đại diện gốcOdaily5 giờ trước

Ít nhất tám giám đốc điều hành cấp cao của Ethereum Foundation đã rời đi cho đến nay vào năm 2026

Ảnh đại diện gốcChainCatcher7 giờ trước

Tỷ lệ ETH đã stake tăng lên 31%, khác với hành động giá và niềm tin trên chuỗi tiếp tục tăng

Ảnh đại diện gốcChainCatcher9 giờ trước

Có ba cuộc tấn công DeFi lớn trong năm ngày, nâng tổng số sự cố hack tiền điện tử lên 14 trong tháng 5

Ảnh đại diện gốcTechFlow9 giờ trước

Phân tích: Bitcoin dao động quanh mức 76.800 USD, với thị trường theo dõi liệu mức đóng cửa hàng tháng có thể giữ mức hỗ trợ quan trọng hay không

Ảnh đại diện gốcChainCatcher9 giờ trước

Tảo bẹ: Phục hồi rsETH đạt được tiến bộ quan trọng, nhiều giao thức DeFi cùng thanh lý các vị trí của kẻ tấn công

Ảnh đại diện gốcChainCatcher9 giờ trước

Echo Protocol xác nhận cuộc tấn công và tạm ngưng tất cả các giao dịch chuỗi chéo

Ảnh đại diện gốcChainCatcher10 giờ trước

Dữ liệu: Một số đồng tiền thông minh nhất định đã mua lại 1.344,18 ETH trên chuỗi cách đây 10 giờ, hiện với khoản lỗ thả nổi là 165.000 đô la