BitcoinOS đã thực hiện một bước tiến lớn bằng cách cung cấp nguồn mở cho giao thức xác minh BitSNARK, đánh dấu một thời điểm quan trọng trong sự phát triển của Bitcoin. Hôm nay, chúng ta sẽ xem chính xác điều này có ý nghĩa gì và tại sao giao thức xác minh BitSNARK nguồn mở lại là giao thức tiên phong. về mật mã không có kiến ​​thức trên mạng chính Bitcoin.

Giao thức xác minh BitSNARK là gì?

Giao thức xác minh BitSNARK là một hệ thống cho phép thực hiện bằng chứng zk-SNARK trên mạng Bitcoin mà không cần thay đổi giao thức cốt lõi Bitcoin. Sự đổi mới này cho phép chạy các ứng dụng phi tập trung phức tạp hơn trên chuỗi và chuỗi an toàn nhất thế giới.​

Một công nghệ được xây dựng trên mô hình BitVM do Robin Linus đề xuất trong bài báo tháng 12 năm 2023 của ông, cho phép biểu hiện các hợp đồng thông minh hoàn chỉnh Turing trên Bitcoin.​

BitSNARK tăng cường chức năng bằng cách cải thiện kích thước chương trình và giảm độ dài thử thách/phản hồi, làm cho nó trở thành một hệ thống hiệu quả hơn, đáp ứng các nhu cầu cụ thể của cầu nối tổng hợp.

Vì BitcoinOS (BOS) đã mở nguồn giao thức xác minh Zero-Knowledge Proof (ZKP).

Tại sao zk-SNARK lại quan trọng?

zk-SNARK là bằng chứng mật mã cho phép một bên (người chứng minh) chứng minh với một bên khác (người xác minh) ​​rằng họ biết một phần thông tin hoặc tính toán cụ thể đã được thực hiện chính xác mà không tiết lộ bất kỳ chi tiết nào khác về bản thân tính toán.​

Vào tháng 7, BOS đã xác minh bằng chứng không có kiến ​​thức đầu tiên của Bitcoin ở độ cao khối 853626. Mã nguồn mở của BitSNARK v0.1 cung cấp cho các nhà phát triển các công cụ để triển khai bằng chứng mật mã nâng cao trên Bitcoin.

Giao thức BitSNARK hoạt động như thế nào?

BitSNARK được thiết kế như một thỏa thuận giữa hai bên liên quan đến người chứng minh và người xác minh, trong đó người chứng minh trước tiên tiết lộ đầu vào của chương trình và kết quả của họ, người xác minh có thể phản đối nếu họ tin rằng tuyên bố đó là không chính xác.​

Loại mã hóa này rất cần thiết để nén các tính toán lớn thành các bằng chứng nhỏ có thể xác minh được, điều này rất quan trọng trong môi trường blockchain nơi không gian khối là tài nguyên hạn chế.

Cơ cấu khuyến khích kinh tế này đảm bảo tính trung thực, vì hành vi không trung thực sẽ bị trừng phạt, người chứng minh sẽ mất số tiền họ đặt vào BTC và người xác nhận phải chịu chi phí tiềm ẩn nếu thử thách của họ không thành công.

Tôi nên làm gì nếu xảy ra sự khác biệt?

Nếu xảy ra sự khác biệt, giao thức sẽ không chạy lại toàn bộ quá trình xác minh. Thay vào đó, nó sử dụng tìm kiếm nhị phân để xác định điểm phân kỳ chính xác, thường yêu cầu số bước logarit để giải quyết. quá trình xác minh vẫn còn trên blockchain Bitcoin vẫn khả thi về mặt tính toán.

Rollups đóng góp như thế nào vào sự phát triển của Bitcoin?

Rollups là một môi trường thực thi tổng hợp dữ liệu giao dịch ngoài chuỗi và sau đó đưa nó lên chuỗi khối Bitcoin chính.​

Thông qua các bản tổng hợp, mạng Bitcoin có thể lưu trữ một môi trường thực thi tương tự như các chuỗi khối khác như Ethereum và Solana, mở rộng đáng kể khả năng của nó.​

