Least Authority, một dịch vụ tư vấn an ninh toàn diện, gần đây đã hoàn thành một cuộc kiểm tra của Pickles, hệ thống hợp thành zk-SNARK mang tính suy luận của Mina. Đối với cuộc kiểm tra này, Least Authority thực hiện nghiên cứu, điều tra và đánh giá về Pickles sau đó là việc báo cáo vấn đề, cùng với hướng dẫn giảm thiểu và khắc phục.
Cuộc kiểm tra không phát hiện ra bất kỳ vấn đề nào liên quan đến an ninh. Xem báo cáo đầy đủ và kết quả tại đây.
Sau khi hoàn thành báo cáo, hai đề xuất liên quan đến tài liệu và tính nhất quán của tên biến đã được thực hiện một phần.
Những Điểm Nổi Bật về Pickles
- Pickles là lớp đệ quy của Mina.
- Nói cách khác, đây là giao thức tạo ra các chứng minh của các chứng minh của các chứng minh, giúp Mina duy trì kích thước không đổi của 22kb.
- Pickles trừu tượng hóa các chi tiết lộn xộn của mật mã cơ bản và là cơ sở cho các nhà phát triển xây dựng các hợp đồng thông minh riêng tư, có khả năng mở rộng trên Mina.
- Pickles cho phép nhà phát triển xây dựng các chứng minh với zk-SNARKs và kết hợp chúng một cách linh hoạt để thực hiện tính toán kiểm tra được tăng dần.
- Không có sự thiết lập đáng tin cậy nào.
Mina Foundation và các đối tác sinh thái đề cao vấn đề an ninh. Cuộc kiểm tra này là kết quả theo sau của báo cáo của Least Authority từ năm ngoái về Logic Giao Dịch và triển khai Bể Giao Dịch của Mina Protocol.