Nghiên cứu Zcash công bố chứng minh Ironwood đã kiểm tra

Các nhà nghiên cứu Zcash đã công bố một xác minh chính thức được kiểm tra bằng máy cho Ironwood, nhằm loại trừ các lỗi làm giả không thể phát hiện dưới các giả định mật mã đã nêu. Công trình này nhằm mục tiêu "tính toàn vẹn số dư," một thuộc tính tính toàn vẹn cung cấp nhằm đảm bảo rằng pool được bảo vệ mới không thể trả ra giá trị lớn hơn những gì đã công khai vào trong đó.

Điểm chính

Một xác minh chính thức được kiểm tra bằng máy cho pool được bảo vệ Ironwood của Zcash đã được công bố đểgiải quyếtrủi ro làm giả không thể phát hiện dưới các giả định mật mã đã nêu.
Dự án Tachyon mô tả chứng minh này là "được viết bằng ngôn ngữ lập trình Lean" và bao gồm "hơn 2.700 định lý được kiểm tra bằng máy," được sản xuất bởi ba nhóm trong hơn một tháng.
Mục tiêu an ninh đã được xác minh là "tính toàn vẹn số dư," nhằm đảm bảo rằng Ironwood không thể trả ra giá trị lớn hơn những gì đã công khai vào pool.
Ironwood đã được phát hành qua bản nâng cấp NU6.3 sau một lỗ hổng Orchard đã được tiết lộ có thể lý thuyết cho phép làm giả ZEC không thể phát hiện, với các nhà phát triển cho biết họ "không tìm thấy bằng chứng cho thấy lỗi đã bị khai thác."

Ironwood Nhận Chứng Minh "Tính Toàn Vẹn Số Dư" Được Kiểm Tra Bằng Máy

Các nhà nghiên cứu Zcash đã hoàn thành và công bố một chứng minh được kiểm tra bằng máy cho Ironwood, pool được bảo vệ mới hơn của mạng lưới. Mục tiêu đã nêu là hẹp nhưng có liên quan đến thị trường: loại trừ các lỗi làm giả không thể phát hiện dọc theo con đường cụ thể sẽ phá vỡ tính toàn vẹn cung cấp, giả sử mô hình mật mã giữ nguyên.

Dự án Tachyon cho biết việc xác minh được thực hiện trong Lean và trải dài hơn 2.700 định lý được kiểm tra bằng máy, với ba nhóm nghiên cứu và mật mã học làm việc trong hơn một tháng. Đối với các nhà giao dịch, tiêu đề không phải là công cụ. Đó là tài sản đang được chứng minh.

“Tính toàn vẹn của cân bằng” là câu trả lời trực tiếp cho nỗi sợ lạm phát mà luôn hiện hữu bất cứ khi nào một bể được bảo vệ bị nghi ngờ có khả năng tạo ra giá trị một cách vô hình.

Những gì Bằng chứng Đề cập—và Những gì Nó Rõ Ràng Không Đề cập

Bằng chứng được xác định cho các thành phần cần thiết để thiết lập tính toàn vẹn của cân bằng: hệ thống bằng chứng không kiến thức của Ironwood, các quy tắc mạch của nó và kế toán cấp sổ cái. Điều đó quan trọng vì nó nhắm đến bất biến kế toán mà sẽ phải thất bại để lạm phát không thể phát hiện xảy ra.

Các nhà nghiên cứu cũng đã vạch ra một ranh giới rõ ràng về những gì không được tuyên bố. Việc xác minh chính thức không bao gồm các đảm bảo riêng tư của Ironwood. Sự phân biệt đó rất quan trọng cho việc định vị. Tài liệu này tốt nhất nên được đọc như một đảm bảo về tính toàn vẹn của nguồn cung, không phải là một tuyên bố chung rằng mọi thuộc tính của bể được bảo vệ đều đã được xác minh chính thức.

Giống như bất kỳ bằng chứng chính thức nào, nó có điều kiện. Đảm bảo là “dưới các giả định mật mã đã nêu,” có nghĩa là thị trường vẫn phải quan tâm đến những giả định đó là gì và liệu mô hình mối đe dọa có khớp với những kẻ thù trong thế giới thực hay không.