Tại sao việc xác minh BitSNARK lại mang tính cách mạng đối với Bitcoin?

Kể từ khi thành lập, Bitcoin đã phải đối mặt với khó khăn trong việc đạt được khả năng mở rộng lớn hơn, nâng cao chức năng và duy trì tính phi tập trung, và cộng đồng từ lâu đã tranh luận về việc liệu có thể nâng cao Bitcoin mà không ảnh hưởng đến chức năng cốt lõi của nó hay không, tương tự như việc kéo chăn lên ba. các góc (khả năng mở rộng, chức năng và phân cấp) minh họa sự khó khăn trong việc bao quát tất cả các khía cạnh cùng một lúc.

Tính năng mới này cho phép Bitcoin thực hiện các giao dịch hoán đổi nguyên tử phi tập trung, chuyển giao chuỗi chéo và tích hợp các giao dịch hợp đồng thông minh, đẩy Bitcoin hướng tới một tương lai nơi nó có thể tương tác liền mạch với các hệ sinh thái blockchain khác.

Không giống như các dự án khác mang lại bằng chứng không có kiến ​​thức cho Bitcoin, việc triển khai BitSNARK độc đáo ở chỗ nó chạy trực tiếp trên mạng chính Bitcoin mà không cần fork mềm.​

Giám đốc điều hành và đồng sáng lập BOS Edan Yago cho biết họ sẽ biến Bitcoin thành một nền tảng hợp đồng thông minh hoàn chỉnh. “Yago cho biết Bitcoin đã trở thành chủ đề thảo luận”.

BitSNARK so sánh với các giải pháp chứng minh không có kiến ​​thức khác về Bitcoin như thế nào?

Trong khi các dự án khác đã có những bước tiến lớn trong việc mang lại bằng chứng không có kiến ​​thức cho Bitcoin, thì việc triển khai mạng chính của BitSNARK đã tạo nên sự khác biệt, chẳng hạn như StarkWare đã xác minh bằng chứng ZK trên mạng thử nghiệm Signet của Bitcoin vào tháng 6 năm 2024, nhằm mục đích cải thiện khả năng mở rộng của Bitcoin bằng công nghệ STARK và phần mềm ngã ba có tên OP_CAT.​

Dự án ZkSync đang phát triển một ứng dụng khách nhẹ không có kiến ​​thức cho Bitcoin bằng cách sử dụng mã OP_ZKP OP cơ bản, nhưng chưa triển khai xác thực mạng chính.

CTO Ledger Charles Guillemet là người ủng hộ các tiến bộ như OP_CAT hoặc các cách sáng tạo khác để xác minh bằng chứng ZK trên chuỗi Bitcoin, mà ông tin rằng có thể nâng cao các giải pháp lớp 2 và giảm niềm tin vào xử lý ngoài chuỗi.​

Bitcoin khác với các công nghệ blockchain khác như thế nào?

Điều khác biệt giữa Bitcoin với các công nghệ blockchain mới hơn như Ethereum và Solana là tính ổn định và độ tin cậy của nó. Những công nghệ mới hơn này liên tục được cập nhật và có thể gặp phải các vấn đề về vận hành, trong khi tính bất biến của Bitcoin khiến nó trở thành một khoản đầu tư ổn định hơn để bảo vệ tài sản.​

Những thử nghiệm mới này nhằm mục đích mang lại các tính năng nâng cao cho Bitcoin, vốn chưa hỗ trợ chạy các hợp đồng thông minh phức tạp hoặc các ứng dụng phi tập trung trực tiếp trên mạng của nó, bất chấp những lợi thế kỹ thuật của các chuỗi khối mới hơn này.

Hơn nữa, cuộc thảo luận đã chỉ ra một hiện tượng thú vị trong ngành công nghệ: ngay cả khi các công nghệ mới mang lại những cải tiến đáng kể so với các hệ thống cũ, chúng không phải lúc nào cũng thay thế chúng trong trường hợp blockchain, Ethereum và các nền tảng tương tự mặc dù chức năng của chúng được nâng cao, nhưng thực tế thì có. không thay thế Bitcoin mà cùng tồn tại với Bitcoin để đáp ứng các nhu cầu khác nhau trong hệ sinh thái.

