Vào Thứ Năm tại một văn phòng ở London, các nhà phát triển BitcoinOS đã hoàn thành commit code cuối cùng để mã nguồn mở BitSNARK, một giao thức chuyên dụng cho phép xác minh zero-knowledge trên Bitcoin.
Việc mã nguồn mở BitSNARK "mở khóa khả năng lập trình trên Bitcoin" và nhằm giúp các nhà phát triển "xây dựng và thử nghiệm theo những cách trước đây không thể", Edan Yago, CEO và đồng sáng lập của BitcoinOS, cho biết với Decrypt.
Bản phát hành này đi theo demo của BitcoinOS vào tháng 7 năm 2024, đã xác minh bằng chứng zero-knowledge đầu tiên trên mạng chính của Bitcoin tại Block 853626.
Trong nhiều năm, các nhà phát triển Bitcoin đã đối mặt với một bài toán khó giải: cải thiện quy mô, thêm tính biểu đạt tính toán, hoặc duy trì phi tập trung - chỉ có thể chọn tối đa hai trong số này.
BitcoinOS giải quyết vấn đề này mà không cần sửa đổi giao thức lõi của Bitcoin. Khía cạnh này có thể biến đổi cách các nhà phát triển xây dựng cho mạng crypto lớn nhất thế giới thông qua các ngôn ngữ họ đã quen thuộc như Rust và Solidity.
Những nỗ lực này nhằm mã nguồn mở giao thức nhằm cải thiện cách sử dụng SNARKs (Succinct Non-interactive Argument of Knowledge) trên Bitcoin.
SNARKs là những bằng chứng mật mã cho phép một người chứng minh họ biết điều gì đó hoặc đã làm điều gì đó đúng mà không tiết lộ bất kỳ chi tiết nào khác, sử dụng một lược đồ xác minh đơn giản mà bất kỳ ai cũng có thể dễ dàng kiểm tra.
Phương pháp này đã tồn tại một thời gian, nhưng BitSNARK xây dựng trên đó với một cách tiếp cận được cho là đơn giản hóa.
Khác với các triển khai phức tạp hơn, BitSNARK tối ưu hóa cho việc xác minh SNARK, chỉ yêu cầu ba chỉ thị thay vì hàng chục và bọc các tính toán phức tạp này thành các bằng chứng chỉ khoảng 350 byte.
Hiệu quả này khiến khái niệm lý thuyết về việc chạy các bằng chứng zero-knowledge trong môi trường script hạn chế của Bitcoin "đủ nhỏ" để thực tế áp dụng cho các ứng dụng thực tế, Yago khẳng định.
Nó làm điều đó bằng cách sử dụng mô hình "người cung cấp-người xác minh" nơi các bên tham gia chuẩn bị và ký một loạt các giao dịch Bitcoin để cho phép xác minh bằng chứng.
Giao thức sử dụng các thuật toán tìm kiếm nhị phân để định vị các hoạt động gây tranh cãi và cố gắng giải quyết các tranh chấp, được bảo mật bằng các động lực kinh tế mà nó khẳng định sẽ khiến sự không trung thực trong hệ thống trở nên quá tốn kém cho cả hai bên.
Những hàm ý của việc BitSNARK trở thành mã nguồn mở vượt ra ngoài các vòng kỹ thuật.
Các ứng dụng tài chính trước đây chỉ dành riêng cho các blockchain có thể lập trình như Ethereum giờ đây trở nên khả thi trên Bitcoin: cầu nối không cần tin cậy cho tài sản liên chuỗi, sàn giao dịch phi tập trung, và thậm chí stablecoin được bảo lãnh bằng Bitcoin.
Tuy nhiên, không phải tất cả những người trong cộng đồng Bitcoin đều ủng hộ những phát triển này.
Những lo ngại về sự phức tạp gia tăng và rủi ro bảo mật tiềm ẩn với zero-knowledge đã nảy sinh từ những người phê bình, những người thấy giá trị hơn trong sự đơn giản và tự lưu trữ hơn là triển vọng mở rộng chức năng.
Đối với kho lưu trữ, Yago xác nhận với Decrypt rằng cơ sở hạ tầng lõi sẽ hoàn toàn mã nguồn mở, trong khi một số yếu tố độc quyền sẽ vẫn bị hạn chế đối với các ứng dụng mà BitcoinOS đã xây dựng.
Khi được hỏi về bảo mật, Yago cho biết với Decrypt rằng BitcoinOS coi BitSNARK là một cách để xây dựng "lớp bảo mật phổ quát cho toàn bộ internet".
Nếu thành công, các sáng kiến của BitcoinOS với BitSNARKs có thể giúp Bitcoin tìm thấy và "định hình lại cách chúng ta có thể sử dụng Bitcoin" và đảm bảo rằng "lời hứa ban đầu" của tiền điện tử alpha "được thực hiện cho tất cả mọi người", Yago cho biết trong một tuyên bố.
Được chỉnh sửa bởi Sebastian Sinclair