Từ Rủi ro Làm giả Lý thuyết của Orchard đến Triển khai Ironwood của NU6.3

Ironwood đã xuất hiện thông qua bản nâng cấp NU6.3 của Zcash sau khi phát hiện ra một lỗ hổng trong bể được bảo vệ Orchard trước đó. Rủi ro được công bố là nghiêm trọng về bản chất, ngay cả khi lý thuyết trong thực tế: làm giả ZEC không thể phát hiện. Các nhà phát triển cho biết họ không tìm thấy bằng chứng nào cho thấy lỗi đã bị khai thác.

Dòng “không có bằng chứng” đó không giống như một bằng chứng về việc không bị khai thác, và các nhà giao dịch biết sự khác biệt. Điểm mấu chốt của Ironwood, và giờ là xác minh tính toàn vẹn của cân bằng chính thức, là để giảm thiểu sự chồng chất về tính toàn vẹn của nguồn cung bằng cách chuyển hệ thống sang một thiết kế với một lập luận được kiểm tra bằng máy rằng bể được bảo vệ không thể chi trả nhiều hơn những gì đã công khai nhập vào.

Di chuyển Turnstile: Điểm kiểm tra công cộng không thể nhập các đồng tiền dư thừa giả thuyết

Việc di chuyển từ Orchard sang Ironwood được thực hiện thông qua một điểm kiểm tra kế toán công cộng gọi là “cổng xoay.” Mục tiêu thiết kế là cách ly trong phòng sạch: ngay cả khi Orchard có những đồng coin dư thừa giả thuyết, điểm kiểm tra này được thiết kế để ngăn chặn những đồng coin đó vào Ironwood.

Cơ chế đó cũng thiết lập dòng chứng cứ tiếp theo. Khi các quỹ rời khỏi Orchard, quá trình kiểm soát có thể làm lộ ra những bất thường nhất quán với việc khai thác trong thời kỳ Orchard, nếu có. Các nhà giao dịch nên theo dõi các cập nhật từ nhà phát triển hoặc Project Tachyon về tổng số di chuyển và liệu điểm kiểm tra có chỉ ra điều gì bất thường không.

Mục theo dõi khác là sự mở rộng phạm vi theo hướng đúng: làm rõ các giả định mật mã và mô hình đe dọa phía sau chứng minh tính toàn vẹn số dư, cộng với bất kỳ thông tin bổ sung nào.kiểm toánhoặc mở rộng chứng minh. Cuối cùng, hỗ trợ ví và sàn giao dịch giúp tăng tốc quá trình di chuyển của người dùng từ Orchard sang Ironwood sẽ làm tăng lượng dữ liệu quan sát được mà cổng xoay có thể tạo ra theo thời gian.

Cách các nhà giao dịch nên định hình phần còn lại của áp lực từ vườn cây ăn trái.

Ngưỡng quan trọng là liệu thị trường có thể tách biệt hai rủi ro thường bị gộp lại với nhau: khả năng của Ironwood trong việc lạm phát trong tương lai so với câu hỏi chưa được giải quyết về việc liệu Orchard có từng bị khai thác hay không. Bằng chứng mới nhắm thẳng vào danh mục đầu tiên bằng cách thiết lập một cách chính thức tính toàn vẹn của cân bằng dưới các giả định đã nêu.

Tôi coi lượng dư thừa còn lại là một vấn đề chứng cứ, không phải là vấn đề cảm xúc. Nếu việc di chuyển qua cổng xoay tiếp tục diễn ra mà không có sự khác biệt và hỗ trợ gia tăng trên các ví và sàn giao dịch, cấu trúc bắt đầu trông có vẻ mang tính chất cấu trúc hơn là dựa trên câu chuyện, vì thị trường có một nguồn tài nguyên sạch hơn và một dấu vết công khai đang phát triển mà khó có thể hòa hợp với lạm phát ẩn.

Nguồn

Cointelegraph