Các vấn đề chính với Bitcoin là gì?

Bitcoin thường bị coi là bị hạn chế về khả năng hiện có, chủ yếu là vì về cơ bản bạn chỉ có thể nắm giữ hoặc bán BTC thông qua các sàn giao dịch, một hạn chế nêu bật nhu cầu Bitcoin phải được tích hợp sâu hơn vào cộng đồng tích cực nếu nó được dự định đóng vai trò là nguồn dự trữ. nền kinh tế tiền tệ.

Mô hình hiện tại củng cố việc định giá nghìn tỷ đô la của Bitcoin vì nó cho phép quyền sở hữu không cần qua trung gian, có giá trị cao và cho phép sử dụng nó ở cấp độ tài chính phi tập trung.​

Tầm nhìn của Bitfinity: Kết nối Bitcoin và Ethereum

Tầm nhìn lớn của Bitfinity xoay quanh việc thu hẹp khoảng cách giữa khả năng hợp đồng thông minh của Bitcoin và Ethereum. Bằng cách tận dụng sức mạnh của công nghệ chứng minh không có kiến ​​thức, Bitfinity đặt mục tiêu tạo ra các tập hợp Bitcoin nhằm giải quyết các thách thức về khả năng mở rộng thông qua các Phương thức xử lý giao dịch hàng loạt nâng cao khả năng lập trình của Bitcoin.

Bitfinity EVM: Công cụ thay đổi cuộc chơi của Bitcoin

Trọng tâm tầm nhìn của Bitfinity là Bitfinity EVM (Máy ảo Ethereum), một công cụ biến đổi cho phép triển khai các hợp đồng thông minh tương thích với Ethereum trực tiếp trên Bitcoin.

Bitfinity EVM hoạt động như một sidechain, tận dụng công nghệ máy tính internet để đạt được tốc độ và hiệu quả vượt trội ngoài khả năng hiện tại của Ethereum.

Giải phóng khả năng tương tác chuỗi chéo

Sự tích hợp của BitSNARK và sự phát triển của Bitfinity EVM đặt nền tảng cho khả năng tương tác xuyên chuỗi liền mạch Với khả năng thực hiện các giao dịch hoán đổi nguyên tử phi tập trung và chuyển giao chuỗi chéo, Bitcoin dự kiến ​​sẽ trở thành một phần không thể thiếu trong hệ sinh thái blockchain rộng lớn hơn. phần.

Khả năng tương tác mới được phát hiện này sẽ mở ra những con đường mới cho Bitcoin, thúc đẩy nó hướng tới một tương lai nơi nó có thể tương tác trôi chảy với các mạng blockchain khác.

Tóm lại

Việc giới thiệu mật mã không kiến ​​thức (ZK) cho Bitcoin có tầm ảnh hưởng sâu rộng, cho phép mọi logic tính toán—từ các máy ảo như Solana hoặc Ethereum đến các ngôn ngữ lập trình như Solidity, Java hoặc TypeScript—có thể được tích hợp vào Bitcoin.​

Với những cải tiến này, Bitcoin sẽ củng cố vị thế là công nghệ nền tảng cho tương lai phi tập trung, thể hiện nguyên tắc tất cả các ứng dụng phi tập trung có thể chạy trên mạng Bitcoin.​

Để biết thêm thông tin về Bitfinity, hãy đọc:

• Xem nhanh dự án Bitcoin Layer2 Bitfinity, tương thích với Ethereum EVM

• Hiểu về Bitfinity: Bitcoin L2, đang vận hành ICP Express, cũng cần phải là một cầu nối chuỗi chéo?

#BitSNARK #BitcoinOS #BITFINITY #ICP生态

Nội dung IC bạn quan tâm

Tiến độ Công nghệ Thông tin Dự án |

Thu thập và theo dõi Kênh IC Binance

Luôn cập nhật những thông tin mới nhất