Bằng chứng không có kiến thức có được tính vào ứng dụng trên diện rộng không? 0x chính thức phát hành OpenZKP

Tiêu đề gốc: "Đếm ngược đến việc áp dụng rộng rãi các bằng chứng không có kiến thức? 0x chính thức phát hành OpenZKP》

Tác giả gốc:  Remco Bloemen

Bản dịch gốc: Babbitt

Vào ngày 8 tháng 10, nhóm nghiên cứu 0x đã chính thức công bố ra mắt OpenZKP, một triển khai Rust bằng chứng không có kiến thức mã nguồn mở hoàn toàn. Công nghệ bằng chứng không có kiến thức có thể sớm ra mắt .sẽ mở ra những ứng dụng rộng rãi hơn.

Vào cuối năm 2018, nhóm nghiên cứu giao thức trao đổi phi tập trung 0x đã hợp tác với StarkWare để tạo ra một dự án chứng minh khái niệm DEX có thể mở rộng có tên là StarkDEX. Các nhà phát triển đã học được rất nhiều điều trong suốt quá trình và trở nên tự tin hơn vào sức mạnh của ZKP (bằng chứng không có kiến thức) về khả năng mở rộng và hiệu suất của DEX.

Sau khi kết thúc bằng chứng khái niệm StarkDEX vào mùa xuân năm 2019, nhóm nghiên cứu của 0x đã quyết định tiến hành thử nghiệm một cách độc lập để xây dựng một giải pháp tổng quát hơn, một giải pháp phù hợp với niềm tin cơ bản của nhóm về tính mở nguồn và phân quyền. Vào ngày 8 tháng 10, nhóm nghiên cứu 0x đã chính thức công bố ra mắt OpenZKP, một triển khai Rust bằng chứng không có kiến thức mã nguồn mở hoàn toàn.

Nhóm phát triển đã tạo ra một giao diện dễ sử dụng mà bất kỳ ai cũng có thể tương tác. Hơn nữa, đây là cách triển khai bằng chứng nhanh nhất trong số các bằng chứng tối thiểu hiện nay. Để biết chi tiết, vui lòng nhấp vào Tài liệu và Vụ án.

Nguồn mở là cốt lõi trong sứ mệnh của 0x nhằm tạo ra một thế giới được mã hóa. Để các mạng blockchain thay thế các hệ thống tài chính truyền thống, mọi lớp của ngăn xếp phải mở và minh bạch. Việc triển khai ZKP nguồn mở là bước hợp lý tiếp theo và sẽ rất quan trọng đối với việc áp dụng rộng rãi các công nghệ này. So với các giải pháp nguồn đóng, OpenZKP có những ưu điểm chính sau.

Đầu tiên, bất kỳ ai cũng có thể đóng góp cho OpenZKP, xây dựng dựa trên công việc của nhóm 0x và những người khác. Bằng chứng không có kiến thức là một công nghệ đang phát triển nhanh chóng và nhiều chuyên gia đang nghiên cứu nó. Bằng cách phát hành sớm và cập nhật thường xuyên, các nhà nghiên cứu có thể học hỏi lẫn nhau một cách hiệu quả và cùng nhau tiến lên. Thứ hai, OpenZKP có thể kiểm tra được. Điều quan trọng là bất kỳ ai cũng có thể tự xem lại mã và xác định xem nó có chứa lỗ hổng bảo mật hay không. Thứ ba, việc triển khai nguồn mở này mang lại cảm giác liên tục. Nhóm phát triển muốn giao thức 0x chạy độc lập với những người tạo ra nó. Điều này chỉ có thể xảy ra nếu tất cả mã nguồn đều có thể truy cập được.

Thư viện OpenZKP đã có sẵn cho các nhà phát triển sử dụng. Nhóm phát triển đã áp dụng STARK trong các bằng chứng không có kiến thức vì nó có một số tính năng độc đáo. Trên hết, STARK có trình chứng minh rất nhanh, đặc biệt đối với các ràng buộc lặp lại nhiều, đây cũng là điểm nghẽn lớn đối với các trường hợp thử nghiệm. STARK được bảo mật bằng mật mã, không yêu cầu thiết lập ban đầu đáng tin cậy, có khả năng chống lại các cuộc tấn công của máy tính lượng tử và đơn giản hơn về mặt toán học so với một số lựa chọn thay thế. Ngoài ra còn có những phát triển tích cực trong các hệ thống liên quan chặt chẽ như Aurora. Nhược điểm chính của nó là nó sử dụng ngôn ngữ ràng buộc mới mà hiện tại không có công cụ tốt nào. Một nhược điểm khác là bản thân proof lớn hơn một số hệ thống khác, ở mức khoảng 100kB thì vẫn còn nhỏ.

Bản dịch gốc của Babbitt: https: / /blog.0xproject.com/introducing-openzkp-1dea6b22dceb

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia