Tổng quan mối quan hệ ZeroSync vs Bitcoin
Hiện tại, Bitcoin vẫn sử dụng cơ chế xác thực truyền thống Proof-of-Work (PoW) để đảm bảo tính toàn vẹn của blockchain. Tuy nhiên, việc sử dụng PoW đã gặp nhiều vấn đề về tốc độ giao dịch và mức độ tiêu thụ năng lượng. Đây là lý do tại sao nhiều người đang tìm cách thay đổi cơ chế này.
ZeroSync là một phương pháp mới để đảm bảo tính toàn vẹn của blockchain bằng cách sử dụng zero-knowledge proof (ZKP). Với ZKP, các giao dịch có thể được xác minh mà không cần tiết lộ bất kỳ thông tin nào về người gửi hoặc người nhận.
Nếu Bitcoin triển khai ZeroSync, chúng ta sẽ thấy một sự kết hợp giữa tính toàn vẹn và tốc độ giao dịch tốt hơn. Việc sử dụng ZKP có thể giúp giảm đáng kể mức tiêu thụ năng lượng và cải thiện hiệu suất của blockchain.
Tuy nhiên, việc triển khai ZeroSync trên Bitcoin sẽ không dễ dàng và cần sự đồng thuận của toàn bộ mạng lưới. Có thể cần phải thay đổi mã nguồn của Bitcoin để có thể triển khai ZKP một cách hiệu quả.
Vì vậy, mặc dù việc triển khai ZeroSync trên Bitcoin còn nhiều thách thức, nhưng nếu thành công, nó có thể mang lại sự thay đổi đáng kể cho mạng lưới Bitcoin.
Nền tảng ZeroSync và Đội ngũ sáng lập dự án
Trước khi hiểu về cách thức triển khai và lộ trình của ZeroSync, hãy xem xét về nền tảng và người sáng lập ZeroSync. Đằng sau ZeroSync là một tổ chức phi lợi nhuận ở Thụy Sĩ có tên là Hiệp hội ZeroSync (ZeroSync Association), với các nhà sáng lập chính bao gồm Robin Linus, Lukas George, Tino Steffens, Max Gillett và Andrew Milson.
Vào tháng 2 năm 2022, Lukas George đã xuất bản luận văn cử nhân tại Đại học Kỹ thuật Berlin, triển khai bằng chứng đầu tiên của chuỗi tiêu đề Bitcoin và kiểm tra hiệu suất của nó. Vào tháng 7, Robin Linus tham gia làm nhà lãnh đạo dự án và cùng với đó là việc thành lập hợp tác. Sau đó, Max Gillett, người đã phát triển các bằng chứng Giza (trình chứng minh và trình xác minh hoàn toàn mã nguồn mở Cairo VM), đã tham gia vào đội ngũ để giúp triển khai trình xác minh STARK (để chứng minh đệ quy) với Cairo.
Vào tháng 2 năm nay, ZeroSync đã hoàn thành nguyên mẫu cơ bản của bằng chứng chuỗi đệ quy (the Recursive chain proof), có thể xác minh tất cả các quy tắc đồng thuận của Bitcoin, trừ dữ liệu chứng chỉ số (chữ ký số). Hiện nay, ZeroSync đã phát triển thành Hiệp hội ZeroSync, một tổ chức phi lợi nhuận.
Sự phát triển của ZeroSync được tài trợ bởi Geometry và StarkWare, hai công ty liên quan mật mã bảo mật. Trong đó, Tổng Giám đốc của Geometry là Tom Walton-Pocock, người đã từng là Giám đốc điều hành của Aztec Network. Một khoản tài trợ nghiên cứu được cung cấp để hỗ trợ việc phát triển ban đầu của ZeroSync. OnlyDust, chương trình mã nguồn mở của StarkWare, cũng cung cấp các khoản tài trợ nghiên cứu để hỗ trợ phát triển.
Các đối tác đóng góp của ZeroSync cũng bao gồm Lighting Labs, một nhà phát triển của Bitcoin Lightning Network và LambdaClass, một đội nghiên cứu và phát triển công nghệ mở rộng.
ZeroSync là gì?
ZeroSync là một dự án nhằm phát triển hệ thống chứng minh ZK ngắn gọn cho chuỗi khối Bitcoin. Nó sử dụng chứng minh tính hợp lệ zero-knowledge scalable transparent knowledge proof (zk-STARK) độc quyền của StarkWare để tạo ra các chứng minh ZK cho phép người dùng 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 dữ liệu khối hoặc phụ thuộc vào bên thứ ba. Nó được đặc trưng bởi tính “nhẹ” (yêu cầu sức mạnh phần cứng thấp) và chi phí tính toán tối thiểu.
ZeroSync triển khai chứng minh chuỗi bằng cách xác minh tiêu đề khối, proof of work và điều chỉnh độ khó (difficulty adjustment), và sử dụng Utreexo để mở rộng chuỗi thông qua cam kết tập UTXO. Nó cũng cung cấp bộ công cụ phát triển để giúp các nhà phát triển áp dụng chứng minh zero-knowledge vào sản phẩm hoặc dịch vụ của họ.
ZeroSync: Triển khai ZK-proofs trên Blockchain Bitcoin như thế nào?
• ZeroSync sử dụng các ZK-proofs để tạo ra việc xác minh trạng thái blockchain ngay lập tức và giảm chi phí UTXO xuống còn vài gigabyte trên blockchain Bitcoin.
• ZeroSync sử dụng chứng minh tính hợp lệ zk-STARK của StarkWare và ngôn ngữ Cairo để triển khai chứng minh Bitcoin.
• Ba giai đoạn được sử dụng cho việc triển khai chứng minh chuỗi: chứng minh chuỗi tiêu đề, chứng minh chuỗi hợp lệ giả thuyết và chứng minh chuỗi đầy đủ.
• ZeroSync sẽ phát hành một bộ công cụ phát triển (SDK) để áp dụng zero-knowledge proofs cho các sản phẩm hoặc dịch vụ.
• Các ZK-proofs của ZeroSync sẽ đem lại tính mở rộng, tương thích và riêng tư cho Bitcoin, nhưng cũng đối diện với thách thức về bảo mật và hiệu suất.
