Những điểm chính:
- ZeroSync đã tạo 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 đề xuất của Satoshi tiến thêm một bước bằng cách xác nhận các 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.
Zero-knowledge proofs (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à thứ 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á vào đầu năm 2010 khi chúng vẫn đang hoạt động.
Điều gì sẽ xảy ra nếu Bitcoin triển khai Zero-knowledge proofs? 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?
Xem thêm: SolidLizard là gì? Thông tin chi tiết giao thức trên Abitrum
ZeroSync, một sáng kiến mới được công bố, đang dẫn đầu việc tạo ra một hệ thống bằng chứng về khái niệm Bitcoin.
Hiệp hội ZeroSync phi lợi nhuận 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 Bitcoin zero-knowledge proofs – 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 của năm – từ vệ tinh của Blockstream, hỗ trợ phát triển một tương lai Bitcoin với các thuộ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 ở Thụy Sĩ để hỗ trợ mở rộng quy mô Bitcoin thông qua việc sử dụng Zero-knowledge proofs (zk-proofs), một phương pháp mã hóa đã tăng lên có lợi cho chuỗi đối thủ cạnh tranh Ethereum.
Mật mã được sử dụng trong các Zero-knowledge proofs để hiển thị tính hợp lệ của thông tin mà không làm lộ thông tin. Việc 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ì cần hàng giờ (hoặc thậm chí vài ngày) để tải xuống 500GB dữ liệu hiện tại của chuỗi.
ZeroSync đã xây dựng một nguyên mẫu chức năng vào tháng 2 năm nay cho phép người dùng xác thực trạng thái (hiện tại ai đang sở hữu cái gì) 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 chứ không phải chữ ký giao dịch. Nó cũng hơi bất tiện và phải được điều chỉnh để đảm bảo tốc độ và bảo mật, vì vậy nó vẫn chưa hoàn toàn sẵn sàng cho thời gian chính, nhưng điều quan trọng là nó hoạt động.
Geometry và StarkWare, hai công ty cam kết mật thiết trong các công nghệ bảo mật không có kiến thức, đang tài trợ cho sự phát triển của 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 trợ cấp nghiên cứu. OnlyDust, nỗ lực nguồn mở của StarkWare, cũng cung cấp quỹ phát triển cho sự phát triển.
Trong chuỗi khối Bitcoin, các ứng dụng 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 báo cáo chính thức ban đầu của mình. Đây là những điều rất quan trọng đối với các thiết bị nhỏ không thể tải xuống chuỗi khối hoàn chỉnh, chẳng hạn như điện thoại di động.
Hệ thống bằng chứng của ZeroSync
Các Zero-knowledge proofs ngắn gọn hứa hẹn sẽ mở ra một kỷ nguyên mới về khả năng mở rộng và quyền riêng tư của chuỗi khối. Mặc dù một nỗ lực kỹ thuật đáng kể đang được đầu tư vào cộng đồng Ethereum để triển khai công nghệ này, nhưng chưa có khoản đầu tư nào như vậy được thực hiện cho mạng Bitcoin. Do đó, ZeroSync được thành lập để lần đầu tiên giới thiệu các cơ chế bằng chứng này cho Bitcoin.
Rất tốn kém về mặt tính toán để chứng minh hàng trăm terabyte lịch sử chuỗi khối, nhưng việc giảm thiểu của chúng tôi dẫn đến một bằng chứng rất nhỏ gọn. Sau khi bằng chứng được tạo, bất kỳ số lượng nút nào trong mạng đều có thể sử dụng nó để nhanh chóng đồng bộ hóa với mạng. Bằng chứng là ngắn gọn, bất kể độ dài của chuỗi. Mọi chứng minh có thể dần dần mở rộng 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 về tính hợp lệ của bằng chứng minh bạch có khả năng mở rộng kiến thức (zk-STARK) độc quyền của StarkWare và có thể xác minh ngay 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 bằng chứng Bitcoin.
Các 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 với các cấu trúc dữ liệu mới, chẳng hạn như cam kết được thiết lập 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 hoặc bootstrapping truyền thống. Ngoài lớp nền tảng nghiêm ngặt của Bitcoin, các hệ thống ZKP cung cấp tính linh hoạt đáng kể và cung cấp nhiều ứng dụng độc đáo cho nghiên cứu.
Nguồn: https://danchoitienao.com/zerosync-la-gi/
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 đủ, hai giai đoạn đầu tiên ZeroSync đã hoàn thành nguyên mẫu.
Bằng chứng đầu tiên mà nhóm ZeroSync đang làm việc, 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í độ khó tại thời điểm này và nó giám sát từng điều chỉnh độ khó để đảm bảo rằng mỗi khối phù hợp với đúng mục tiêu. Điều này cũng sẽ tác động đáng kể đến cấu 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 bổ sung bằng cây Merkle trên tất cả các tiêu đề khối để cung cấp bằng chứng ngắn gọn về việc đưa vào 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 của khối, tuy nhiên, giống như chức năng 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 nhân chứng.
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 nhân chứng khác, nhưng nó sẽ không đảm bảo rằng chữ ký, khóa băm và dữ liệu nhân chứng 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 phần dữ liệu nhân chứng 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 với một bằng chứng duy nhất và 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ý, được xác minh thông qua Full Chain Proof. Kết quả là, bằng chứng sẽ khá đắt.
Ngoài ra, ZeroSync sẽ phát hành bộ công cụ dành cho nhà phát triển để hỗ trợ các nhà phát triển kết hợp các bằng chứng không có 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 ở việc trao đổi 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 lịch sử giao dịch hoặc số dư cụ thể; bằng chứng có thể chuyển đổi hoặc lọc dữ liệu chuỗi khối 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 tổng hợp của chúng; không hoặc ít tin tưởng Khả năng tương tác xuyên 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 có kiến thức.
Tóm lại, ZeroSync sẽ không chỉ cho phép xác minh nhanh chóng trạng thái của chuỗi mà lý tưởng nhất là sẽ mở ra một sự thay đổi mô hình về 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ề 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.
Kết luận
ZeroSync tăng tốc quá trình tích hợp các công nghệ ZKP vào lớp chính của Bitcoin. Trong Bitcoin, 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 đáng tin cậy và bảo mật giao dịch hoàn chỉnh. ZKP có tiềm năng trở thành một công cụ 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.
