Bằng chứng không kiến thức đến với Bitcoin, đại tu xác thực trạng thái mạng

Bằng chứng không kiến thức đã hỗ trợ sự phát triển của Ethereum lớp 2 và giờ chúng đang đến với Bitcoin.

Người dùng Bitcoin (BTC) sẽ sớm có thể sử dụng bằng chứng không kiến thức (ZK-proofs) để đẩy nhanh quá trình xác minh các khối riêng lẻ và cuối cùng là toàn bộ blockchain.

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

Hiệp hội ZeroSync là một tổ chức được thành lập để phát triển và duy trì phần mềm nguồn mở cho phép bằng chứng không kiến thức (ZKP) ngắn gọn trên blockchain Bitcoin. Nhóm sử dụng các bằng chứng xác thực về tính hợp lệ của Đối số tri thức trong suốt có thể mở rộng (zk-STARK) độc quyền của StarkWare để tạo ZKP cho mạng Bitcoin.

Công cụ này hứa hẹn sẽ đại tu quy trình xác minh blockchain Bitcoin, vốn vẫn yêu cầu các nhà khai thác Node tải xuống 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 bằng chứng hợp lệ nhằm xác minh trạng thái mới nhất của blockchain gần như ngay lập tức.

ZKP đã là một khám phá cho hệ sinh thái Ethereum, với nhiều phương pháp chứng minh khác nhau cung cấp năng lượng cho một số nền tảng mở rộng quy mô lớp 2 bao gồm các nền tảng như Polygon, Arbitrum, Optimism và StarkNet.

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

Dự án đi tiên phong trong việc áp dụng ZKP cho mạng Bitcoin, với tổ chức mô tả tính đơ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 bằng chứng đệ 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 các giả định tin cậy 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ộ công cụ phát triển phần mềm (SDK) cho phép các nhà phát triển tạo bằng chứng hợp lệ tùy chỉnh cho các tình huống sử dụng cụ thể mà không cần có kiến thức chuyên sâu về miền.

ZeroSync đang trong quá trình xây dựng ứng dụng khách để tải xuống khối ban đầu nhanh (IBD) cũng như triển khai bằng chứng đầy đủ đầu tiên về sự đồng thuận của Bitcoin. Ứng dụng khách sẽ cho phép người dùng đồng bộ hóa Node đầ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 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ụ 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 các khối hợp lệ được giả định riêng lẻ, xác minh tất cả các quy tắc Bitcoin ngoại trừ Tập lệnh. Nhóm cũng có một trình xác minh demo trong trình duyệt đang hoạt động để 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 thành lập một tổ chức 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 giữ cổ phần trong cộng đồng Bitcoin.

Một tuyên bố từ chủ tịch kiêm đồ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 ZKP đối với hệ sinh thái Bitcoin:

Sau nhiều năm thất vọng về việc đồng bộ hóa chậm, người dùng sẽ có thể đồng bộ hóa với mạng nhanh hơn nhiều và ít phải tính toán hơn. Đó là một bước nhảy vọt về công nghệ giống như quá trình 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 năng lượng cho các bằng chứng lịch sử giao dịch được nén cho giao thức Lớp phủ đại diện tài sản Taproot (Taro), 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.

Theo CoinTelegraph