Đầu năm nay, Weikeng Chen và các đối tác của ông tại công ty liên doanh L2 Iterative đã quyết định chuyển sự chú ý của họ sang hệ sinh thái Bitcoin đang sôi sục. Chen, một người gốc Trung Quốc, đã nhận thấy sự quan tâm ngày càng tăng đối với việc phát triển Bitcoin từ một số tác nhân lớn trong lĩnh vực khai thác, những người đã bắt đầu hỗ trợ các dự án khác nhau trong không gian Ordinals và lớp 2.

“Tôi chưa bao giờ thực sự nhận ra Bitcoin có một cộng đồng phát triển,” anh nói nửa đùa nửa thật.

Chuyển nhanh đến tuần trước, một sáng kiến ​​nguồn mở do chính ông dẫn đầu, với sự tài trợ từ công ty cơ sở hạ tầng Starkware, đã đạt được triển khai đầu tiên về trình xác minh không có kiến ​​thức bằng cách sử dụng tập lệnh Bitcoin.

Trong một ngành mà hiếm có những bước đột phá đáng kể, những người tham gia vào nỗ lực này đang nói rất nhiều về tầm quan trọng của cột mốc quan trọng này. Họ cho rằng bằng chứng không có kiến ​​thức là chìa khóa để mở khóa khả năng lập trình của Bitcoin và mở rộng quy mô sử dụng nó trên toàn cầu.

Đằng sau thành tích này là hành trình đáng chú ý của một người ngoài cuộc, người đã bắt đầu phát triển Bitcoin chỉ sáu tháng trước và hiện đã viết mã được cho là phần mềm tiên tiến nhất của nó. Tôi đã phỏng vấn Weikeng Chen để tìm hiểu sâu hơn về động lực của anh ấy, sự hợp tác của anh ấy với Starkware xung quanh OP_CAT và STARK cũng như quan điểm của anh ấy về kỷ nguyên phát triển Bitcoin mới này.

Bắt đầu từ số không

Tốt nghiệp PHD từ UC Berkeley với chuyên ngành về mật mã, Chen giải thích rằng anh bắt đầu tìm kiếm cơ hội đóng góp các kỹ năng kỹ thuật của mình cho ngành để định vị tốt hơn công ty của mình với các nhà đầu tư và công ty tiềm năng. Mặc dù có kinh nghiệm kỹ thuật sâu rộng, nhưng anh nhanh chóng nhận ra rằng nguồn lực khan hiếm và quá trình học tập rất dốc. Ông nhận xét: “Rất nhiều tài liệu hiện có đã lỗi thời và không phản ánh tình trạng phát triển hiện tại”. Niềm yêu thích của anh với công nghệ không có kiến ​​thức cuối cùng đã khiến anh tập trung nghiên cứu về khả năng của Bitcoin trong việc thực hiện các tính toán cần thiết để xác minh bằng chứng không có kiến ​​thức.

Khi hố thỏ này dẫn đến hố thỏ khác, công trình của Robin Linus về mô hình điện toán mới của BitVM đã lọt vào tầm ngắm của anh ấy. Quan tâm đến tiềm năng sử dụng bằng chứng gian lận để triển khai các hệ thống không có kiến ​​thức tương thích với Bitcoin, anh bắt đầu tìm hiểu sách trắng và nhận thấy một số vấn đề với một số khái niệm liên quan đến hệ thống. “Tôi đã gửi tin nhắn cho Robin hỏi một số câu hỏi về BitVM. Sự hiểu biết của tôi về BitVM từ báo cáo nghiên cứu đó thực sự sai lầm. Tôi nhớ phản ứng đầu tiên của Robin là hỏi tôi ai đã nói với tôi điều này,” anh cười nhớ lại. Sự tương tác này đã khơi dậy sự hợp tác ngắn gọn nhưng hiệu quả giữa Chen, Linus và các nhà nghiên cứu khác khi họ lặp lại ý tưởng ban đầu và tìm cách tối ưu hóa nó.

“Đối với tôi, rõ ràng là phương pháp này có thể được sử dụng để xác minh bằng chứng không có kiến ​​thức nên công việc của tôi nhanh chóng đi theo hướng triển khai trình xác minh SNARK.”

Trình xác minh là một công cụ mã hóa cho phép xác minh bằng chứng không có kiến ​​thức trên mạng Bitcoin.

