Ethereum thúc đẩy dự án xác minh đồng thuận dựa trên Lean
Ethereum thúc đẩy dự án xác minh đồng thuận dựa trên Lean
Ưu tiên chúng tôi trên GoogleWEEX View
- Điểm cần theo dõi then chốt là liệu đặc tả đã được xác minh này vẫn chỉ là công cụ an toàn ở tầng nghiên cứu hay sẽ được tích hợp chặt chẽ hơn vào quá trình phát triển client sản xuất và kiểm thử nâng cấp.
- Thị trường cũng nên theo dõi phạm vi công việc này bao phủ các thay đổi Ethereum trong tương lai đến đâu, đặc biệt khi các nâng cấp bổ sung những tính năng đồng thuận phức tạp hơn như ePBS trong Gloas.
- Tín hiệu thực tế không nằm ở tác động giao dịch ngắn hạn, mà ở việc Ethereum có thể tiếp tục giảm rủi ro sai khác trong cách diễn giải của các client hay không — một mối lo ngại lâu dài ở cấp độ mạng trong kiến trúc đa client.
Nhóm nghiên cứu của Ethereum cho biết dự án Etheorem, xây dựng một đặc tả đồng thuận Ethereum có thể thực thi bằng ngôn ngữ chứng minh định lý Lean 4, đã đạt cột mốc mới khi vượt qua toàn bộ vector kiểm thử cho ba phiên bản hard fork sắp tới: Fulu, Gloas và Heze.
Theo bản cập nhật nghiên cứu, dự án sử dụng xác minh hình thức thay vì kiểm thử mã nguồn thông thường để kiểm tra logic đồng thuận của Ethereum. Mục tiêu là phát hiện sớm các điểm yếu logic và giảm khả năng chuỗi bị phân tách do các triển khai client khác nhau diễn giải quy tắc theo những cách khác nhau.
Tiến triển mới nhất bao gồm các lĩnh vực cốt lõi như chuyển đổi trạng thái và lựa chọn fork. Nhóm cho biết logic được kernel Lean xác minh độc lập, đưa khuôn khổ này thành một lớp nền có mức đảm bảo cao hơn cho các nâng cấp Ethereum trong tương lai. Thông báo không cho biết liệu đặc tả đã được các client sản xuất áp dụng trực tiếp hay chưa, cũng không nêu lịch trình triển khai ngoài phạm vi fork đã đề cập.
Công việc này nhắm vào một điểm yếu đã biết trong sự đánh đổi thiết kế của Ethereum. Ethereum dựa vào nhiều client được xây dựng độc lập thay vì một cơ sở mã nguồn duy nhất chiếm ưu thế, điều này cải thiện khả năng phục hồi nhưng cũng tạo ra khả năng phân kỳ nếu các triển khai hiểu sai hoặc mã hóa các thay đổi giao thức không nhất quán.
Rủi ro đó vẫn là một vấn đề kỹ thuật hiện hữu trong toàn hệ sinh thái. Các nỗ lực phát triển rộng hơn của Ethereum trong những năm gần đây ngày càng nhấn mạnh sự đa dạng client, củng cố đồng thuận và xác minh hình thức như một phần của khả năng phục hồi giao thức dài hạn, đặc biệt khi các nâng cấp sắp tới trở nên phức tạp hơn về mặt kỹ thuật.
Vì sao điều này quan trọng
Bản cập nhật này quan trọng vì tập trung vào hạ tầng bảo mật của Ethereum thay vì ra mắt một tính năng hướng đến người dùng. Việc chính thức hóa đặc tả đồng thuận trong một hệ thống được xác minh bằng toán học có thể tăng cường độ tin cậy của các nâng cấp và giảm xác suất xảy ra lỗi đồng thuận ảnh hưởng đến trình xác thực, tính chung cuộc và sự phối hợp của mạng.
Điều này cũng cho thấy sự thay đổi rộng hơn trong cách các blockchain lớn quản lý rủi ro giao thức. Khi Ethereum bổ sung các tính năng tinh vi hơn, các phương pháp xác minh có mức đảm bảo cao hơn có thể trở nên quan trọng hơn trong việc thu hẹp khoảng cách giữa các đặc tả bằng văn bản và hành vi thực tế của client.
Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.
Giới thiệu về WEEX View
WEEX View là trung tâm phân tích và thông tin chuyên sâu về crypto, cập nhật những diễn biến mới nhất về Web3, AI và thị trường toàn cầu. Tiếp cận các nghiên cứu độc lập và phân tích chuyên sâu để đón đầu xu hướng thị trường và cơ hội giao dịch.
Bài viết mới nhất
ThêmCông dân Trung Quốc được cho là đã bị dẫn độ tới Los Angeles trong vụ lừa đảo tiền mã hóa
Theo một báo cáo được cung cấp, một công dân Trung Quốc đã bị dẫn độ từ Hà Lan tới Los Angeles, bị tạm giam sau lần đầu ra hầu tòa liên bang và bị cho là có liên quan đến vụ lừa đảo tiền mã hóa liên quan Campuchia, với 174 nạn nhân người Mỹ đã được xác định.
Vì sao phán quyết về LIBRA tại Argentina có thể chưa chấm dứt rủi ro pháp lý của Milei
Bản tin nhanh cho biết thẩm phán Marcelo Martínez de Giorgi kết luận không có hành vi gian lận trong vụ LIBRA, song các thông tin sau đó cho thấy phán quyết có phạm vi hẹp hơn: loại các nguyên đơn tư nhân khỏi vụ án, trong khi công tố viên vẫn tiếp tục xử lý và kháng cáo vẫn đang diễn ra.
Hiệp hội Blockchain hối thúc Quốc hội Mỹ sửa quy định thuế tiền mã hóa
Hiệp hội Blockchain được cho là đang kêu gọi Quốc hội Mỹ điều chỉnh thuế tiền mã hóa, gồm miễn trừ de minimis, áp dụng cách xử lý như tiền mặt với stablecoin đủ điều kiện và chỉ đánh thuế phần thưởng đào, staking khi được chuyển nhượng.
Phantom triển khai Kalshi tại Mỹ, áp hạn chế thị trường theo từng bang
Theo báo cáo, Phantom bắt đầu triển khai giao dịch Kalshi trong ứng dụng cho người dùng Mỹ từ ngày 23/10, yêu cầu KYC với Kalshi, nạp tiền bằng CASH, thu phí 0,02 USD mỗi hợp đồng và hạn chế một số danh mục tại Michigan, Nevada và Washington.
Giá --
