BitcoinOS Mã Nguồn Mở BitSNARK

Tại một văn phòng ở London vào thứ Năm, các nhà phát triển BitcoinOS đã hoàn tất việc cam kết mã cuối cùng mở mã BitSNARK, một giao thức chuyên biệt cho phép xác minh không kiến thức trên Bitcoin.

Việc chuyển sang 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 cách mà trước đây là không thể,” Edan Yago, CEO và đồng sáng lập của BitcoinOS, đã nói với Decrypt.

Bản phát hành này theo sau bản trình diễn của BitcoinOS vào tháng 7 năm 2024, đã xác minh bằng chứng không kiến thức đầu tiên trên mạng chính của Bitcoin tại Khối 853626.

Trong nhiều năm, các nhà phát triển Bitcoin đối mặt với một tam giác trilemma dường như không thể giải quyết: cải thiện quy mô, thêm khả năng biểu đạt tính toán, hoặc duy trì phân quyền—chọn tối đa hai.

BitcoinOS giải quyết vấn đề này mà không cần sửa đổi giao thức cốt lõi của Bitcoin. Khía cạnh này có thể biến đổi cách mà các nhà phát triển xây dựng cho mạng lưới crypto lớn nhất thế giới thông qua các ngôn ngữ mà họ đã quen thuộc như Rust và Solidity.
e efforts to make the protocol open source are aimed at improving how SNARKs (Succinct Non-interactive Argument of Knowledge) are used on Bitcoin.

SNARKs are cryptographic proofs that let someone prove they know something or did something correctly without revealing any other details, using a simple verification scheme that anyone can easily check.

This method has been around for some time, but BitSNARK builds on that with a supposedly streamlined approach.

Small Steps, Big Ideas

Unlike more complex implementations, BitSNARK optimizes for SNARK verification, requiring only three instructions instead of dozens and wrapping these complex computations into proofs sized at just about 350 bytes.

This efficiency makes the once-theoretical concept of running zero-knowledge proofs on Bitcoin’s limited scripting environment “small enough” to be practical for real-world applications, Yago claimed.

It does that by using a “prover-verifier” model where participants prepare and sign a seri
của các giao dịch Bitcoin cho phép xác minh chứng minh.

Giao thức sử dụng các thuật toán tìm kiếm nhị phân để xác định 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 bởi các lợi ích kinh tế mà nó tuyên bố khiến cho sự không trung thực trong hệ thống trở nên tốn kém đến mức không thể chấp nhận cho cả hai bên.

Đưa các Ứng dụng lên Bitcoin

Các tác động của việc BitSNARK trở thành mã nguồn mở vượt ra ngoài các vòng tròn kỹ thuật.

Các ứng dụng tài chính trước đây chỉ có trên các blockchain lập trình được như Ethereum giờ đây có thể thực hiện trên Bitcoin: cầu nối không cần tin tưởng cho các tài sản liên chuỗi, sàn giao dịch phi tập trung, và thậm chí là stablecoin được đảm bảo bằng Bitcoin.

Tuy nhiên, không phải ai trong cộng đồng Bitcoin cũng chấp nhận những phát triển này.

Các lo ngại về sự tăng lên của độ phức tạp và các rủi ro bảo mật tiềm tàng với kiến thức không tiết lộ đã xuất hiện từ các nhà phê bình, những người thấy giá trị nhiều hơn trong sự đơn giản và tự bảo quản 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 cốt lõi sẽ hoàn toàn o
mã nguồn mở, trong khi một số yếu tố sở hữu sẽ vẫn giới hạn cho các ứng dụng mà BitcoinOS đã xây dựng.

Khi được hỏi về vấn đề bảo mật, Yago cho biết Decrypt rằng BitcoinOS xem BitSNARK như một cách để xây dựng “một lớp bảo mật toàn cầu cho toàn bộ internet.”

Nếu thành công, các sáng kiến của BitcoinOS với BitSNARK có thể giúp Bitcoin tìm và “định hình lại cách mà tất cả 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 mọi người,” Yago nói trong một tuyên bố.

Biên tập bởi Sebastian Sinclair