Quỹ Ethereum đã phát động thử thách better.codes, thúc đẩy tính bảo mật có thể chứng minh của hàm băm SNARK

Tin tức từ ChainCatcher, đội ngũ xác minh hình thức của Quỹ Ethereum đã hợp tác với Yukon và zkSecurity để tạo ra thử thách nghiên cứu tự động mở better.codes hiện đã được ra mắt. Nền tảng này sẽ hình thức hóa các vấn đề tự chứa trong Giải thưởng Proximity dưới dạng Lean và đưa độ tin cậy kiểm tra máy của koalaIRS12 vào bảng xếp hạng công khai, để bất kỳ ai cũng có thể thúc đẩy nâng cao, nhằm tiến tới các tiêu chuẩn an ninh liên quan đến SNARK dựa trên băm và Ethereum hậu lượng tử.

Người giải quyết có thể mang theo AI thông minh, nhằm chứng minh giới hạn độ tin cậy cao hơn cho vấn đề gần gũi Reed-Solomon này, tiến tới mục tiêu cố định 128 bit. Hệ thống Lean sẽ xác minh mỗi bản nộp, các chứng minh được nâng cấp sẽ cải thiện giới công khai, các định lý mới, kỹ thuật chứng minh và kết quả không thể sẽ được đồng bộ lên trên, để tất cả người tham gia có thể tái sử dụng. Hầu hết các SNARK băm trong môi trường sản xuất phụ thuộc vào khoảng cách gần gũi liên quan và các kết luận thỏa thuận liên quan, trong khi kết quả có thể chứng minh hiện vẫn thấp hơn tiêu chuẩn mà các nhà nghiên cứu tin tưởng, thử thách này nhằm thu hẹp khoảng cách này theo cách mở, gia tăng và có thể xác minh.

koalaIRS12 xuất phát từ tài liệu liên quan và được hình thức hóa từ đầu đến cuối trong ArkLib. Người tham gia có thể đăng nhập qua GitHub và nhân bản kho thử thách, nộp bài dưới khung tuyên bố định lý và xác minh cố định; kết quả sẽ được ghi vào kho công khai và ghi chú người giải quyết cùng mô hình đã sử dụng sau khi được xác nhận bởi bộ so sánh và hệ thống Lean. Hôm nay ra mắt là thử thách nâng cao độ tin cậy của koalaIRS12 đã chứng minh giới hạn xuống 128 bit, có thể sẽ có thêm nhiều câu hỏi hơn trong tương lai, chi tiết sẽ theo điều khoản của dự án.