Người dùng Bitcoin (BTC) sẽ sớm có thể sử dụng bằng chứng không tri thức (ZKPs) để đẩy nhanh quá trình xác minh từng khối và cuối cùng là toàn bộ blockchain.
Hiệp hội ZeroSync phi lợi nhuận dựa trên Thụy Sĩ đang phát triển công cụ cho phép người dùng xác nhận trạng thái của mạng Bitcoin mà không cần phải tải xuống blockchain hoặc tin tưởng một bên thứ ba để xác minh.
Hiệp hội ZeroSync là một tổ chức được hình thành để phát triển và duy trì phần mềm mã nguồn mở cho phép các bằng chứng không tri thức ngắn gọn (ZKPs) trên blockchain Bitcoin. Nhóm sử dụng các chứng minh hiệu lực không kiến thức độc quyền của Stark Ware để tạo ra ZKP cho mạng Bitcoin.
Công cụ hứa hẹn sẽ đại tu quá trình xác minh blockchain Bitcoin, điều này vẫn đòi hỏi các nhà khai thác node phải tải về một lượng lớn dữ liệu để đồng bộ hóa trạng thái chính xác của mạng Bitcoin.
ZeroSync đang sử dụng ZKP như một phương tiện để cuối cùng tạo ra một bằng chứng hợp lệ để xác minh trạng thái mới nhất của blockchain gần như ngay lập tức.
ZKPs đã là một sự mặc khải cho hệ sinh thái Ethereum, với một loạt các phương pháp chứng minh khác nhau cung cấp cho một số nền tảng mở rộng lớp 2 bao gồm Polygon, Arbitrum, Optiance, và StarkNet.
Related: ‘Chén Thánh ‘Ethereum-scale ZkeVM beta của Polygon chạm mainnet
Một thông báo từ Hiệp hội ZeroSync nhấn mạnh lời hứa của ZKP cho khả năng mở rộng blockchain và quyền riêng tư bằng cách cung cấp các chứng minh ‘gần như cố định’ xác minh các tính toán lớn.
Công việc của dự án tiên phong trong việc áp dụng ZKP cho mạng Bitcoin, với tổ chức mô tả sự đơn giản tương đối của Bitcoin và mô hình UTXO như một đề xuất giá trị duy nhất cho việc áp dụng các chứng minh đệ quy.
Hiệp hội ZeroSync cũng lưu ý rằng các công cụ ZKP không yêu cầu thay đổi sự đồng thuận hoặc giả định tin tưởng bổ sung cho mạng Bitcoin và người dùng của nó. Tổ chức đang xây dựng một bộ phát triển phần mềm (SDK) mà sẽ cho phép các nhà phát triển tạo ra chứng minh hiệu lực tùy chỉnh cho các trường hợp sử dụng cụ thể mà không cần chuyên môn về miền sâu.
ZeroSync đang trong quá trình xây dựng một khách hàng để tải khối ban đầu nhanh (IBD) cũng như thực hiện bằng chứng đầy đủ đầu tiên về sự đồng thuận Bitcoin. Khách hàng sẽ cho phép người dùng đồng bộ hóa một nút đầy đủ mà không thực hiện bất kỳ thay đổi mã nào đối với Bitcoin Core.
ZeroSync đang sử dụng ngôn ngữ lập trình Cairo, tiên phong bởi StarkWare để tạo ra các chương trình Stark-chứng minh cho các tính toán.
Công cụ của ZeroSync hiện đang ở trạng thái prototype nhưng có khả năng chứng minh tính hợp lệ của các khối hợp lệ giả định riêng lẻ, xác minh tất cả các quy tắc Bitcoin ngoại trừ Scripts. Nhóm nghiên cứu cũng có một trình xác minh demo trong trình duyệt làm việc cho chứng minh STARK của các khối Bitcoin.
Hiệp hội ZeroSync ban đầu được tài trợ bởi Geometry và StarkWare nhưng đang thành lập một thực thể phi lợi nhuận để cho phép phát triển và bảo trì liên tục từ các bên liên quan trong cộng đồng Bitcoin.
Một tuyên bố của chủ tịch StarkWare và đồng sáng lập Eli Ben-Sasson, người đồng phát minh ra ZK-Starks, tổng kết độ lớn của ZKP đến với hệ sinh thái Bitcoin:
“Sau nhiều năm thất vọng về việc đồng bộ chậm, người dùng sẽ có thể đồng bộ hóa với mạng nhanh hơn nhiều và ít tính toán hơn. Đó là một bước nhảy vọt công nghệ giống như sự chuyển đổi từ internet quay số chậm sang băng thông rộng tốc độ cao.”
Lightning Labs, nhóm đứng sau hệ thống thanh toán Bitcoin layer-2 Lightning Network, là một đối tác đóng góp cho dự án của ZeroSync.
Công ty dự định sử dụng ZeroSync để cung cấp các chứng minh lịch sử giao dịch nén cho giao thức Taproot Asset Rerepresentation Overlay (Taro) của mình, nhằm mục đích cung cấp năng lượng cho việc phát hành tài sản kỹ thuật số trên blockchain Bitcoin.