Cơ hội OP_CAT

Cùng lúc đó, một nhóm tại gã khổng lồ ngành công nghiệp không có kiến ​​thức Starkware đang chú ý đến hoạt động mới nổi của cộng đồng Bitcoin. Đối với một số người, đó là một thời gian dài sắp tới. Người sáng lập Starkware Eli Ben-Sasson được cho là người đầu tiên thảo luận về công nghệ không có kiến ​​thức trong bối cảnh tiền điện tử tại một hội nghị Bitcoin sớm. Gần một thập kỷ sau, nghiên cứu của Starkware và công nghệ ZK-STARK đóng vai trò là nền tảng cho ngày càng nhiều ứng dụng trong không gian.

“Trở lại năm 2013, khi tôi đề xuất sử dụng bằng chứng xác thực để mở rộng quy mô Bitcoin, tôi đã hy vọng Satoshi có thể vẫn còn tồn tại và khiến điều đó diễn ra nhanh hơn. Nhờ những người có tầm nhìn xa trông rộng về mật mã như Weikeng Chen và các nhà nghiên cứu Bitcoin OP_CAT như Andrew Poelstra và Ethan Heilman, giấc mơ 11 năm tuổi của tôi giờ đây đã nằm trong tầm tay”, Ben-Sasson nhận xét.

Tháng trước, công ty thông báo họ đang bắt đầu triển khai nhiều sáng kiến ​​tập trung vào việc thu hẹp khoảng cách công nghệ giữa Bitcoin và bằng chứng không có kiến ​​thức. Khoản tài trợ đăng ký trị giá 1.000.000 đô la đã được cung cấp cho việc nghiên cứu và khám phá tiềm năng của đề xuất fork mềm OP_CAT.

Thông báo này được đánh dấu bằng sự nhiệt tình đáng chú ý, khiến một số người thắc mắc điều gì đã thúc đẩy sự lạc quan này. Cho đến gần đây, triển vọng của công nghệ không có kiến ​​thức về Bitcoin hầu như chỉ là suy nghĩ lại – một mã OP khác có thể không bao giờ được đưa ra ánh sáng. Thật vậy, khó khăn trong việc đạt được sự đồng thuận đối với những thay đổi nhỏ hơn đối với cơ sở mã Bitcoin khiến cho điều gì đó phức tạp hơn khó có thể xảy ra.

Dựa trên các cuộc trò chuyện với những người đóng góp cho Starkware, đó là khoảng tháng 5 khi họ biết được tiến trình của Weikeng trên BitVM và tâm trạng đã thay đổi đáng kể. Hóa ra, nhà phát triển đã để mắt tới công nghệ Circle STARKs của công ty. Trong một bài báo phát hành vài tháng trước, Chen đã xác định hệ thống sau là “hệ thống bằng chứng thân thiện với Bitcoin”.

Sau một vài lần qua lại, cả hai bên đã đồng ý hợp tác và nỗ lực chung dành riêng cho việc triển khai trình xác minh STARK bằng nguồn mở bằng cách sử dụng nguyên hàm OP_CAT. “Tôi biết điều đó có thể thực hiện được. Chúng tôi chỉ cần ghép tất cả các mảnh lại với nhau,” Chen gợi ý. “Khu bảo tồn động vật hoang dã Bitcoin” đã ra đời.

Hai tháng sau, dự án dường như đã đạt được mục tiêu nhờ sự cộng tác của các nhà phát triển khác như Pingzhou Yuan, một người đóng góp ban đầu khác cho BitVM. Sáng muộn thứ Sáu tuần trước, Chen đã nhảy vào nhóm Telegram của dự án để thông báo tin này cho những người tham gia khác: “Tôi nghĩ mình đã hoàn thành công việc!”

Sau khi thử nghiệm cục bộ thành công, nhà phát triển đã phát một loạt giao dịch tới mạng thử nghiệm Signet của Bitcoin để thực thi toàn bộ tập lệnh. Để tối ưu hóa việc sử dụng trên chuỗi, bằng chứng STARK, dựa trên việc triển khai Stwo nguồn mở của Starkware, được chia thành các giao dịch đồng thời được xâu chuỗi lại với nhau bằng giao ước dựa trên OP_CAT.

