Các Nhà Phát Triển Bitcoin Nhắm Đến Chứng Minh Không Biết (Zero-Knowledge Proofs) Để Mở Rộng Tài Chính Phi Tập Trung (DeFi)

Các nhà phát triển Bitcoin đang tập trung vào việc nâng cao khả năng tài chính phi tập trung (DeFi) của blockchain thông qua các chứng minh không biết (ZK), yêu cầu một nhánh mềm (soft fork) để thực hiện.

Edan Yago, một người kỳ cựu trong lĩnh vực Bitcoin và là một nhà đóng góp chính cho hệ điều hành hợp đồng thông minh BitcoinOS (BOS), nhấn mạnh những thách thức của việc phân nhánh một blockchain có giá trị 2 nghìn tỷ USD. Ông cho biết: “Phân nhánh một blockchain, đặc biệt là một blockchain có giá trị 2 nghìn tỷ USD, giống như phẫu thuật tim mở.”

Một nhánh blockchain đại diện cho một sự thay đổi trong mã nguồn tạo ra sự khác biệt. Các nhánh có thể là “mềm” (soft), cho phép các phiên bản cũ hơn tương tác với các phiên bản mới hơn, hoặc “cứng” (hard), làm cho các phiên bản cũ không tương thích và bắt buộc tất cả người dùng phải nâng cấp.

Chứng minh ZK hoạt động như một phương pháp mật mã để chứng minh tính hợp lệ của các tuyên bố trong khi đảm bảo sự riêng tư. Mặc dù phần mềm của Bitcoin thiếu tính năng này, nhưng các triển khai như OP_CAT và OP_CTV có thể tiềm năng trong việc…
Yago tin rằng các nhà phát triển phải thể hiện các phương pháp thay thế để kích hoạt chứng minh ZK mà không cần một fork.

BOS nhằm mục đích đạt được điều này thông qua BitSNARK, một giao thức Bitcoin rollup, là một phần trong loạt các mô hình tính toán được thiết kế để nâng cao khả năng mở rộng blockchain. Phát triển này theo sau việc Robin Linus giới thiệu BitVM vào tháng 10 năm 2023, phác thảo một khuôn khổ để kích hoạt các hợp đồng thông minh giống như Ethereum trên Bitcoin.

BitcoinOS đã mã nguồn mở giao thức BitSNARK “sẵn sàng cho sản xuất”, cho phép các nhà phát triển truy cập vào xác minh ZK trên Bitcoin đồng thời tạo điều kiện kết nối với các blockchain khác như Ethereum, Solana và Cardano.

BitSNARK cho phép các nhà phát triển thu nhỏ các phép toán lớn, phức tạp chỉ còn 300 byte có thể được xác minh thông qua các giao dịch Bitcoin tiêu chuẩn. Sáng kiến này có thể dẫn đến BTCFi, bao gồm DeFi trên Bitcoin, và cho phép các sàn giao dịch phi tập trung, cầu nối chuỗi chéo, và stablecoin được hỗ trợ bởi BTC.

Trong khi nhiều dự án đang theo đuổi tài chính phi tập trung
ance on Bitcoin, họ thường phụ thuộc vào mã OP_CAT hoặc OP_CTV cần một nhánh phân tách. Yago tìm kiếm các con đường thay thế để đạt được kết quả tương tự.