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ốcChainCatcher1 giờ trước

Citi: Những đột phá về điện toán lượng tử đang tăng tốc và Bitcoin phải đối mặt với rủi ro lượng tử quá mức

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

Tổng lợi nhuận thả nổi của Strategy trên Bitcoin thu hẹp xuống còn 1,35 tỷ đô la và khoản lỗ thả nổi của BitMNR trên Ethereum đã mở rộng lên 7,279 tỷ đô la

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

XRPL vượt qua Ethereum về dòng vốn RWA

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

Địa chỉ liên quan của Matrixport "vị thế mua ETH TOP 1" Lỗ thả nổi lệnh mua ETH thu hẹp

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

Dữ liệu: CoinShares đã chứng kiến dòng tiền ròng khoảng 1,07 tỷ đô la vào các sản phẩm đầu tư tài sản kỹ thuật số vào tuần trước

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

Mạng Verus hiện đã bị đình chỉ và sẵn sàng cung cấp tiền thưởng lỗi nếu kẻ tấn công trả lại tiền

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

Những kẻ tấn công cầu nối chuỗi chéo Adshares đã trả lại 86% số tiền bị đánh cắp

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

Dữ liệu: BlackRock đã gửi 2.221 BTC và 26.572 ETH vào Coinbase

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

Goldman Sachs đã thanh lý XRP và Solana ETF nắm giữ trong quý 1 và vẫn nắm giữ hơn 700 triệu đô la Bitcoin ETF

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

Bybit niêm yết hợp đồng vĩnh viễn GWEIUSDT, hỗ trợ đòn bẩy lên đến 25 lần