Ba nhà khoa học máy tính người Đức đã thành lập một tổ chức phi lợi nhuận của Thụy Sĩ có tên là Hiệp hội ZeroSync để giúp mở rộng quy mô Bitcoin bằng cách sử dụng bằng chứng không kiến ​​thức (zk-proofs), một kỹ thuật mã hóa đã bùng nổ phổ biến trên chuỗi đối thủ Ethereum.

Bằng chứng không có kiến ​​thức sử dụng mật mã để 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 thực chuỗi khối Bitcoin có nghĩa là các nút có thể đồng bộ hóa gần như ngay lập tức thay vì mất hàng giờ (và đôi khi là vài ngày) để tải xuống 500GB dữ liệu hiện tại của chuỗi.

ZeroSync đã tạo ra một nguyên mẫu hoạt động cho phép người dùng xác thực trạng thái (ai sở hữu những 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 tin tưởng vào bên thứ ba.

Nguyên mẫu có thể xác minh các quy tắc đồng thuận của Bitcoin nhưng không thể xác minh chữ ký giao dịch. Nó cũng hơi rắc rối và vẫn cần được tối ưu hóa về tốc độ và bảo mật, vì vậy nó vẫn chưa sẵn sàng ra mắt, nhưng điều quan trọng là – nó hoạt động.

Robin Linus, người đồng sáng lập ZeroSync nói với CoinDesk: “Nó đang ở giai đoạn nguyên mẫu”. “Nhưng tầm nhìn lớn là bạn tải xuống một megabyte bằng chứng đó và điều đó cũng tốt như thể bạn đã tải xuống 500 gigabyte.”

Các ứng dụng khách nhẹ hoặc các nút xác minh thanh toán đơn giản (SPV) luôn tồn tại trên chuỗi khối Bitcoin. Trên thực tế, Satoshi Nakamoto đã đề cập đến khái niệm này trong sách trắng ban đầu của mình. Chúng rất quan trọng đối với các thiết bị nhỏ như điện thoại di động không thể tải xuống toàn bộ chuỗi khối.

Satoshi viết: “Có thể xác minh các khoản thanh toán mà không cần chạy một nút mạng đầy đủ”. “Việc xác minh là đáng tin cậy miễn là các nút trung thực kiểm soát mạng, nhưng sẽ dễ bị tổn thương hơn nếu mạng bị kẻ tấn công chế ngự.”

ZeroSync tiến một bước xa hơn bằng cách xác minh các giao dịch thông qua bằng chứng mật mã thay vì chỉ tin tưởng vào các nút trung thực như đề xuất của Satoshi.

Linus nói: “Bạn không cần phải tin tưởng, đó là toàn bộ vấn đề. “Bằng chứng chứng minh điều đó cho bạn thấy, đó là phát minh vĩ đại.”

Cơ chế chống zk đầy đủ chức năng có thể được sử dụng để kích hoạt nhiều ứng dụng bên ngoài trường hợp sử dụng đồng bộ hóa nút hàng đầu. ZeroSync đã tạo một bộ công cụ dành cho nhà phát triển để kích hoạt các ứng dụng như bằng chứng dự trữ trên các sàn giao dịch và nén lịch sử giao dịch trên các giao thức lớp thứ hai như Taro của Lightning Labs.

Linus và người đồng sáng lập Lukas George đã hợp tác vào tháng 7 năm ngoái để nỗ lực triển khai bằng chứng chuỗi đầy đủ về chuỗi khối Bitcoin sau khi luận văn đại học của George về việc triển khai bằng chứng về các tiêu đề của Bitcoin đã thu hút sự chú ý của Geometry Research.

Nhóm sau đó đã thêm Tino Steffens vào danh sách kết hợp; cả ba người đồng sáng lập đều có nền tảng về khoa học máy tính.

Linus đang sống ở Santa Teresa, một thị trấn ven biển hẻo lánh trên Bán đảo Nicoya của Costa Rica, nơi có một máy ATM có lệnh giới nghiêm là 10 giờ tối. Nó khiến Linus phát điên và buộc anh phải nghiên cứu các phương thức thanh toán thay thế. Anh ấy tình cờ biết đến Bitcoin, kết bạn với “phù thủy Bitcoin” Ruben Somsen (người đã đặt ra thuật ngữ “ZeroSync”) rất được kính trọng và phần còn lại như họ nói, đã là lịch sử.

Linus nói: “Từ đó, tôi bắt đầu tìm hiểu ngày càng nhiều hơn về mật mã. “Tôi đã phát triển một số kỹ năng theo thời gian và sau đó Ruben giới thiệu tôi vào Viện Nghiên cứu Hình học. Họ đã cho tôi cơ hội xây dựng bằng chứng STARK cho Bitcoin và đó cũng là cách tôi liên lạc với Lucas.”