Những điểm chính:
ZeroSync đã tạo ra một nguyên mẫu chức năng cho phép người dùng xác thực trạng thái hiện tại và lịch sử giao dịch của chuỗi khối Bitcoin mà không cần phải tải xuống toàn bộ chuỗi hoặc dựa vào bên thứ ba.
Mặc dù nguyên mẫu có thể xác thực các quy tắc đồng thuận của Bitcoin, nhưng nó không thể xác thực chữ ký giao dịch.
ZeroSync đưa ra đề xuất của Satoshi tiến thêm một bước nữa bằng cách xác nhận giao dịch bằng bằng chứng mật mã thay vì chỉ tin tưởng vào các nút trung thực.
Bằng chứng không kiến thức (ZKP) đã được tranh luận trong cộng đồng tiền điện tử trong hơn một thập kỷ. Ngay cả Satoshi Nakamoto cũng biết chúng là một nguyên thủy có thể bị khai thác và khái niệm kết hợp chúng vào Bitcoin đã được khám phá từ năm 2010 khi chúng vẫn còn hoạt động.
Điều gì sẽ xảy ra nếu Bitcoin triển khai bằng chứng không kiến thức? Mạng Bitcoin sẽ giao tiếp với người dùng như thế nào nếu trạng thái của chuỗi có thể được kiểm tra nhanh chóng mà không cần tải xuống dữ liệu khối hoặc phụ thuộc vào bên thứ ba?
ZeroSync, một sáng kiến mới được công bố, đang dẫn đầu việc tạo ra hệ thống chứng minh khái niệm Bitcoin.
Hiệp hội phi lợi nhuận ZeroSync của Thụy Sĩ và công ty cơ sở hạ tầng Bitcoin Blockstream đã công bố kế hoạch phát sóng bằng chứng không kiến thức về Bitcoin - một loại mật mã nổi lên như một trong những xu hướng công nghệ blockchain nóng nhất trong năm - từ vệ tinh của Blockstream, hỗ trợ phát triển tương lai của Bitcoin với các đặc tính như quyền riêng tư, khả năng tương tác và khả năng mở rộng.
ZeroSync là gì?
Ba nhà khoa học máy tính người Đức đã thành lập Hiệp hội ZeroSync tại Thụy Sĩ để hỗ trợ mở rộng quy mô Bitcoin thông qua việc sử dụng bằng chứng không kiến thức (zk-proofs), một phương pháp mật mã đang được ưa chuộng hơn so với chuỗi đối thủ Ethereum.
Mật mã được sử dụng trong các bằng chứng không kiến thức để chứng minh tính hợp lệ của thông tin mà không tiết lộ thông tin đó. Sử dụng bằng chứng zk để xác minh chuỗi khối Bitcoin cho phép các nút đồng bộ hóa ngay lập tức thay vì phải mất hàng giờ (hoặc thậm chí nhiều ngày) để tải xuống 500GB dữ liệu hiện tại của chuỗi.
Vào tháng 2 năm nay, ZeroSync đã xây dựng một nguyên mẫu chức năng cho phép người dùng xác thực trạng thái (ai sở hữu cái gì hiện tại) và lịch sử giao dịch của chuỗi khối Bitcoin mà không cần tải xuống toàn bộ chuỗi hoặc dựa vào bên thứ ba.
Nguyên mẫu có khả năng xác thực các quy tắc đồng thuận Bitcoin nhưng không phải chữ ký giao dịch. Nó cũng hơi khó xử và phải được điều chỉnh về tốc độ và bảo mật, vì vậy nó chưa hoàn toàn sẵn sàng cho thời điểm chính, nhưng điều quan trọng là nó hoạt động.
Geometry và StarkWare, hai công ty cam kết chặt chẽ trong công nghệ bảo mật không kiến thức, đang tài trợ cho việc phát triển ZeroSync. Tom Walton-Pocock, cựu CEO của Aztec Network, là người đứng đầu Geometry. Quá trình phát triển ban đầu của ZeroSync được tài trợ bởi một khoản tài trợ nghiên cứu. OnlyDust, nỗ lực nguồn mở của StarkWare, cũng cung cấp các quỹ phát triển cho quá trình phát triển.
Trong blockchain Bitcoin, các máy khách nhẹ, còn được gọi là các nút xác minh thanh toán đơn giản (SPV), luôn tồn tại. Trên thực tế, Satoshi Nakamoto đã mô tả khái niệm này trong whitepaper ban đầu của mình. Chúng rất quan trọng đối với các thiết bị nhỏ không thể tải xuống toàn bộ blockchain, chẳng hạn như điện thoại di động.
Hệ thống chứng minh của ZeroSync
Bằng chứng không kiến thức ngắn gọn hứa hẹn sẽ mở ra kỷ nguyên mới về khả năng mở rộng và quyền riêng tư của blockchain. Mặc dù cộng đồng Ethereum đang đầu tư đáng kể vào công nghệ này, nhưng vẫn chưa có khoản đầu tư nào như vậy cho mạng Bitcoin. Do đó, ZeroSync được thành lập để giới thiệu các cơ chế bằng chứng này cho Bitcoin lần đầu tiên.
Việc chứng minh hàng trăm terabyte lịch sử blockchain tốn kém về mặt tính toán, nhưng quá trình giảm thiểu của chúng tôi lại tạo ra một bằng chứng cực kỳ nhỏ gọn. Sau khi một bằng chứng được tạo ra, bất kỳ số lượng nút nào trong mạng đều có thể sử dụng nó để đồng bộ hóa nhanh chóng với mạng. Bằng chứng là súc tích, bất kể độ dài của chuỗi. Mỗi người chứng minh có thể mở rộng dần bằng chứng chuỗi trước đó khi khối mới được khai thác.
ZeroSync cam kết triển khai các bằng chứng ZK ngắn gọn trên chuỗi khối Bitcoin, tạo ra các bằng chứng ZK cho mạng Bitcoin bằng cách sử dụng bằng chứng xác thực kiến thức minh bạch có thể mở rộng không cần kiến thức (zk-STARK) độc quyền của StarkWare và có thể xác minh ngay lập tức trạng thái mới nhất của chuỗi khối mà không cần tải xuống dữ liệu khối hoặc dựa vào bên thứ ba. ZeroSync cũng sử dụng ngôn ngữ Cairo của StarkWare để xây dựng các bằng chứng Bitcoin.
Hệ thống bằng chứng bổ sung hiệu quả cho tính bất biến của Bitcoin. Chúng cho phép chuỗi được nén và bổ sung bằng các cấu trúc dữ liệu mới, chẳng hạn như cam kết đặt UTXO, mà không cần bất kỳ sửa đổi đồng thuận nào. Người dùng có thể chọn sử dụng bằng chứng hay bootstrapping truyền thống. Trên lớp nền tảng nghiêm ngặt của Bitcoin, hệ thống ZKP cung cấp tính linh hoạt đáng kể và trình bày nhiều ứng dụng độc đáo cho nghiên cứu.
ZeroSync được triển khai trên Bitcoin như thế nào?
ZeroSync cung cấp bằng chứng chuỗi trong ba giai đoạn: bằng chứng chuỗi tiêu đề, bằng chứng chuỗi hợp lệ về mặt lý thuyết và bằng chứng chuỗi đầy đủ, trong đó hai giai đoạn đầu ZeroSync đã hoàn thiện nguyên mẫu.
Bằng chứng đầu tiên mà nhóm ZeroSync đang nghiên cứu, hiện đã có sẵn, giải quyết tính hợp lệ của tiêu đề khối. Nó xác minh rằng mỗi khối trong chuỗi đáp ứng đúng tiêu chí về độ khó tại thời điểm đó và theo dõi từng điều chỉnh độ khó để đảm bảo rằng mỗi khối khớp với mục tiêu đúng. Điều này cũng sẽ tác động đáng kể đến kiến trúc ví Xác minh thanh toán đơn giản (SPV).
Proof-of-headchain chỉ kiểm tra các tiêu đề khối, bằng chứng công việc và các thay đổi về độ khó, được tăng cường bằng cây Merkle trên tất cả các tiêu đề khối để cung cấp bằng chứng bao gồm ngắn gọn cho tất cả các khối và giao dịch. Nó được phân biệt bởi trọng lượng nhỏ và chi phí tính toán thấp.
Bằng chứng thứ hai tập trung vào tính hợp lệ thực tế của nội dung khối, tuy nhiên, giống như hàm Giả định hợp lệ của Bitcoin Core, nó không xác minh tính hợp lệ của dữ liệu chứng thực.
Nó sẽ kiểm tra và xác minh giới hạn kích thước giao dịch, quy tắc lạm phát tiền tệ và dữ liệu chứng kiến khác, nhưng nó sẽ không đảm bảo rằng chữ ký, khóa băm và dữ liệu chứng kiến khác là đúng. Ngược lại, bằng chứng này sẽ sử dụng Utreexo để đưa UTXO được thiết lập ở mỗi chiều cao khối vào quy trình ZKP tổng thể cho chuỗi.
Cuối cùng, bằng chứng cuối cùng sẽ sử dụng cả ZKP cho tiêu đề khối và ZKP cho Giả định hợp lệ để chứng minh tính hợp lệ của mọi dữ liệu chứng kiến trong chuỗi lịch sử. Về mặt kỹ thuật, một nút sử dụng hệ thống bằng chứng ZeroSync cuối cùng sẽ có thể khởi động bằng một bằng chứng duy nhất và một bộ UTXO với mô hình xác minh tốt hơn Bitcoin Core theo mặc định.
Tất cả các quy tắc đồng thuận Bitcoin, bao gồm thông tin chữ ký, đều được xác minh thông qua Full Chain Proof. Do đó, bằng chứng sẽ khá đắt.
Hơn nữa, ZeroSync sẽ phát hành một bộ công cụ dành cho nhà phát triển để hỗ trợ các nhà phát triển trong việc kết hợp các bằng chứng không kiến thức vào doanh nghiệp hoặc dịch vụ của họ. Các tình huống ứng dụng cụ thể bao gồm nhưng không giới hạn ở, các sàn giao dịch Bitcoin tiết lộ khả năng thanh toán cho khách hàng của họ mà không tiết lộ thông tin số dư hoặc lịch sử giao dịch cụ thể; bằng chứng có thể chuyển đổi hoặc lọc dữ liệu blockchain và tạo chỉ mục cho các truy vấn hiệu quả; bằng chứng có thể được mở rộng và tùy chỉnh dễ dàng hơn do khả năng kết hợp của chúng; không hoặc ít tin cậy Khả năng tương tác giữa các chuỗi và hơn thế nữa; bán dữ liệu bằng chứng với Thanh toán dự phòng không kiến thức.
Tóm lại, ZeroSync không chỉ cho phép xác minh nhanh trạng thái của chuỗi mà còn lý tưởng là mở ra sự thay đổi về mô hình trong khả năng mở rộng, khả năng tương tác và quyền riêng tư của Bitcoin. Tất nhiên, vẫn còn những trở ngại về mặt cải thiện bảo mật và hiệu suất bằng chứng để phát triển bằng chứng Bitcoin cấp sản xuất.
Phần kết luận
ZeroSync đẩy nhanh quá trình tích hợp công nghệ ZKP vào lớp chính của Bitcoin. Trong Bitcoin, một trình xác minh bằng chứng cung cấp một số tính năng mới quan trọng như tính hợp lệ, chốt hai chiều không cần tin cậy và quyền riêng tư giao dịch hoàn toàn. ZKP có tiềm năng trở thành một công cụ cực kỳ mạnh mẽ cho Bitcoin ngay cả khi chúng không được đưa vào lớp đồng thuận hoặc được sử dụng để khóa và chi tiêu Bitcoin.
TUYÊN BỐ MIỄN TRỪ TRÁCH NHIỆM: Thông tin trên trang web này được cung cấp dưới dạng bình luận chung về thị trường và không cấu thành lời khuyên đầu tư. Chúng tôi khuyến khích bạn tự nghiên cứu trước khi đầu tư.
Tham gia cùng chúng tôi để theo dõi tin tức: https://linktr.ee/coincu
Harold
Tin tức Coincu
