Zcash hoàn tất xác minh chính thức cho Ironwood; bộ quy tắc chứng minh 2.700 định lý loại trừ khả năng làm giả không thể bị phát hiện

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

Bản chứng minh, được viết bằng ngôn ngữ lập trình Lean, gồm hơn 2.700 định lý và được hoàn thành bởi ba nhóm nhà nghiên cứu và nhà mật mã trong suốt hơn một tháng. Công việc này thiết lập tính toàn vẹn về cân bằng, đảm bảo pool shielded không thể chi trả nhiều giá trị hơn mức đã được công khai đưa vào. Bản chứng minh bao phủ hệ thống chứng minh không kiến thức của Ironwood, các quy tắc mạch và cơ chế kế toán ở cấp sổ cái, dù không đề cập đến các cam kết về quyền riêng tư.