Người dùng bitcoin sẽ sớm có thể sử dụng bằng chứng không có kiến ​​thức (ZK-proofs) để tăng tốc quá trình xác thực các khối riêng lẻ và cuối cùng là toàn bộ chuỗi khối.​

Hiệp hội phi lợi nhuận ZeroSync có trụ sở tại Thụy Sĩ đang phát triển một công cụ cho phép người dùng xác minh trạng thái của mạng Bitcoin mà không cần phải tải xuống chuỗi khối hoặc tin tưởng bên thứ ba để xác minh.

ZeroSync được thành lập để phát triển và duy trì phần mềm nguồn mở nhằm kích hoạt các bằng chứng ZK ngắn gọn trên chuỗi khối Bitcoin. Nhóm đã sử dụng bằng chứng xác thực Đối số kiến ​​thức minh bạch có khả năng mở rộng không có kiến ​​thức (zk-STARK) độc quyền của StarkWare để tạo bằng chứng ZK cho mạng Bitcoin.

Công cụ này hứa hẹn sẽ cách mạng hóa quy trình xác thực chuỗi khối Bitcoin, vốn vẫn yêu cầu các nhà khai thác nút tải xuống 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 sử dụng bằng chứng ZK để cuối cùng tạo ra bằng chứng hợp lệ và xác minh trạng thái mới nhất của chuỗi khối gần như ngay lập tức.

Bằng chứng ZK là một khám phá mới cho hệ sinh thái Ethereum, với nhiều phương pháp chứng minh khác nhau hỗ trợ nhiều nền tảng mở rộng quy mô lớp 2, bao gồm Polygon, Arbitrum, Optimism và StarkNet.

Một thông báo từ Hiệp hội ZeroSync nhấn mạnh cam kết của ZK proofs về khả năng mở rộng và quyền riêng tư của blockchain bằng cách cung cấp các bằng chứng “có kích thước gần như cố định” để xác minh các tính toán lớn.

Công việc của dự án đã đi tiên phong trong việc sử dụng bằng chứng ZK trên mạng Bitcoin và nhóm mô tả mô hình đầu ra giao dịch chưa được chi tiêu (UTXO) tương đối đơn giản của Bitcoin là đề xuất giá trị duy nhất để áp dụng bằng chứng đệ quy.

ZeroSync lưu ý rằng công cụ ZK-Proof không yêu cầu thay đổi đồng thuận hoặc giả định tin cậy bổ sung trên mạng Bitcoin và người dùng của nó. Tổ chức này đang xây dựng một bộ công cụ phát triển phần mềm cho phép các nhà phát triển tạo bằng chứng xác thực tùy chỉnh cho các trường hợp sử dụng cụ thể mà không yêu cầu chuyên môn sâu về miền.

ZeroSync đang xây dựng một ứng dụng khách để tải xuống khối ban đầu nhanh chóng, cũng như triển khai bằng chứng hoàn chỉnh đầu tiên về sự đồng thuận Bitcoin. Máy khách sẽ cho phép người dùng đồng bộ hóa các nút đầy đủ mà không cần thực hiện thay đổi đối với mã Bitcoin Core.

ZeroSync sử dụng ngôn ngữ lập trình Cairo do StarkWare tiên phong để tạo ra các chương trình tính toán có thể chứng minh được STARK.

Công cụ của ZeroSync hiện đang ở trạng thái nguyên mẫu nhưng có khả năng chứng minh tính hợp lệ của một khối được cho là hợp lệ, xác thực tất cả các quy tắc Bitcoin ngoại trừ các tập lệnh. Nhóm cũng có sẵn trình xác thực demo trong trình duyệt để cung cấp bằng chứng STARK về các khối Bitcoin.

Hiệp hội ZeroSync ban đầu được tài trợ bởi Geometry và StarkWare, nhưng đang được thành lập như một tổ chức phi lợi nhuận để hỗ trợ sự phát triển và bảo trì liên tục của các bên liên quan trong cộng đồng Bitcoin.

Chủ tịch và đồng sáng lập StarkWare Eli Ben-Sasson, người đồng phát minh ra zk-STARKS, đã tóm tắt tầm quan trọng của các bằng chứng ZK đối với hệ sinh thái Bitcoin trong một tuyên bố:

"Sau khi thất vọng vì đồng bộ hóa chậm, người dùng sẽ có thể đồng bộ hóa với mạng nhanh hơn và ít phải tính toán hơn. Đây là một bước nhảy vọt về công nghệ tương tự 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 Lightning Network lớp 2 của Bitcoin, là đối tác đóng góp cho dự án ZeroSync.

Công ty dự định sử dụng ZeroSync để cung cấp bằng chứng lịch sử giao dịch nén cho giao thức Lớp phủ đại diện tài sản Taproot (Taro), được thiết kế để hỗ trợ việc phát hành tài sản kỹ thuật số trên chuỗi khối Bitcoin.