Zcash hoàn tất bằng chứng xác minh Ironwood, chống lỗi làm giả mạo

Các nhà nghiên cứu Zcash đã hoàn tất xác minh hình thức cho Ironwood vào hôm thứ Ba, công bố một bản chứng minh được kiểm tra bằng máy rằng bể thanh khoản được che giấu (hidden pool) mới của mạng lưới không chứa các lỗi giả mạo không thể bị phát hiện theo các giả định mật mã đã nêu. Project Tachyon cho biết bản chứng minh đảm bảo bể thanh khoản được che giấu không thể chi trả nhiều giá trị hơn mức đã được nạp công khai vào nó. Ironwood được đưa vào thông qua bản nâng cấp NU6.3 của Zcash nhằm ứng phó với một lỗ hổng được phát hiện trong bể thanh khoản được che giấu Orchard của Zcash, lỗ hổng này về mặt lý thuyết có thể đã cho phép việc giả mạo ZEC không thể bị phát hiện.

Project Tachyon Công Bố Bản Chứng Minh Dựa Trên Lean Với 2.700+ Định Lý

Project Tachyon cho biết vào hôm thứ Ba rằng bản chứng minh, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và cần hơn một tháng làm việc của ba nhóm nhà nghiên cứu và mật mã học để hoàn thành. Công trình này thiết lập một tính chất bảo mật được gọi là toàn vẹn cân bằng (balance integrity), nhằm đảm bảo bể thanh khoản được che giấu không thể chi trả nhiều giá trị hơn mức đã được nạp công khai vào nó.

Phần Xác Minh Bao Phủ Hệ Thống Chứng Minh Zero-Knowledge và Quy Tắc Mạch

Nhà nghiên cứu cho biết bản chứng minh bao phủ các thành phần cần thiết cho tính chất đó, bao gồm hệ thống chứng minh zero-knowledge của Ironwood, các quy tắc mạch và cơ chế hạch toán ở cấp sổ cái (ledger-level accounting). Bản chứng minh không bao phủ các cam kết đảm bảo quyền riêng tư riêng biệt của Ironwood.

Ironwood Phản Hồi Trước Lỗ Hổng Ở Bể Thanh Khoản Được Che Giấu Orchard

Ironwood được đưa vào thông qua bản nâng cấp NU6.3 của Zcash, như một phản ứng trước một lỗ hổng được phát hiện trong bể thanh khoản được che giấu Orchard, có thể về mặt lý thuyết đã cho phép làm giả ZEC không thể bị phát hiện. Các nhà phát triển Zcash cho biết họ không tìm thấy bằng chứng rằng lỗ hổng đã bị khai thác. Bể thanh khoản mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Cơ Chế Turnstile Ngăn Các Đồng Tiền Giả Định Xâm Nhập Vào Ironwood

Các quỹ chuyển từ Orchard phải đi qua một mốc kiểm tra hạch toán công khai được gọi là turnstile, được thiết kế để ngăn mọi đồng tiền “thừa” giả định xâm nhập vào Ironwood. Khi các quỹ rời khỏi Orchard, quy trình này cũng có thể cung cấp thêm bằng chứng ngày càng rõ ràng về việc liệu bể cũ có bị khai thác hay không.

FAQ

Các nhà nghiên cứu Zcash đã hoàn tất gì vào hôm thứ Ba? Các nhà nghiên cứu Zcash đã hoàn tất xác minh hình thức cho Ironwood vào hôm thứ Ba, công bố một bản chứng minh được kiểm tra bằng máy rằng bể thanh khoản được che giấu mới của mạng lưới không chứa các lỗi giả mạo không thể bị phát hiện theo các giả định mật mã đã nêu.

Vì sao Ironwood được đưa vào thông qua bản nâng cấp NU6.3 của Zcash? Ironwood được đưa vào thông qua bản nâng cấp NU6.3 của Zcash, như một phản ứng trước một lỗ hổng được phát hiện trong bể thanh khoản được che giấu Orchard có thể về mặt lý thuyết đã cho phép làm giả ZEC không thể bị phát hiện. Bể thanh khoản mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Cơ chế turnstile trong Ironwood là gì? Turnstile là một mốc kiểm tra hạch toán công khai mà các quỹ chuyển từ Orchard phải đi qua. Nó được thiết kế để ngăn mọi đồng tiền “thừa” giả định đi vào Ironwood.