Bằng chứng không kiến ​​thức có thể là một phương tiện khả thi để giải quyết tắc nghẽn mạng gần đây và phí cao trên chuỗi khối Bitcoin.

Mạng Bitcoin gần đây đã phải đối mặt với một bài kiểm tra giấy quỳ do nhu cầu ngày càng tăng đối với các mã thông báo Ordinals và BRC-20 được ghi vào chuỗi khối.

Việc tăng phí và tắc nghẽn giao dịch đã khiến cộng đồng Bitcoin ( BTC ) rộng lớn hơn thất vọng, vì một số mã thông báo BRC-20 liên quan đến memecoin  đã thu hút hàng tỷ đô la vốn trong những tuần gần đây.

Hệ sinh thái Ethereum đã được hưởng lợi từ việc phát triển các giải pháp mở rộng quy mô , mang lại những cải tiến lớn về dung lượng mạng và khả năng xử lý. Đặc biệt, bằng chứng không kiến ​​thức (ZK-proofs) đã thu hút sự chú ý trong vài tháng qua, với một số dự án áp dụng công nghệ mở rộng quy mô.

Cointelegraph đã nói chuyện riêng với Eli Ben-Sasson, người đồng sáng lập StarkWare tập trung vào Ethereum và là người tiên phong của Kiến thức đối số minh bạch có thể mở rộng bằng không (zk-STARKS), để khám phá xem liệu công nghệ này có thể là câu trả lời cho thách thức mới nhất của Bitcoin hay không.

Bằng chứng ZK là các giao thức mật mã cho phép một bên chứng minh một tuyên bố hoặc dữ liệu là đúng mà không tiết lộ bất kỳ thông tin nào. Công nghệ đảm bảo quyền riêng tư và bảo mật đồng thời bổ sung khả năng cho các chuỗi khối bằng cách giảm tải tính toán cần thiết để xác minh các giao dịch và dữ liệu khác được lưu trữ trên chuỗi.

Nhà toán học và nhà mật mã học nổi tiếng ghi nhận Bitcoin vì đã bắt đầu hành trình khám phá của mình xung quanh lời hứa về tính hợp lệ, bằng mật mã và bằng chứng không kiến ​​thức để cải thiện công nghệ chuỗi khối. Làm nổi bật bản chất “liên kết chặt chẽ” của các giải pháp mở rộng quy mô và chuỗi khối, Ben-Sasson đã tóm tắt tiềm năng của các bằng chứng ZK để mang lại lợi ích cho mạng Bitcoin:

“Bằng chứng xác thực và STARK cho phép bạn sử dụng tính toàn vẹn của toán học một cách rất hiệu quả để mở rộng quỹ đạo của tính toàn vẹn mà chuỗi khối bao trùm để mời bất kỳ ai tham gia và bổ sung thêm dung lượng cho mạng.”

Chuỗi khối của Bitcoin sẽ tiếp tục hoạt động như một vòng tròn bên trong của tính toàn vẹn, trong khi các bằng chứng ZK mở rộng nguồn gốc của tính toàn vẹn và mang lại nhiều năng lực hơn, tạo ra thứ mà Ben-Sasson mô tả là hiệu ứng “bánh đà tích cực”:

“Càng mang nhiều năng lực, càng sử dụng được nhiều chức năng xã hội;ngay cả khi đó là tiền, bạn có thể thực hiện các khoản thanh toán vi mô hoặc bạn có thể thêm những thứ mới nếu bạn cho phép hợp đồng thông minh.Và sau đó có nhiều niềm tin hơn vào hệ thống, và nó tăng thêm nhiều giá trị hơn.”

Ben-Sasson nhắc lại niềm tin của mình rằng mạng Bitcoin có thể chứng kiến ​​tính toàn vẹn và hiệu quả cao hơn từ lợi ích toán học của các bằng chứng hợp lệ. Ông nói thêm rằng các nhà phát triển Bitcoin Greg Maxwell, Gavin Andresen và Mike Hearn đã sớm đề xuất các bằng chứng minh bạch về tính hợp lệ và quyền riêng tư của zk-STARK, không yêu cầu thiết lập đáng tin cậy và duy trì an toàn lượng tử.

Tiềm năng của Bitcoin — thứ đầu tiên và quan trọng nhất đóng vai trò là tiền cứng phi tập trung — để cho phép các hình thức tính toán và chức năng xã hội tổng quát hơn vẫn là một điểm thảo luận trong cộng đồng của nó. Đối với Ben-Sasson, tiềm năng kết hợp các bằng chứng ZK đang được thúc đẩy bởi nhu cầu thị trường về chức năng bổ sung trên Bitcoin bằng mã thông báo BRC-20:

“Để nó [BRC-20] thực sự có mức độ toàn vẹn được cung cấp bởi Bitcoin, phải có một hard fork cho phép những thứ này được xác minh và xác thực và có tính toàn vẹn của Bitcoin.Và đó là một quyết định lớn và một điểm tranh luận lớn.

Theo  báo cáo của Cointelegraph , Hiệp hội ZeroSync là một công ty khởi nghiệp mới thành lập đang phát triển các công cụ hỗ trợ bằng chứng ZK 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 tải xuống chuỗi khối hoặc tin tưởng bên thứ ba để xác minh.

Bằng chứng hợp lệ của ZeroSync cho phép người dùng xác minh ngay trạng thái chuỗi của Bitcoin, loại bỏ nhu cầu tải xuống hơn 500 gigabyte dữ liệu chuỗi khối hiện được yêu cầu để đồng bộ hóa một nút Bitcoin.

Người đồng sáng lập ZeroSync, Robin Linus nói với Cointelegraph rằng bằng chứng trạng thái chuỗi của nó không trực tiếp giải quyết tắc nghẽn mạng nhưng sẽ loại bỏ nhu cầu người dùng tải xuống các dòng chữ đang làm tắc nghẽn chuỗi khối Bitcoin.

Tuy nhiên, bằng chứng ZK vẫn hứa hẹn giúp khắc phục tình trạng tắc nghẽn mạng hiện tại. Linus cho biết ZeroSync cũng đã phát triển một giao thức xác thực phía máy khách Bitcoin có tên là zkCoins, cho phép xử lý tới 100 giao dịch mã thông báo mỗi giây:

“Nó sử dụng các dòng chữ, nhưng dấu chân trên chuỗi thấp hơn nhiều so với BRC-20 và nó không làm phình to bộ UTXO.”

Linus nói thêm rằng trình xác minh Kiến thức đối số không tương tác cô đọng (zk-SNARK) không có kiến ​​thức trên lớp chính của Bitcoin có thể cho phép toàn bộ các giải pháp mở rộng quy mô, bao gồm ZK-rollup, cầu nối đáng tin cậy với các chuỗi bên và khả năng chốt BTC vào zkCoins để nâng cao quyền riêng tư và tăng thông lượng:

“Thật tuyệt vời khi thấy rằng các bằng chứng hợp lệ đang thu hút nhiều sự chú ý hơn trong cộng đồng Bitcoin hiện nay.Mọi người đã bắt đầu thảo luận về một opcode mới trong danh sách gửi thư của nhà phát triển bitcoin.”

Linus cũng lưu ý rằng các giải pháp mở rộng lớp 2 Bitcoin khác như Lightning Network, Fedimint và Chashu — những người giám sát bảo vệ quyền riêng tư dựa trên Chaumian eCash — đã nhận thấy sự quan tâm ngày càng tăng sau tình trạng tắc nghẽn mạng do khai thác Ordinals và BRC-20.