Bản gốc｜Odaily Planet Daily
Tác giả: jk
Cơn gió lạnh của Colorado mang theo sự nhiệt tình của thế giới blockchain. Tại các hoạt động ngoại vi của ETH Denver, một con tem có hình một chùm quả mọng đỏ đã được in trên cánh tay của mỗi người tham gia - đây là mã đầu tiên mà nhóm Boundless để lại cho những người tham gia. Reka, giám đốc thương hiệu và truyền thông, đứng cạnh tác phẩm sắp đặt và nhẹ nhàng lướt ngón tay trên bề mặt con dấu quả mọng: Berry là một cách chơi chữ đồng âm rất thú vị . Mỗi quả tượng trưng cho sự kết hợp của Boundless (Vô biên) và Verifiable Compute (Tính toán có thể xác minh).
Berry rõ ràng đã khơi dậy sự nhiệt tình trong cộng đồng Boundless và hiện đã có hơn 1,5 triệu NFT dựa trên nó được đúc. Với bối cảnh là dãy núi Rocky phủ đầy tuyết ở đằng xa, Odaily đã có một loạt cuộc trò chuyện sâu sắc với sáu thành viên của nhóm cốt lõi Boundless đứng sau Berry - Tổng giám đốc điều hành Jeremy Bruestle, Trưởng phòng Sản phẩm Kỹ thuật Jacob Everly, Giám đốc Thông tin Shiv Shankar, Giám đốc Điều hành Joe Restivo, Phó chủ tịch Sản phẩm Brett Carter và giám đốc thương hiệu Reka Medvecz. Từ triết lý kỹ thuật của ZKVM đến trò chơi tin cậy của TEE, từ những thí nghiệm mang tính cách mạng trong lý luận AI đến câu chuyện thương hiệu đằng sau Berry, tham vọng công nghệ và sự gần gũi với con người của công ty đều gây sốc như nhau.
Vòng tay nhập học hội nghị giả cao cấp, nồi vàng đầu tiên có cảm giác trộm cắp mạnh mẽ
Tại hội nghị ETH Denver vào đầu năm 2022, một nhóm thanh niên không đủ điều kiện tham gia đã đứng bên ngoài địa điểm tổ chức, cầm trên tay những tấm vải và dụng cụ mua từ Joann Fabrics, một cửa hàng in ấn địa phương. Họ cắt, may và thực hành nhiều lần động tác giơ tay để qua cửa kiểm tra an ninh, so sánh kiểu vòng tay mà người tham gia sử dụng. Khi những chiếc vòng tay giả đã qua mặt được cuộc kiểm tra, nhóm người này có lẽ không ngờ rằng bước đột phá mang tính phá vỡ quy tắc của tin tặc này lại trở thành ẩn dụ cho số phận của công ty.
Một số khoản đầu tư ban đầu mà chúng tôi nhận được sau này đều được đàm phán tại hội nghị tham gia này, Jeremy Bruestle, Giám đốc điều hành của Boundless nhớ lại. Đối với một công ty coi bảo mật là công nghệ cốt lõi, điểm khởi đầu gần như vô lý này lại trùng khớp với logic cơ bản của thế giới blockchain: những người phá vỡ các quy tắc cũ thường là những người đầu tiên đặt ra các quy tắc mới.
Khoảnh khắc eureka trong một bài báo toán học đã kích hoạt một cuộc cách mạng máy ảo
Là một trong những người đồng sáng lập công ty, nỗi ám ảnh của Jeremy với toán học giống như một sợi chỉ ẩn kết nối các gen công nghệ của Boundless. Khi tôi hỏi liệu việc tạo ra Boundless có phải là kết quả của một ý tưởng đột xuất hay là quá trình tích lũy và chuẩn bị lâu dài, anh ấy đã trả lời không chút do dự rằng đó là một quá trình dần dần.
Năm hoặc sáu năm trước, một người có thể biến việc đọc các bài toán thành sở thích đã đọc được một bài báo về Định lý PCP (Bằng chứng có thể kiểm tra được theo xác suất) : Bất kỳ phép tính phức tạp nào cũng có thể được xác minh trong thời gian không đổi. Nghĩa là, bất kể một phép tính mất bao lâu để hoàn tất, chúng ta có thể chứng minh tính đúng đắn của nó ngay lập tức. Khám phá này giống như một luồng điện chạy qua não - nếu con người có thể xác minh ngay lập tức tính xác thực của toàn bộ Bách khoa toàn thư Britannica, cơ chế tin cậy của blockchain sẽ bị lật đổ hoàn toàn.
Nhưng thực tế công nghệ vào thời điểm đó rất ảm đạm: việc xác minh mất nhiều thời gian hơn cả việc tính toán, lý thuyết thì hoàn hảo, nhưng kỹ thuật lại khó phát triển. Phải đến năm 2020, một bài báo về hệ thống chứng minh STARK mới mang lại cho ông hy vọng. Tôi đã thực hiện một phép tính đơn giản và thấy rằng chỉ cần áp dụng tối ưu hóa kỹ thuật thì tốc độ xác minh của ZK có thể tăng lên hàng triệu lần.
Trong một cuộc điện thoại lúc nửa đêm, ông hào hứng mô tả tầm nhìn của mình với cộng sự Frank, chỉ để được hỏi một câu hỏi sâu sắc: Nhưng các nhà phát triển lập trình như thế nào? Khi Jeremy nêu ra “ràng buộc đa thức trường hữu hạn”, đầu dây bên kia im lặng. Sẽ chẳng có ai muốn viết những thứ như thế này đâu, hoàn toàn vô dụng! Gáo nước lạnh của Frank đổ vào bong bóng của chủ nghĩa lý tưởng công nghệ.
Bước ngoặt thực sự xảy ra ở San Francisco. Đêm đó, Jeremy, Frank và Brian đang nhìn chằm chằm vào những lon bia rỗng thì một ý tưởng lóe lên trong đầu họ: Nếu chúng ta có thể mô phỏng một máy tính hiện có trong ZK thì sao nhỉ?
Ý tưởng này, sau này được gọi là ZKVM (Máy ảo không kiến thức), đã thay đổi hoàn toàn cuộc chơi. Họ đã chọn tương thích với bộ lệnh RISC-V - giống như việc sao chép một máy tính tiêu chuẩn trong thế giới tiền điện tử, các nhà phát triển viết chương trình bằng mã Rust và Solidity thông thường và máy ảo sẽ tự động tạo ra bằng chứng ZK. “Chúng tôi muốn biến ZK trở nên tự nhiên như sử dụng điện. Các nhà phát triển chỉ cần bật bóng đèn mà không cần phải hiểu các nguyên tắc tạo ra điện”, Jeremy nói theo cách ẩn dụ.
Ban đầu, ngành công nghiệp này chế giễu. Quan điểm của Jeremy và các đồng nghiệp của ông thực sự cấp tiến vào thời điểm đó; “Máy ảo tương đối kém hiệu quả”, “Các nhà phát triển nên tìm hiểu các mạch cơ bản và không cần zkVM chút nào” - những nghi ngờ ập đến. Nhưng nhóm Boundless biết rằng khi các cửa hàng tiện lợi của Nhật Bản tiếp quản các quán trà đường phố với các quy trình chuẩn hóa, sức mạnh của một hệ sinh thái tương thích sẽ luôn lớn hơn hiệu quả tại địa phương.
Vào năm 2023, việc phát hành RISC-V ZKVM giống như thả một tảng đá xuống hồ. Bốn hoặc năm công ty đến sau đã nhanh chóng đưa ra các giải pháp tương tự, chứng tỏ rằng thị trường cuối cùng đã hiểu được phán đoán tiên tiến của RISC Zero vào thời điểm đó: khi ZK đáp ứng được bộ hướng dẫn chuẩn hóa, tốc độ phổ biến công nghệ sẽ tăng theo cấp số nhân.
Nhưng Jeremy còn hướng tới mục tiêu xa hơn nữa. ZKVM chỉ cho phép các nhà phát triển viết mã, chúng tôi cũng cần phải cung cấp năng lượng cho nó. Nhóm phát hành Boundless hiện đang đóng gói ZK vào cơ sở hạ tầng của blockchain - giống như cách điện toán đám mây biến máy chủ thành tài nguyên sẵn sàng sử dụng. Khi các nhà phát triển có thể gọi ZK để tăng tốc tính toán trên chuỗi chỉ bằng ba dòng mã, cuộc cách mạng bắt đầu từ một bài báo toán học này sẽ thực sự tác động đến thế giới mà nó hướng đến.
Tổng giám đốc điều hành Boundless Jeremy, một người coi các bài toán như một sở thích
Boundless là gì?
Trên trang web chính thức được thiết kế đẹp mắt của Boundless, có một câu: “ Chúng tôi đang xây dựng Boundless, giao thức ZK phổ quát đầu tiên mang sức mạnh của bằng chứng không kiến thức đến mọi chuỗi”. Nhưng Boundless thực chất là gì? Và nó liên quan gì đến công ty mẹ RISC Zero, một dự án siêu sao đã huy động được 40 triệu đô la vào năm 2023?
Từ RISC Zero đến Boundless: Từ zkVM đến Mạng máy tính ZK dạng mô-đun
Trong ngành công nghiệp blockchain, RISC Zero là một cái tên khá nổi tiếng. Với tư cách là công ty dẫn đầu về zkVM (máy ảo không kiến thức), công ty chiếm giữ vị trí quan trọng trong lĩnh vực điện toán ZK. Tuy nhiên, Boundless không chỉ là sự tiếp nối của RISC Zero mà còn là một giao thức điện toán phi tập trung rộng hơn.
“RISC Zero là công cụ tính toán cơ bản thúc đẩy Boundless và Boundless là cách các nhà phát triển sử dụng công nghệ RISC Zero trên chuỗi”, Shiv Shankar, CIO của Boundless giải thích.
Nhìn lại vài năm trước, cuộc thảo luận về điện toán ZK vẫn chủ yếu xoay quanh việc làm thế nào để tăng tốc độ và thu hẹp khoảng cách hiệu suất giữa điện toán ZK và điện toán truyền thống. Sau đó, RISC Zero đã sử dụng một con đường hoàn toàn mới: sử dụng zkVM (thay vì tối ưu hóa cấp mạch truyền thống) để cải thiện hiệu quả tính toán ZK. Bước đột phá này mang lại tính linh hoạt cao hơn, cho phép máy tính ZK thoát khỏi thiết kế mạch cố định, tiến gần hơn đến kiến trúc máy tính truyền thống và thực sự hiện thực hóa máy tính phổ quát.
Tuy nhiên, chỉ có zkVM thôi vẫn chưa đủ, vì các nhà phát triển không chỉ cần sức mạnh tính toán mà còn cần chuỗi công cụ hoàn chỉnh, kinh nghiệm của nhà phát triển từ đầu đến cuối và một mô hình kinh tế khả thi.
Shiv nói: Đó chính xác là mục đích của Boundless. “Nó không chỉ cung cấp khả năng tính toán ZK hiệu suất cao mà còn đơn giản hóa quy trình tích hợp công nghệ ZK cho các nhà phát triển, do đó họ không cần phải lo lắng về các chi tiết tính toán cơ bản và có thể dễ dàng sử dụng khả năng tính toán ZK bất kể ứng dụng họ xây dựng chạy trên chuỗi nào.”
Không giới hạn = RISC Zero + giao thức hoàn chỉnh + các ưu đãi kinh tế.
Từ Trident đến Boundless Challenges: Tìm ra giải pháp tối ưu thông qua thực hành
“Chúng tôi muốn xây dựng giải pháp phù hợp ngay từ đầu”, Giám đốc điều hành của Boundless Jeremy Bruestle nhớ lại những ngày đầu của nhóm. Mục tiêu này nghe có vẻ hiển nhiên, nhưng những thách thức để đạt được nó phức tạp hơn nhiều so với những gì bạn tưởng tượng.
Trước khi Boundless ra đời, nhóm không chạy theo những giải pháp phổ biến trên thị trường một cách mù quáng mà thay vào đó đã tiến hành một thử nghiệm khám phá công nghệ trên quy mô lớn - Dự án Trident.
Vào thời điểm đó, có nhiều quan điểm rất khác nhau trong nhóm về cách xây dựng thị trường máy tính ZK. Một số người tin rằng chúng ta nên bắt đầu từ góc độ của Lớp 1 (L1) và xây dựng chuỗi công khai điện toán ZK được tối ưu hóa từ dưới lên; những người khác tin rằng Lớp 2 (L2) là một con đường thực tế hơn và có thể triển khai nhanh hơn; những người khác ủng hộ việc sử dụng kiến trúc lai để đạt được khả năng tính toán ZK có thể mở rộng ở nhiều cấp độ khác nhau và cũng có những nỗ lực khác từ nhiều phe phái khác nhau.
Ở nhiều công ty, quyết định về lộ trình công nghệ thường được đưa ra bởi những người sáng lập hoặc giám đốc điều hành, nhưng Boundless đã chọn một con đường đầy thử thách hơn: phát triển ba nguyên mẫu khác nhau cùng một lúc, thực sự kiểm tra tính khả thi của chúng và cuối cùng quyết định hướng đi dựa trên dữ liệu và kết quả.
Giám đốc thông tin của Boundless, Shiv Shankar cho biết: Giải pháp chiến thắng không phải do CEO hay giám đốc sản phẩm đề xuất mà là do các kỹ sư cấp cao của chúng tôi đưa ra .
Quá trình này không chỉ tìm ra giải pháp kỹ thuật tối ưu mà còn thiết lập nên văn hóa của Boundless: không tuân theo quyền lực một cách mù quáng mà để những ý tưởng tốt nhất chiến thắng. Shiv cho biết, “Boundless sẽ có một cộng đồng nhà phát triển lớn trong tương lai và chúng tôi hy vọng rằng những ý tưởng tuyệt vời do các thành viên cộng đồng đề xuất sẽ được tôn trọng và áp dụng nhiều như những ý tưởng của nhóm nội bộ. Nếu ai đó có đề xuất về hướng phát triển của Boundless, chúng tôi hy vọng rằng họ có thể xem câu chuyện này và hiểu rằng ý tưởng của họ sẽ không bị bỏ qua, mà sẽ được coi trọng, giống như chúng tôi đối xử với ý tưởng của chính mình vậy.”
“Lớp thực thi Rollup gốc của Ethereum”: Thành tựu cốt lõi của Boundless
Nếu chúng ta sử dụng một khái niệm để tóm tắt vị trí của Boundless trong hệ sinh thái blockchain, thì đó là “Lớp thực thi mô-đun của Ethereum’s Native Rollup”.
Phó chủ tịch sản phẩm Brett Carter định nghĩa Boundless là “lớp thực thi mô-đun gốc của Ethereum”, một định vị ngụ ý sự thay đổi mô hình trong kiến trúc blockchain. Giống như điện toán đám mây chia nhỏ các trung tâm dữ liệu thành nhiều tầng khác nhau, Boundless đang chia nhỏ các bằng chứng ZK thành các thành phần có thể cắm được:
Thị trường khai thác ZK: Mượn cơ chế cạnh tranh của Bitcoin PoW, nhưng thay thế va chạm băm bằng thế hệ bằng chứng để loại bỏ lãng phí năng lượng
Xác minh dưới dạng Dịch vụ: Giống như AWS Lambda trừu tượng hóa việc quản lý máy chủ, các nhà phát triển không cần phải xây dựng các nút xác minh của riêng họ
Lớp thực thi chuỗi chéo: Tương tự như giao thức HTTP hợp nhất truyền thông Internet, Boundless trở thành bộ đồng xử lý ZK được chia sẻ bởi nhiều chuỗi
Brett Carter cho biết: Nếu bạn nghiên cứu cuộc thảo luận của Justin Drake về Native Rollup trên Diễn đàn nghiên cứu Ethereum, bạn sẽ thấy rằng Ethereum cần một mạng lưới phi tập trung chỉ thực thi để cải thiện sức mạnh tính toán và Boundless là giải pháp tốt nhất cho nhu cầu này.
Jacob Everly, giám đốc sản phẩm kỹ thuật, cho tôi biết Ngân hàng Thanh toán Quốc tế (BIS) tại Singapore đã sử dụng công nghệ RISC Zero và Boundless để phát triển một hệ thống nguyên mẫu có thể xác minh liệu các nhà giao dịch ở khu vực Châu Á - Thái Bình Dương có thể giao dịch trên Sàn giao dịch chứng khoán Singapore hay không mà không yêu cầu họ cung cấp đầy đủ thông tin cá nhân. Người dùng chỉ cần tải lên hộ chiếu và số điện thoại di động của mình để tạo bằng chứng không tiết lộ thông tin (ZKP) nhằm chứng minh rằng họ đủ điều kiện thực hiện giao dịch.
Hiện tại, có hơn 30 nhóm đang có kế hoạch xây dựng và triển khai các ứng dụng trên Boundless. Jacob Everly cho biết: Mục tiêu của chúng tôi là đạt được 100 nhóm đối tác trong năm tới và biến Boundless trở thành tiêu chuẩn của ngành.
Tối ưu hóa 340 lần: Làm thế nào để giảm chi phí điện toán ZK xuống mức có thể chấp nhận được?
Nếu việc tìm ra kiến trúc phù hợp là rào cản đầu tiên đối với Boundless thì việc biến nó thực sự khả thi về mặt thương mại là thách thức lớn hơn nhiều. Máy tính ZK không chỉ phải đủ nhanh mà còn phải đủ rẻ, nếu không nó chỉ có thể nằm trong phòng thí nghiệm và không thể trở thành cơ sở hạ tầng cốt lõi của hệ sinh thái Web3.
Khi tôi hỏi Brett Carter, Phó chủ tịch sản phẩm của Boundless, rằng thách thức lớn nhất là gì, ông ấy ngay lập tức trả lời: “Trước đây, thách thức lớn nhất của chúng tôi là hiệu suất và chi phí”.
Trong tính toán ZK, độ trễ và chi phí không phải lúc nào cũng đồng bộ. Về mặt lý thuyết, độ trễ có thể được giảm bằng cách song song hóa quá trình tính toán, nhưng điều này sẽ làm tăng chi phí. Đối với Lớp 2, nếu chi phí tính toán ZK quá cao thì mô hình kinh tế của giải pháp Rollup sẽ khó thiết lập, chưa nói đến việc triển khai trên diện rộng.
Vào tháng 7 năm 2023, Boundless đã phát hành Zeth, ZK EVM Type 1 đầu tiên trên thế giới, chạy trên ZKVM của Boundless. Ước tính vào thời điểm đó cho thấy chi phí tính toán hàng năm để chứng minh tất cả các giao dịch trên toàn bộ mạng chính Ethereum sẽ lên tới 170 triệu đô la. Chi phí này đủ để khiến hầu hết các dự án trở nên quá đắt đỏ.
Nhưng chỉ trong vòng 16 tháng, Boundless đã thành công trong việc giảm chi phí điện toán ZK xuống 340 lần thông qua một loạt các tối ưu hóa điện toán GPU, tối ưu hóa hạt nhân ZKVM và cải tiến kiến trúc, giúp giảm chi phí chứng minh của mạng chính Ethereum xuống dưới 500.000 đô la. Điều này là nhờ vào rất nhiều tối ưu hóa kỹ thuật, đặc biệt là ở cấp độ GPU. Chúng tôi đã liên tục tối ưu hóa các hạt nhân ZKVM và GPU, giúp giảm đáng kể chi phí. Ánh mắt của Brett tràn đầy tự hào khi nói về thành tích này.
TEE và ZKVM: Khi “khả năng xác minh” gặp “khả năng lập trình”
Xét về độ tin cậy của điện toán, TEE (Môi trường thực thi tin cậy) và ZK (Bằng chứng không kiến thức) thường được coi là hai giải pháp cạnh tranh nhau, nhưng Boundless chứng minh rằng chúng có thể bổ sung cho nhau, giống như sự kết hợp giữa điện toán cục bộ và điện toán đám mây, mỗi giải pháp đều phát huy thế mạnh của mình và tối ưu hóa toàn bộ hệ thống.
TEE chịu trách nhiệm thực hiện các phép tính trong một môi trường đáng tin cậy, nhưng dữ liệu chứng minh của chúng thường quá lớn để đưa trực tiếp lên blockchain. ZK xác minh hiệu quả tính chính xác của các phép tính trên chuỗi bằng cách tạo ra các bằng chứng toán học có thể kiểm chứng. Phó chủ tịch sản phẩm Brett Carter đã sử dụng dự luật để tiết lộ giá trị kinh tế của sự hợp tác này: Lấy Automata làm ví dụ, cần 6 triệu Gas để xác minh trực tiếp bằng chứng TEE trên Ethereum, nhưng thông qua ZKVM, phần tính toán có thể được thực hiện ngoài chuỗi trước và chỉ cần xác minh bằng chứng ZK trên chuỗi. Chi phí Gas được giảm xuống còn 300.000, đạt được mức tối ưu hóa theo cấp số nhân. Taiko hiện đã hỗ trợ cả bằng chứng TEE và bằng chứng ZK trong giải pháp Rollup của mình, điều này cho thấy điện toán blockchain sẽ linh hoạt hơn trong tương lai và các nhà phát triển có thể lựa chọn giải pháp điện toán đáng tin cậy nhất theo từng tình huống.
Điều này cũng mở ra khả năng cho nhiều dự án sử dụng dịch vụ TEE trong lĩnh vực DeFAI: Lĩnh vực AI đã quen với việc lưu trữ các tác vụ suy luận cho các dịch vụ tập trung, chẳng hạn như OpenAI hoặc Google Cloud, nhưng người dùng không thể thực sự xác minh xem các mô hình này có chạy theo cách đã thiết lập hay không. Nói cách khác, nếu ChatGPT gây hại ở cấp độ mô hình, người dùng sẽ bất lực. Lý luận có thể kiểm chứng thông qua ZK sẽ là một tình huống ứng dụng rất có giá trị.
ZKVM của Boundless hiện hỗ trợ tính toán AI và đã đạt được mức cải thiện hiệu suất 50-100 lần kể từ lần chạy thử nghiệm vào tháng 7 năm 2024. Điều này có nghĩa là tính toán AI có thể được thực hiện trực tiếp trong ZKVM và tạo ra các bằng chứng ZK có thể xác minh để đảm bảo rằng lý luận dựa trên trọng số mô hình chính xác và không thể bị can thiệp.
Tại sao lại là ZK? Tại sao chúng ta vẫn còn nói về ZK?
Trong lịch sử phát triển công nghệ, mọi công nghệ mang tính chuyển đổi đều trải qua một quỹ đạo tương tự: từ nảy sinh ý tưởng đến cơn sốt thị trường, đến vực thẳm thất vọng và cuối cùng là đến giai đoạn ứng dụng hoàn thiện. Ngày nay, bằng chứng không kiến thức (ZK) đang trải qua bước ngoặt như vậy - nó từng được coi là giải pháp tối ưu cho khả năng mở rộng chuỗi khối, nhưng trong quá trình triển khai thực tế, những thách thức về kỹ thuật vượt xa mong đợi và tâm lý thị trường cũng dao động theo. Tuy nhiên, Tổng giám đốc điều hành của Boundless, Jeremy Bruestle tin tưởng vào tương lai của ZK và tin rằng đây là thời điểm quan trọng trong quá trình chuyển đổi mô hình điện toán.
Jeremy giải thích: “Theo quan điểm của chu kỳ cường điệu công nghệ, chúng ta đang ở giai đoạn Thất vọng”. “Nhiều người đã nhìn thấy tiềm năng của ZK từ vài năm trước và tin rằng nó có thể nhanh chóng thay đổi mô hình điện toán blockchain, nhưng họ lại đánh giá thấp độ khó của kỹ thuật từ lý thuyết đến triển khai thực tế.”
Mặc dù vậy, tốc độ tiến bộ của công nghệ ZK vẫn rất đáng kinh ngạc. Trong vài năm trở lại đây, hiệu suất của máy tính ZK đã tăng từ 3 đến 4 lần mỗi quý. Điều này có nghĩa là ZK, vốn không thể áp dụng trên diện rộng vào một năm trước, giờ đây đã bắt đầu bước vào giai đoạn sử dụng thực tế.
Đó là lý do Boundless ra đời. ZK không chỉ là một công nghệ mới nổi mà còn là một mô hình máy tính đang phát triển. Jeremy thậm chí còn so sánh nó với cuộc cách mạng vi xử lý vào những năm 1970: Vào thời điểm đó, hầu hết các tác vụ tính toán trên thị trường đều được hoàn thành bởi các mạch tùy chỉnh (ASIC) và sự xuất hiện của vi xử lý không mấy khả quan. Nhưng khi công nghệ phát triển, chúng trở nên nhanh hơn và rẻ hơn, và cuối cùng đã thay thế tất cả phần cứng chuyên dụng. Điện toán ZK đang đi theo con đường tương tự - nó sẽ phá vỡ nút thắt cổ chai điện toán blockchain hiện tại và biến điện toán có khả năng mở rộng, chi phí thấp thành một tiêu chuẩn.
Phá vỡ thế tiến thoái lưỡng nan “Raspberry Pi trên blockchain”
Môi trường điện toán blockchain hiện tại đang ở giai đoạn nào? Giám đốc thông tin của Boundless, Shiv Shankar đã đưa ra một ẩn dụ sinh động: Sức mạnh tính toán của blockchain ngày nay gần tương đương với Raspberry Pi. Tài nguyên tính toán cực kỳ hạn chế và các nhà phát triển ứng dụng phải tối ưu hóa chi phí Gas một cách tuyệt vọng để thích ứng với những hạn chế về hiệu suất của chuỗi.
Hiện tại, việc thực hiện tính toán hợp đồng thông minh cực kỳ phức tạp trên blockchain truyền thống có thể cần đến hàng tỷ Gas, tương đương với sức mạnh tính toán của 30 khối và không thể hoàn thành trên mạng chính. Giống như bong bóng dot-com năm 1999, khi mọi người phải trả hóa đơn cao ngất ngưởng cho dịch vụ internet quay số, nhưng ngay cả một bức ảnh cũng phải mất nửa phút để tải. Những thay đổi do ZK mang lại giống như sự ra đời của kỷ nguyên băng thông rộng - khi Boundless giảm 90% chi phí điện toán trên chuỗi, blockchain cuối cùng cũng có cơ hội thoát khỏi xiềng xích của Gas.
Trong 12 tháng qua, người dùng blockchain đã trả 5 tỷ đô la phí gas, nhưng lượng tính toán thực tế lại cực kỳ hạn chế. Khi điện toán ZK phát triển, cùng một chi phí điện toán sẽ mang lại sức mạnh tính toán tăng gấp 10 lần hoặc thậm chí 20 lần và sản lượng kinh tế của toàn bộ ngành sẽ tăng theo cấp số nhân. Shankar giải thích: “Chúng tôi đang tạo ra ‘điện toán đám mây đàn hồi cho blockchain’ , cho phép các tài nguyên điện toán mở rộng theo nhu cầu như máy chủ đám mây AWS, với mức giá không đáng kể”.
Công nghệ ZK sẽ thay đổi blockchain như thế nào trong năm năm tới?
Nếu chúng ta đưa ra dự đoán táo bạo về sự phát triển của ZK trong năm năm tới, Jeremy tin rằng ZK sẽ dần thay thế mô hình thực thi dựa trên sự đồng thuận và trở thành phương pháp chính thống của điện toán blockchain.
Điểm then chốt về công nghệ cho quá trình chuyển đổi này có thể đến sớm hơn dự kiến. Hệ thống thị trường chứng minh mà các nhóm như Boundless đang đột phá thực chất đang sao chép lại logic tiến hóa của thị trường điện toán đám mây. Khi sức mạnh tính toán của ZK trở thành một mặt hàng có thể được chuẩn hóa và giao dịch, cuộc chiến giá cả và cạnh tranh hiệu suất sẽ tạo ra các công cụ tổng hợp bằng chứng tinh vi hơn, các giải pháp tăng tốc phần cứng hiệu quả hơn và các thuật toán lập lịch tài nguyên thông minh hơn. Đến lúc đó, đường cong tăng trưởng GDP của blockchain có thể lặp lại sự tăng trưởng mạnh mẽ của Internet từ kỷ nguyên quay số đến kỷ nguyên băng thông rộng.
Về bản chất, cuộc cách mạng thầm lặng này tuân theo một quy tắc cũ của ngành công nghiệp máy tính: công nghệ thực sự tuyệt vời không bao giờ yêu cầu thế giới phải thích nghi với nó, mà tự biến nó thành một phần của thế giới. Phong trào giải phóng sức mạnh tính toán sẽ thực sự thắng lợi khi các nhà phát triển ngừng thảo luận về ZK và thay vào đó tập trung vào việc sử dụng nó để xây dựng các ứng dụng trên chuỗi trước đây không thể tưởng tượng được.
Jeremy tại ETHDenver.
Bối cảnh cạnh tranh: Khi hiệu quả nhường chỗ, tính bảo mật và dễ sử dụng sẽ lên ngôi
Lịch sử của blockchain luôn lặp lại cùng một chu kỳ: khi một công nghệ mới xuất hiện, vô số giải pháp xuất hiện trên thị trường, mỗi giải pháp đều tự nhận là tiêu chuẩn của tương lai và đều cạnh tranh để thu hút sự chú ý. Nhưng khi công nghệ bước vào giai đoạn triển khai thực tế, thị trường sẽ nhanh chóng lọc bỏ những bong bóng chỉ có vẻ sáng sủa và đẹp đẽ, để lại những kiến trúc thực sự có giá trị lâu dài. Và trong cuộc thi này, Boundless đang nổi bật theo cách chưa từng có.
Nếu thị trường máy tính ZK là một thành phố bùng nổ, hầu hết các dự án sẽ xây dựng những tòa nhà cao tầng, với hy vọng thu hút cư dân bằng vẻ ngoài hào nhoáng của chúng. Nhưng con đường mà Boundless lựa chọn là xây dựng đường sá, tối ưu hóa nguồn cung cấp nước và điện, đồng thời tạo ra cơ sở hạ tầng thực sự có thể hoạt động lâu dài.
Phân quyền thực sự có nghĩa là chống kiểm duyệt ngay từ đầu. Nghĩa là thiết lập một cơ chế thị trường thực sự để giảm thiểu chi phí chứng minh trong khi vẫn đảm bảo máy ảo (VM) thực sự an toàn. Tổng giám đốc điều hành của Boundless, Jeremy Bruestle đã thẳng thắn tuyên bố rằng nhiều giải pháp điện toán ZK có vẻ hoàn hảo trong giai đoạn đầu của thị trường, nhưng thử nghiệm thực sự sẽ chỉ đến sau khi áp dụng trên diện rộng.
Hãy tưởng tượng rằng một giao thức DeFi phải xử lý hàng nghìn giao dịch phức tạp mỗi ngày và đột nhiên phát hiện ra rằng chi phí tính toán ZK vượt quá ngân sách hoặc mức độ phi tập trung của hệ thống không chịu được áp lực quản lý. Một giải pháp như vậy, dù công nghệ có tiên tiến đến đâu, cuối cùng cũng sẽ không trở thành nền tảng của ngành. Boundless giải quyết vấn đề bằng cách đảm bảo việc sử dụng minh bạch và công bằng các tài nguyên điện toán thông qua cơ chế Bằng chứng công việc có thể xác minh.
Cơ chế cải tiến này đảm bảo rằng phần thưởng mà Prover nhận được hoàn toàn dựa trên khối lượng công việc tính toán thực tế mà họ đã hoàn thành, ngăn chặn hiệu quả các cuộc tấn công bằng bàn chải và đồng thời trợ cấp chi phí chứng minh, cho phép giảm chi phí vận hành của toàn bộ hệ thống xuống mức hợp lý. Nói cách khác, Boundless không cường điệu về tương lai của điện toán ZK, mà đang làm cho điện toán ZK thực sự khả dụng, có thể mở rộng và giá cả phải chăng.
Từ cho thuê máy tính đến giải pháp hoàn chỉnh: trải nghiệm máy tính ZK trọn gói
Nhiều dự án xem thị trường điện toán ZK là một “sàn giao dịch điện toán” nơi các nhà phát triển mua sức mạnh điện toán để tạo ra bằng chứng, giống như việc thuê máy chủ trên nền tảng dịch vụ đám mây. Nhưng Boundless lại có cách suy nghĩ hoàn toàn khác - nó không chỉ cung cấp sức mạnh tính toán mà còn mang đến trải nghiệm điện toán ZK toàn diện.
“Thay vì chỉ bán tài nguyên điện toán cho người dùng, chúng tôi cung cấp giải pháp điện toán zk hoàn chỉnh cho phép các nhà phát triển tích hợp zk một cách liền mạch vào ứng dụng của họ”, Shiv Shankar, CIO của Boundless giải thích.
Nói cách khác, Boundless không muốn trở thành nhà cung cấp điện toán đám mây trong kỷ nguyên Web3, mà muốn trở thành đối tác điện toán ZK cho các nhà phát triển . Từ việc tạo bằng chứng cho đến xác minh cuối cùng trên chuỗi, Boundless làm cho toàn bộ quá trình diễn ra suôn sẻ và liền mạch. Loại tối ưu hóa trải nghiệm này chính là chìa khóa để thực sự đưa điện toán ZK từ phòng thí nghiệm sang các ứng dụng quy mô lớn.
Đối với các nhà phát triển, thiết kế toàn diện này có nghĩa là giảm rào cản kỹ thuật, tích hợp nhanh hơn và tạo ra môi trường hoạt động ổn định hơn. Boundless biến máy tính ZK không chỉ là một khái niệm kỹ thuật phức tạp mà còn là một công cụ năng suất có thể triển khai trực tiếp.
Phù hợp sản phẩm-thị trường: Khi chi phí điện toán gần bằng 0, cuộc cạnh tranh thực sự mới bắt đầu
Shiv Shankar nói với tôi rằng: “Đến năm 2026, hầu như sẽ không còn ai nói về các vấn đề về hiệu suất của máy tính ZK nữa”.
Những đột phá trong công nghệ máy tính cuối cùng cũng không thể tránh khỏi một vấn đề cốt lõi: chi phí. Cho dù là điện toán đám mây, kết xuất GPU hay đào tạo AI, điểm bùng nổ thực sự của ngành chưa bao giờ là đột phá về giới hạn hiệu suất, mà là việc giảm chi phí điện toán.
Phán đoán của Shiv nghe có vẻ khó tin, nhưng nếu nhìn lại lộ trình phát triển của điện toán đám mây, chúng ta sẽ thấy xu hướng này rất rõ ràng. Ngày nay, hầu như không có kỹ sư nào quan tâm đến chi phí tính toán cụ thể của AWS EC2, vì giá đã giảm xuống mức không đáng kể và các nhà phát triển chỉ quan tâm đến cách sử dụng tốt hơn các tài nguyên này.
Nhóm Boundless tin rằng công nghệ điện toán ZK cũng sắp đạt đến giai đoạn tương tự. Điều này có nghĩa là các nhà phát triển sẽ không còn lo lắng về tốc độ tính toán ZK nữa mà sẽ bắt đầu nghĩ về cách sử dụng nó để tạo ra các ứng dụng an toàn hơn, hiệu quả hơn và có khả năng mở rộng hơn. DeFi, xác thực danh tính, trò chơi trên chuỗi, bảo vệ quyền riêng tư dữ liệu... Các kịch bản ứng dụng của ZK sẽ mở ra một sự bùng nổ thực sự và Boundless đang đi đầu trong sự thay đổi này.
Hiện nay, nhu cầu chính về điện toán ZK đến từ các ứng dụng Rollup, Lớp 2 và các tình huống ứng dụng yêu cầu xác minh các hàm chuyển đổi trạng thái. Ví dụ, EigenLayer có kế hoạch sử dụng công nghệ Boundless trong Cơ chế Slashing, vì thực hiện các phép tính này trên Ethereum cần tới 1 tỷ Gas, nhưng các phép tính ZK có thể hoàn thành các phép tính ngoài chuỗi và gửi bằng chứng một cách hiệu quả, khiến nó trở thành một giải pháp khả thi.
Nhưng hiện nay, ZK computing không chỉ tối ưu hóa các ứng dụng Web3 hiện có mà còn cho ra đời một loạt ứng dụng blockchain mới. Boundless hiện đang làm việc với một nhóm DeFi muốn xây dựng Thị trường dữ liệu, bao gồm một số mô hình định giá. Trước đây, do khối lượng tính toán lớn, họ chỉ có thể chạy các phép tính gần đúng trên chuỗi, nhưng Boundless cho phép họ chạy toàn bộ mô hình và gửi bằng chứng ZK, do đó đạt được các giao dịch DeFi chính xác hơn.
“Nếu bạn bắt đầu xây dựng các ứng dụng DeFi ngay hôm nay và không sử dụng công nghệ ZK trong hệ thống của mình, bạn sẽ sớm bị ngành này loại bỏ.” Những lời của Shiv nghe có vẻ cực đoan, nhưng lại đúng: đến năm 2026, việc sử dụng máy tính ZK sẽ trở thành lựa chọn mặc định, chứ không còn là đặc quyền của công nghệ cao cấp nữa. Khi các nhà phát triển ngừng lo lắng về ngân sách khí đốt, sự đổi mới sẽ chuyển từ chế độ sinh tồn sang chế độ sáng tạo.
Trong tương lai, các ứng dụng DeFi sẽ không còn giới hạn trong phạm vi Web3 nữa mà có thể cạnh tranh trực tiếp với TradFi (tài chính truyền thống) và thậm chí là các sàn giao dịch lớn. Họ sẽ có khả năng bảo vệ quyền riêng tư mạnh mẽ hơn, chi phí giao dịch thấp hơn và hiệu quả thực hiện cao hơn. Và Boundless đang mở đường cho ngày đó.
Ra mắt Mainnet: “Moonshot” của Boundless
Shiv Shankar nói với tôi rằng: “Chúng tôi đang chạy hết tốc lực hướng tới mainnet và lý tưởng nhất là chúng tôi sẽ ra mắt mainnet vào quý 2 hoặc đầu quý 3 năm nay” . Ưu tiên hàng đầu hiện tại của Boundless chắc chắn là triển khai mainnet. Trong vài tháng qua, nhóm đã tiến hành nhiều vòng thử nghiệm trên mạng thử nghiệm để xác minh tính ổn định, hiệu suất tính toán và mô hình kinh tế của giao thức. Bây giờ, mọi thứ đang bước vào giai đoạn nước rút cuối cùng.
Trước khi ra mắt mainnet cuối cùng, cột mốc tiếp theo của Boundless là “Mainnet Beta”, giai đoạn vận hành thử nghiệm dành cho các nhà phát triển.
Trong môi trường mạng thử nghiệm hiện tại, mặc dù bằng chứng tính toán ZK có thể chạy được nhưng nó vẫn chưa đi vào hệ thống kinh tế thực sự một cách đầy đủ. Mục tiêu của Mainnet Beta là cho phép các nhà phát triển bắt đầu tạo bằng chứng ZK trong môi trường tiền tệ thực tế và kiểm tra hiệu suất của hệ thống trong điều kiện thị trường thực tế.
“Sau Mainnet Beta, chúng tôi sẽ tập trung vào việc thử nghiệm rộng rãi cơ chế khuyến khích. ” Joe Restivo tiết lộ.
Đây sẽ là giai đoạn quan trọng trong việc triển khai mô hình kinh tế vô biên. Trong quá trình này, nhóm sẽ kiểm tra và tối ưu hóa Công việc có thể xác minh để đảm bảo việc phân bổ tài nguyên máy tính và hệ thống khuyến khích có thể hoạt động hiệu quả trong môi trường phi tập trung.
Quản trị phi tập trung: Xây dựng hệ sinh thái ZK do cộng đồng thúc đẩy
Song song với mạng chính, việc lập kế hoạch quản trị phi tập trung (DG) cũng đang được thúc đẩy.
Shiv Shankar thẳng thắn nói rằng Boundless không chỉ muốn xây dựng một nền tảng điện toán ZK hiệu quả mà còn muốn thực sự biến cộng đồng trở thành một phần của hệ sinh thái.
Thời điểm triển khai mô hình quản trị phi tập trung phụ thuộc nhiều vào nhóm pháp lý và vận hành hơn là sự kiểm soát của nhóm kỹ thuật. Điều này có nghĩa là mặc dù Boundless đã cung cấp hỗ trợ kỹ thuật cho thị trường máy tính ZK, nhưng quyền quyết định cuối cùng sẽ dần được chuyển giao cho cộng đồng để thực sự đạt được hoạt động phi tập trung.
Kế hoạch cuối cùng của Boundless: đưa điện toán blockchain vượt qua giới hạn của nó
Phó chủ tịch sản phẩm Brett Carter nói với tôi rằng quan điểm cốt lõi của ông là mọi hoạt động tính toán cuối cùng sẽ chuyển sang bằng chứng không kiến thức (ZK) và lý do đằng sau điều này rất đơn giản: theo kiến trúc blockchain hiện tại, mọi hoạt động tính toán phải đạt được sự đồng thuận giữa tất cả các nút, điều này khiến thông lượng của toàn bộ mạng phải tuân theo những giới hạn vật lý. Ví dụ, giới hạn gas cho mỗi khối Ethereum chỉ là 36 triệu. Hạn chế này có nghĩa là các hợp đồng thông minh không thể thực hiện các phép tính có độ phức tạp cao như suy luận AI, nếu không toàn bộ mạng sẽ bị tê liệt.
Nếu điện toán blockchain ngày nay tương tự như lập trình đồng bộ, thì điện toán ZK do Boundless cung cấp giống với điện toán không đồng bộ hơn - các nhà phát triển có thể thực hiện các phép tính song song ngoài chuỗi, sau đó chứng minh tính đúng đắn của chúng thông qua ZK và cuối cùng chỉ gửi một bằng chứng nhỏ tới lớp thanh toán mà không cần phải hoàn tất toàn bộ quá trình tính toán trên chuỗi.
Khi Ethereum L2 phát triển ở khắp mọi nơi, nút thắt thực sự đã chuyển từ lớp mạng sang lớp điện toán - bất kỳ ai có thể lái xe tải hạng nặng như đào tạo AI và dựng hình 3D vào đường cao tốc blockchain sẽ có cơ hội tiến vào kỷ nguyên tiếp theo. Brett cho biết, đây là lý do tại sao chúng tôi đặt tên cho giao thức là Boundless - để xóa bỏ ranh giới của điện toán và mang đến cho blockchain sức mạnh điện toán thực sự không giới hạn. Trong tương lai, blockchain sẽ không còn chỉ là một công cụ giao dịch và thực hiện hợp đồng thông minh nữa mà sẽ có thể hỗ trợ các ứng dụng phức tạp hơn, chẳng hạn như suy luận AI có thể xác minh, trò chơi chuỗi hiệu suất cao, mạng xã hội phi tập trung, v.v. Tầm nhìn của Boundless là giải phóng cơ bản điện toán blockchain khỏi các hạn chế về hiệu suất hiện tại và đạt được sự tự do thực sự cho điện toán.
Kết luận: Đằng sau chiếc áo là một triết lý đổi mới không chuẩn mực
Vào cuối buổi phỏng vấn, COO Joe Restivo đã càu nhàu với tôi, giọng nói đầy oán giận: Bạn biết đấy, một trong những thách thức lớn nhất mà chúng tôi gặp phải trong công việc là Jeremy có một chiếc áo sơ mi đặc biệt có in họa tiết sóng thần của Nhật Bản mà anh ấy mặc mỗi khi lên sân khấu, thay vì sản phẩm chính thức của công ty. Mỗi lần anh ấy mặc chiếc áo sóng thần đó lên sân khấu, tôi lại muốn chạy đến và mặc cho anh ấy chiếc áo polo chính thức của Boundless.
Chiếc áo may mắn của Jeremy: Sóng theo phong cách Ukiyo-e
Tôi đặc biệt hỏi Jeremy câu hỏi này một lần nữa. Trước sự nghi ngờ, ông đã hào phóng thừa nhận: Tôi thường mặc chiếc áo sơ mi có họa tiết sóng thần đó. Đặc biệt là khi gặp các nhà đầu tư hoặc phát biểu, về cơ bản tôi đều mặc nó. Sự đối đầu tinh tế giữa thẩm mỹ cá nhân và thương hiệu công ty này bất ngờ trở thành một phần trong văn hóa nhóm: tại Boundless, nhóm tạo ra giá trị theo cách họ thích. Hay nói cách khác, theo phong cách Ukiyo-e, trong làn sóng công nghệ, điều quan trọng hơn cả việc xuôi theo dòng chảy là tìm ra con sóng của riêng bạn.
“Có rất nhiều người trên thế giới, và nếu mọi người đều làm những việc giống nhau thì khả năng của thế giới sẽ bị hạn chế”, ông nói với tôi. “Nó tượng trưng cho một khái niệm... Tôi luôn tin rằng mỗi người chúng ta có thể tự do lựa chọn những gì mình muốn sáng tạo. Và điều có ý nghĩa nhất là sáng tạo ra thứ gì đó đại diện tốt nhất cho ‘bản thân’. Cho dù cuối cùng có thành công hay không, chúng ta vẫn sẽ tiếp tục sáng tạo.”
