Halo: giải pháp chứng minh không có kiến thức mới có thể áp dụng cho Zcash

Thông báo BlockBeats, ngày 9 vào ngày 10 tháng 3 , Electric Coin Company (sau đây gọi là "ECC", công chúng quen gọi nó là công ty mẹ của Zcash) đã đăng một bài viết trên blog chính thức với tiêu đề "Halo: Kết hợp bằng chứng đệ quy không có cài đặt đáng tin cậy", đề xuất A chương trình chứng minh không có kiến thức mới được gọi là Halo. Được biết, ECC đang khám phá cách triển khai Halo trên Zcash để nâng cao khả năng mở rộng và bảo mật.

Nguồn gốc của Halo

Theo blog chính thức của ECC, Halo được phát hiện bởi Sean Bowe, một nhà mật mã học trong ECC. Đây là một hệ thống chứng minh mật mã không cần tin cậy, có thể mở rộng và có thể được triển khai trên thực tế. Halo đã được đề cập tại Zcon1 vào đầu năm nay như một trọng tâm chiến lược nhằm “cải thiện bảo mật Zcash và mở rộng Lớp 1”.

Đổi mới trong Halo

Block Beats nhận thấy rằng Halo triển khai một thành phần chứng minh đệ quy không có kiến thức thực tế mà không cần thiết lập đáng tin cậy.

Kết hợp chứng minh đệ quy với tính toán nén vô hạn Tiềm năng tạo ra các hệ thống phân tán có thể kiểm tra được và xây dựng các chuỗi khối với cả khả năng mở rộng và quyền riêng tư. Khái niệm này phản ánh khả năng của hệ thống trong việc nhanh chóng tạo ra các bằng chứng ngắn cho bất kỳ lượng tính toán và dữ liệu nào.

Công nghệ "khấu hao lồng nhau" trong Halo cũng có thể xóa cài đặt đáng tin cậy trong bằng chứng không có kiến thức. Nói chung, các thiết lập đáng tin cậy rất khó phối hợp, gây ra rủi ro hệ thống và phải được lặp lại sau mỗi lần nâng cấp giao thức lớn.

Tóm tắt

Nói chung, ưu và nhược điểm của chương trình chứng minh không có kiến thức là về quy mô xác minh, thời gian xác minh và cài đặt đáng tin cậy. Một số giải pháp có cách chứng minh đơn giản nhưng phải chịu gánh nặng tăng trưởng dữ liệu với tốc độ cao, một số giải pháp giảm nội dung chứng minh xuống dạng tăng trưởng logarit nhưng không thể cân bằng được việc tăng thời gian xác minh, một số giải pháp giải quyết được một phần vấn đề về khả năng mở rộng nhưng vẫn không thực hiện được tách ra Cài đặt đáng tin cậy.

Block Beats BlockBeats đã so sánh các sơ đồ chứng minh không có kiến thức phổ biến trong thế giới tiền điện tử, chẳng hạn như SNARK, STARK, giao thức Σ và chống đạn với Halo, đồng thời phân loại ngắn gọn các ưu điểm và nhược điểm của chúng như minh họa trong hình bên dưới.

Năm ngoái, Bulletproof là sản phẩm đầu tiên được triển khai trên mạng Monero, giúp giảm đáng kể khối lượng và thời gian xác minh Monero, đồng thời cải thiện hiệu suất mạng. Nếu Halo có thể được triển khai trong Zcash và chạy thành công, BlockBeats tin rằng đó có thể là một trường hợp tốt trong Web3 có tính đến bảo mật, khả năng mở rộng và bảo vệ quyền riêng tư.

Tài liệu tham khảo

Bài đăng trên blog chính thức của ECC: https://electriccoin .co/blog/halo-recursive-proof-composition-without-a-trusted-setup/

Giấy hào quang: https://electriccoin.co/wp-content/uploads/2019/09/Halo.pdf

Thảo luận kỹ thuật trung bình: https://link.medium.com/zB6GFhEoTZ

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