Vào lúc 6:29 sáng ngày 12 tháng 7 năm 2024, giao dịch cuối cùng đã được xác nhận trên mạng Signet, báo hiệu những gì những người ủng hộ tin rằng có thể là sự khởi đầu cho một kỷ nguyên phát triển mới trên Bitcoin.

Chen nói: “Đây là một nỗ lực to lớn và mất một khoảng thời gian đáng kể. “Chúng tôi bắt đầu không có gì. Không có thông tin về bằng chứng ZK trên Bitcoin. Không có thông tin nào liên quan đến các phép toán cần tuân theo. Chúng tôi đã phải xây dựng toàn bộ ngăn xếp, điều này cuối cùng dẫn đến việc triển khai trình xác minh STARK.”

Truyền cảm hứng cho một con đường phát triển mới

Trong khi kết quả xứng đáng được ăn mừng, Chen vẫn nhất quyết khẳng định công việc vẫn chưa hoàn thành. Khi được hỏi liệu anh ấy có lạc quan về công việc tạo nền tảng cho các giao thức mở rộng quy mô mới như triển khai Bitcoin hay không, nhà phát triển đã nhanh chóng làm thay đổi kỳ vọng. 

“Ý tưởng gần như đã thành công nhưng bằng chứng khái niệm vẫn chưa sẵn sàng để đưa vào sản xuất. Bằng chứng xác thực cũng chiếm nhiều không gian khối, điều này có thể trở nên đắt đỏ trong tương lai.”

Những người đóng góp tại Starkware thừa nhận những thách thức phía trước nhưng tin tưởng rằng sự thành công của dự án thể hiện “một bước nhảy vọt vĩ đại” đối với các giải pháp mở rộng quy mô Bitcoin có thể tận dụng công nghệ tổng hợp ZK của họ.

Một điều chắc chắn là sự hợp tác này có khả năng củng cố hơn nữa các lập luận ủng hộ một fork mềm OP_CAT tiềm năng. Để kết hợp việc triển khai trình xác minh, Chen cho biết anh phải phát triển một khuôn khổ đáng tin cậy cho các giao ước sử dụng CAT để có thể làm nổi bật tính linh hoạt của đề xuất cải tiến tập lệnh. Anh ấy tin rằng các nhà phát triển khác trong hệ sinh thái có thể sử dụng mã của anh ấy và đưa ra kết luận giống như anh ấy về lợi ích của nó.

“Tôi không nghĩ sẽ có nhiều rủi ro khi chúng tôi đã phát triển các phương pháp hay nhất. Không có nhiều nơi xảy ra sai sót như vậy. Bây giờ chúng tôi đã chứng minh rõ ràng rằng OP_CAT có thể được điều chỉnh cho phù hợp với các dự án giao ước khác nhau một cách an toàn.”

Khi được hỏi về ý định đóng góp cho quá trình kích hoạt trong tương lai, nhà phát triển sẵn sàng thừa nhận rằng ông chưa đủ quen thuộc với tất cả các động lực xung quanh việc phát triển nguồn mở Bitcoin. Tiếp theo, anh ấy dự định chia sẻ tiến trình của mình với các thành viên trong danh sách gửi thư phát triển và hy vọng những người khác sẽ có thể đóng góp đánh giá và đưa ra phản hồi về công việc của anh ấy.

Suy ngẫm về kinh nghiệm của mình cho đến nay, Chen ngay lập tức chỉ ra tầm quan trọng của việc tạo ra môi trường màu mỡ cho các nhà phát triển mới tham gia hệ sinh thái. Ông tin rằng nhiều nhà phát triển tài năng đang bỏ qua cơ hội xây dựng dựa trên Bitcoin vì thiếu tầm nhìn gắn kết.

“Hiện tại, không có định hướng rõ ràng nào khiến những người đóng góp cảm thấy bối rối về khả năng tác động đến tương lai của họ. Hy vọng rằng sự xuất hiện của các công cụ mới và nguyên thủy có thể cải thiện tình trạng này để những người chơi Bitcoin được phép mơ ước một lần nữa.” 

Nguồn: Tạp chí Bitcoin

Bài đăng Bằng chứng không có kiến ​​thức được xác minh về Bitcoin lần đầu tiên trong lịch sử xuất hiện đầu tiên trên Tin tức nóng hổi về tiền điện tử.