Những cơn gió lạnh của Colorado mang theo sự nhiệt tình của thế giới blockchain, và tại sự kiện bên lề của ETH Denver, một con dấu dựa trên một chuỗi quả mọng đỏ đã được in trên cánh tay của mỗi người tham dự - mật khẩu đầu tiên do nhóm Boundless để lại cho những người tham dự. Reka, Giám đốc Thương hiệu & Truyền thông, đứng cạnh tác phẩm sắp đặt và nhẹ nhàng vạch ngón tay của mình lên bề mặt của con dấu quả mọng: "Berry là một từ đồng âm thú vị, mỗi từ đại diện cho sự kết hợp giữa Tính toán vô biên và có thể kiểm chứng. ”
** Berry dường như đã khơi dậy sự nhiệt tình của các thành viên của cộng đồng Boundless và ngày nay hơn 1.5 triệu NFT đã được đúc dựa trên nó. ** Trong tuyết của dãy núi Rocky ở phía xa, Odaily và sáu thành viên của nhóm cốt lõi Boundless đằng sau "Berry" - Giám đốc điều hành Jeremy Bruestle, Chủ sở hữu sản phẩm kỹ thuật Jacob Everly, CIO Shiv Shankar, COO Joe Restivo, Phó chủ tịch sản phẩm Brett Carter và Người quản lý thương hiệu Reka Medvecz - Hàng loạt cuộc trò chuyện chuyên sâu đã diễn ra. Từ triết lý kỹ thuật của ZKVM đến trò chơi tin cậy của TEE, từ các thí nghiệm mang tính cách mạng về suy luận AI đến câu chuyện thương hiệu đằng sau "Berry", tham vọng công nghệ của công ty cũng nổi bật như sự nhạy cảm của con người.
Vòng tay vào cửa hội nghị cao giả, cảm giác trộm rất nặng của khoản thu đầu tiên.
Vào đầu năm 2022, tại hội nghị ETH Denver, một nhóm thanh niên không có quyền vào hội trường đã đứng bên ngoài, cầm trên tay những mảnh vải và công cụ mua từ Joann Fabrics (một cửa hàng in địa phương). Họ đối chiếu với kiểu vòng tay của người tham dự, cắt, may, và liên tục luyện tập tư thế giơ tay qua cửa kiểm soát an ninh. Khi vòng tay giả mạo qua được kiểm tra, có lẽ nhóm người này không nghĩ rằng sự "phá luật" theo kiểu hacker này sẽ trở thành phép ẩn dụ cho vận mệnh của công ty.
** "Một vài 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ị 'go-in' này. ** Giám đốc điều hành Boundless Jeremy Bruestle nhớ lại. Đối với một công ty lấy bảo mật là cốt lõi của công nghệ, điểm khởi đầu gần như vô lý này được ám chỉ đến 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à người đầu tiên xác định các quy tắc mới. **
Khoảnh khắc "giác ngộ" trong bài báo toán học đã khơi mào 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ỉ đen kết nối các gen kỹ thuật của Boundless. Khi tôi hỏi anh ấy liệu việc tạo ra Boundless là kết quả của một sự thúc đẩy suy nghĩ hay là kết quả của một thời gian dài tích lũy và chuẩn bị, anh ấy đã không ngần ngại nói rằng đó là "một quá trình từng bước".
Năm hoặc sáu năm trước, người đàn ông này có thể đọc các bài báo toán học như một sở thích đã đọc trong một bài báo về định lý PCP (Chứng minh có thể kiểm tra 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 một thời gian không đổi." Đó là, bất kể mất bao lâu để một phép tính hoàn thành, chúng ta có thể chứng minh nó chính xác ngay lập tức. Khám phá này giống như một dòng điện chạy qua não – nếu con người có thể xác minh tính xác thực đầy đủ của Encyclopædia Britannica ngay lập tức, cơ chế tin cậy của blockchain sẽ hoàn toàn bị đảo lộn.
Nhưng thực tế kỹ thuật tại thời điểm đó lạnh lùng cay đắng: việc xác minh mất nhiều thời gian hơn nhiều so với bản thân các tính toán, lý thuyết hoàn hảo và kỹ thuật rất khó để tiến lên. Mãi đến năm 2020, bài báo trên hệ thống chứng minh STARK mới cho anh cái nhìn thoáng qua về ánh sáng ban ngày. "Tôi đã thực hiện một phép tính đơn giản và thấy rằng miễn là tối ưu hóa kỹ thuật được áp dụng, tốc độ xác minh của ZK có thể tăng lên một triệu lần."
Trong cuộc gọi đêm khuya, anh ấy phấn khích mô tả tầm nhìn của mình cho đối tác Frank, nhưng đã gặp phải câu hỏi khó: "Nhưng lập trình viên sẽ lập trình như thế nào?" Khi Jeremy nêu ra "ràng buộc đa thức trên trường hữu hạn", đầu dây bên kia im lặng. "Không ai muốn viết thứ như vậy, điều đó hoàn toàn vô ích!" Lời châm chọc của Frank đã dập tắt bong bóng lý tưởng công nghệ.
Bước ngoặt thực sự xảy ra ở San Francisco. Tối hôm đó, ba người đàn ông Jeremy, Frank và Brian nhìn chằm chằm vào những chiếc lon bia đã uống cạn, đột nhiên nảy ra một ý tưởng: "Nếu chúng ta có thể mô phỏng một máy tính hiện có trong ZK thì sẽ như thế nào?"
Ý tưởng này sau này được gọi là ZKVM (máy ảo không biết) đã hoàn toàn thay đổi quy tắc trò chơi. Họ chọn tương thích với bộ lệnh RISC-V - giống như việc nhân bản một máy tính tiêu chuẩn trong thế giới tiền mã hóa, các nhà phát triển viết chương trình bằng mã Rust và Solidity thông thường, máy ảo tự động tạo ra chứng minh ZK. "Chúng tôi muốn ZK trở nên tự nhiên như việc sử dụng điện, các nhà phát triển chỉ cần vặn bóng đèn mà không cần hiểu nguyên lý phát điện," Jeremy so sánh.
Ngành công nghiệp chế giễu lúc đầu. Jeremy: Quan điểm của họ thực sự cực đoan 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 mạch cơ bản và hoàn toàn không cần zkVM" - những nghi ngờ đang đổ vào. Nhưng nhóm Boundless biết rằng khi một cửa hàng tiện lợi Nhật Bản tiếp quản một quán trà đường phố với quy trình tiêu chuẩn hóa, sức mạnh của hệ sinh thái tương thích sẽ luôn vượt xa hiệu quả của địa phương.
Năm 2023, sự ra mắt của RISC-V ZKVM giống như một viên đá lớn ném vào mặt hồ. Bốn hoặc năm công ty mới nhanh chóng theo đuổi các giải pháp tương tự, chứng minh rằng thị trường cuối cùng đã hiểu được phán đoán tiên phong của RISC Zero vào thời điểm đó: khi ZK gặp gỡ tập lệnh chuẩn hóa, tốc độ phổ biến công nghệ sẽ bùng nổ theo cấp số nhân.
Nhưng ánh mắt của Jeremy đã hướng tới những điều xa hơn. “ZKVM chỉ cho phép các nhà phát triển viết mã, chúng tôi còn phải làm cho nó có thể ‘cắm điện’.” Hiện nay, đội ngũ đã phát hành Boundless đang biến ZK thành cơ sở hạ tầng blockchain — giống như điện toán đám mây biến máy chủ thành tài nguyên có thể sử dụng ngay lập tức. Khi các nhà phát triển chỉ cần ba dòng mã để gọi ZK tăng tốc tính toán trên chuỗi, cuộc cách mạng bắt đầu từ các tài liệu toán học này mới thực sự chạm đến thế giới mà nó muốn thay đổi.
Giám đốc điều hành Boundless Jeremy, một người coi việc viết luận văn toán học là sở thích.
Boundless là gì?
Trên trang web thiết kế tinh tế của Boundless, có một câu nói như sau: **"Chúng tôi đang xây dựng Boundless, giao thức ZK toàn cầu đầu tiên mang sức mạnh của các chứng minh không biết đến tất cả các chuỗi. （**Chúng tôi đang xây dựng Boundless, ứng dụng ZK đầu tiên sẽ đưa khả năng chứng minh không biết đến tất cả các blockchain.） Nhưng Boundless thực sự là gì? Và mối quan hệ của nó với công ty mẹ RISC Zero——dự án cấp độ thiên vương đã huy động được bốn mươi triệu đô la vào năm 2023 là gì?
Từ RISC Zero đến Boundless: từ zkVM đến mạng tính toán ZK mô-đun
RISC Zero là một cái tên nổi tiếng trong ngành công nghiệp blockchain và nó đã chiếm một vị trí nổi bật trong không gian điện toán ZK với tư cách là người dẫn đầu trong zkVM (Máy ảo không có kiến thức). 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 lớn hơn.
“RISC Zero là động cơ tính toán cơ sở thúc đẩy Boundless, trong khi Boundless là cách mà 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ề tính toán ZK vẫn chủ yếu xoay quanh việc nâng cao tốc độ, cố gắng thu hẹp khoảng cách hiệu suất giữa tính toán ZK và tính toán truyền thống. Sau đó, RISC Zero đã sử dụng một con đường hoàn toàn mới: tận dụng zkVM (thay vì tối ưu hóa cấp mạch truyền thống) để nâng cao hiệu quả tính toán ZK. Đột phá này mang lại sự linh hoạt mạnh mẽ hơn, cho phép tính toán ZK thoát khỏi thiết kế mạch cố định, gần gũi hơn với kiến trúc tính toán truyền thống, thực sự đạt được tính toán tổng quát.
Tuy nhiên, chỉ có zkVM là không đủ, bởi 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 một chuỗi công cụ hoàn chỉnh, trải nghiệm nhà phát triển từ đầu đến cuối và mô hình kinh tế có thể mở rộng. **
“Đây chính là ý nghĩa của sự tồn tại của Boundless.” Shiv nói, “Nó không chỉ cung cấp 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, cho phép họ không cần phải quan tâm đến chi tiết tính toán dưới lớp, bất kể ứng dụng họ xây dựng chạy trên chuỗi nào, đều có thể dễ dàng sử dụng tính toán ZK.”
Boundless = RISC Zero + đầy đủ stack giao thức + động lực kinh tế.
Từ kế hoạch Trident đến thách thức Boundless: Tìm kiếm giải pháp tối ưu qua thực tiễn
“Chúng tôi hy vọng sẽ xây dựng giải pháp đúng ngay từ đầu.” Giám đốc điều hành Boundless Jeremy Bruestle nhớ lại giai đoạn khởi đầu của đội ngũ. Mục tiêu này nghe có vẻ hiển nhiên, nhưng để thực sự đạt được điều đó, những thách thức phải đối mặt phức tạp hơn nhiều so với tưởng tượng.
Trước khi Boundless ra đời, đội ngũ không mù quáng đi theo các giải pháp phổ biến trên thị trường, mà đã thực hiện một cuộc thử nghiệm khám phá công nghệ quy mô lớn - Project Trident (Kế hoạch Ba Chĩa).
Vào thời điểm đó, có những 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 từ quan điểm của Lớp 1 (L1), chúng ta nên xây dựng một chuỗi công cộng đ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 có thể được thực hiện nhanh hơn; Ngoài ra còn có những người ủng hộ kiến trúc lai với tính toán ZK có thể mở rộng ở các cấp độ khác nhau, các nỗ lực khác của các phe phái khác nhau, v.v. **
Tại nhiều công ty, quyết định về lộ trình công nghệ thường được các nhà sáng lập hoặc quản lý cấp cao quyết định, trong khi Boundless đã chọn một con đường đầy thử thách hơn: phát triển đồng thời ba nguyên mẫu khác nhau, thực hiện kiểm tra khả thi của chúng và cuối cùng dựa vào dữ liệu và kết quả để quyết định hướng đi.
“Giải pháp cuối cùng chiến thắng, không phải là đề xuất của CEO, cũng không phải của người phụ trách sản phẩm, mà là giải pháp của các kỹ sư cao cấp của chúng tôi.” Shiv Shankar, CIO của Boundless, nói.
Quá trình này không chỉ tìm ra giải pháp công nghệ tối ưu, mà còn thiết lập văn hóa của Boundless: không mù quáng tuân theo quyền lực, để những ý tưởng tốt nhất được tôn vinh. Shiv nói, "Boundless trong tương lai sẽ có một cộng đồng lập trình viên lớn, chúng tôi hy vọng rằng những ý tưởng xuất sắc mà các thành viên trong cộng đồng đề xuất sẽ được tôn trọng và chấp nhận như những ý tưởng của đội ngũ nội bộ. Nếu ai đó có ý kiến về định hướng phát triển của Boundless, chúng tôi hy vọng họ có thể nhìn thấy 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 xem xét nghiêm túc, giống như cách chúng tôi đối xử với những ý tưởng của chính mình."
"Lớp thực thi Rollup gốc của Ethereum": Thành tựu cốt lõi của Boundless
Nếu phải sử dụng một khái niệm để tóm tắt vị trí của Boundless trong hệ sinh thái blockchain, nó chính là "Lớp thực thi mô-đun (Modular Execution Layer) của Rollup gốc Ethereum (Native Rollup)".
Phó giám đốc sản phẩm Brett Carter đã định nghĩa Boundless là "tầng thực thi mô-đun gốc của Ethereum", định vị này ngụ ý một sự chuyển đổi trong kiến trúc blockchain. Giống như điện toán đám mây đã phân tách trung tâm dữ liệu thành các lớp khác nhau, Boundless đang phân tách ZK proof thành các thành phần có thể cắm vào.
Thị trường khai thác ZK: Dựa trên cơ chế cạnh tranh của Bitcoin PoW, nhưng thay thế xung đột băm bằng cách tạo bằng chứng để loại bỏ năng lượng lãng phí
Xác thực 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 tự xây dựng nút xác thực.
Lớp thực thi đa chuỗi: Tương tự như giao thức HTTP thống nhất giao tiếp Internet, Boundless trở thành bộ xử lý ZK hợp tác chia sẻ giữa nhiều chuỗi.
"Nếu bạn nghiên cứu cuộc thảo luận của Justin Drake về Rollup gốc (Native Rollup) trên Diễn đàn Nghiên cứu Ethereum, bạn sẽ nhận thấy rằng, Ethereum cần một mạng phi tập trung tập trung vào thực thi (Execution-Only) để nâng cao khả năng tính toán, và Boundless chính là giải pháp tốt nhất cho nhu cầu này." Brett Carter nói.
Người phụ trách sản phẩm công nghệ Jacob Everly cho tôi biết, Ngân hàng Thanh toán Quốc tế (BIS) ở Singapore đã phát triển một hệ thống nguyên mẫu sử dụng công nghệ RISC Zero và Boundless, có khả năng xác minh liệu các nhà giao dịch ở khu vực Châu Á - Thái Bình Dương có thể thực hiện giao dịch tại Sở giao dịch Singapore mà không cần cung cấp thông tin cá nhân đầy đủ hay không. Người dùng chỉ cần tải lên hộ chiếu và số điện thoại, họ có thể tạo ra một bằng chứng không kiến thức (ZKP) để chứng minh rằng họ đủ điều kiện giao dịch.
Hiện tại, hơn 30 đội ngũ có kế hoạch xây dựng và triển khai các ứng dụng trên Boundless. "Mục tiêu của chúng tôi là đạt được 100 nhóm đối tác vào năm tới và biến Boundless thành tiêu chuẩn ngành." Jacob Everly nói.
Tối ưu hóa ### 340x: Làm thế nào để chi phí điện toán ZK phải chăng?
Nếu nói rằng tìm ra kiến trúc đúng là thử thách đầu tiên của Boundless, thì việc biến nó thành khả thi về mặt thương mại lại là một thách thức lớn hơn. Tính toán ZK không chỉ cần đủ nhanh, mà còn phải đủ rẻ, nếu không nó chỉ có thể dừng lại ở phòng thí nghiệm, mà không thể trở thành cơ sở hạ tầng cốt lõi của hệ sinh thái Web3.
Phó Giám đốc sản phẩm của Boundless, Brett Carter, khi tôi hỏi về thách thức lớn nhất là gì, đã ngay lập tức đưa ra câu trả lời: "Lịch sử, thách thức lớn nhất mà chúng tôi phải đối mặt luôn là hiệu suất và chi phí."
Trong tính toán ZK, độ trễ (Latency) và chi phí (Cost) không phải lúc nào cũng đồng bộ. Về lý thuyết, có thể giảm độ trễ bằng cách tính toán song song, nhưng điều này sẽ làm tăng chi phí. Đối với Layer 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ó mà tồn tại, chưa nói đến việc mở rộng quy mô.
Vào tháng 7 năm 2023, Boundless đã phát hành Zeth, đây là Type 1 ZK EVM đầu tiên trên thế giới và hoạt động trên ZKVM của Boundless. Dữ liệu ước tính lúc đó cho thấy nếu muốn chứng minh tất cả các giao dịch trên mạng chính Ethereum, chi phí tính toán hàng năm lên đến 170 triệu USD. Chi phí này đủ để khiến hầu hết các dự án phải chùn bước.
Nhưng chỉ trong 16 tháng, Boundless đã quản lý để giảm chi phí tính toán ZK xuống 340 lần thông qua một loạt các tối ưu hóa tính toán GPU, tối ưu hóa lõi ZKVM và cải tiến cấp kiến trúc, đưa chi phí bằng chứng xuống dưới 500.000 đô la trên mạng chính Ethereum. "Đằng sau điều này là 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 lõi ZKVM và GPU, do đó chi phí này có thể được giảm đáng kể." Nói về thành tích này, đôi mắt Brett đầy tự hào.
TEE và ZKVM: Khi "tính khả thi" gặp "tính lập trình"
TEE (Trusted Execution Environment) và ZK (Zero-Knowledge Proof) thường được xem là các giải pháp cạnh tranh khi nói đến độ tin cậy tính toán, 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 loại đều có thế mạnh riêng để 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 toán trong môi trường đáng tin cậy, nhưng dữ liệu chứng minh của nó thường quá lớn, khó có thể đưa trực tiếp lên blockchain. Trong khi đó, ZK thông qua việc tạo ra các chứng minh toán học có thể xác minh, xác thực hiệu quả tính chính xác của phép toán trên chuỗi. Phó giám đốc sản phẩm Brett Carter đã tiết lộ giá trị kinh tế của sự hợp tác này thông qua hóa đơn: lấy Automata làm ví dụ, việc xác minh chứng minh TEE trực tiếp trên Ethereum cần 6 triệu Gas, nhưng thông qua ZKVM, phần tính toán có thể được thực hiện trước ở ngoài chuỗi, trên chuỗi chỉ cần xác minh chứng minh ZK, chi phí Gas giảm xuống còn 300.000, đạt được một sự tối ưu hóa theo bậc. Taiko đã hỗ trợ đồng thời chứng minh TEE và chứng minh ZK trong giải pháp Rollup của mình, điều này cho thấy tính toán blockchain trong tương lai sẽ linh hoạt hơn, các nhà phát triển có thể lựa chọn giải pháp tính toán đáng tin cậy tối ưu nhất dựa trên từng tình huống.
Điều này cũng giúp nhiều dự án sử dụng dịch vụ TEE trong không gian DeFAI có thể 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 rằng các mô hình này đang hoạt động theo cách chúng dự định. Nói cách khác, nếu ChatGPT làm điều xấu ở cấp độ mô hình, người dùng không thể làm gì được. Suy luận có thể kiểm chứng thông qua ZK sẽ là một trường hợp sử dụng rất có giá trị. **
ZKVM của Boundless hiện đã hỗ trợ tính toán AI, và kể từ khi thử nghiệm vào tháng 7 năm 2024, hiệu suất đã tăng từ 50-100 lần, đ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 chứng minh ZK có thể xác minh, đảm bảo suy luận dựa trên trọng số mô hình đúng và không thể bị giả mạo.
Tại sao là ZK? Tại sao vẫn còn nói về ZK?
Trong lịch sử khoa học và công nghệ, mọi công nghệ biến đổi đều trải qua một quỹ đạo tương tự: từ sự nảy mầm của khái niệm, đến sự điên cuồng của thị trường, đến đáy của sự vỡ mộng, và cuối cùng đến giai đoạn ứng dụng trưởng thành. Ngày nay, bằng chứng không có kiến thức (ZK) đang trải qua một điểm uốn như vậy - chúng từng được quảng cáo là giải pháp tối ưu cho khả năng mở rộng blockchain, nhưng trên thực tế, những thách thức kỹ thuật vượt xa mong đợi và tâm lý thị trường dao động. Tuy nhiên, Giám đốc điều hành Boundless Jeremy Bruestle tin tưởng vào tương lai của ZK và tin rằng nó đang ở một thời điểm quan trọng trong mô hình điện toán.
**"Từ góc độ Hype Cycle, chúng ta đang ở giai đoạn Trough of Disillusionment. Jeremy giải thích. Nhiều người đã nhìn thấy tiềm năng của ZK vài năm trước và nghĩ rằng nó có thể nhanh chóng thay đổi mô hình tính toán của blockchain, nhưng đánh giá thấp khó khăn kỹ thuật của việc chuyển từ lý thuyết sang thực hành. ”
Tuy nhiên, tốc độ mà công nghệ ZK đang tiến bộ là đáng kinh ngạc. "Trong vài năm qua, hiệu suất của điện toán ZK đã được cải thiện theo hệ số từ 3 đến 4 mỗi quý. Điều này có nghĩa là ZK, không có sẵn ở quy mô một năm trước, hiện đang bắt đầu có sẵn trong sử dụng thực tế. ”
Đây chính là lý do ra đời của Boundless. ZK không chỉ là một công nghệ mới nổi, mà là một kiểu mẫu tính toán đang trưởng thành. Jeremy thậm chí đã so sánh nó với cuộc cách mạng vi xử lý những năm 1970: "Lúc đó, hầu hết các nhiệm vụ tính toán trên thị trường đều được thực hiện bởi các mạch tùy chỉnh (ASICs), sự xuất hiện của vi xử lý không được đánh giá cao. Nhưng với sự tiến bộ của công nghệ, chúng trở nên nhanh hơn, rẻ hơn và cuối cùng thay thế tất cả phần cứng chuyên dụng. Tính toán ZK đang đi theo con đường tương tự - nó sẽ vượt qua những nút thắt trong tính toán blockchain hiện tại, khiến cho tính toán có thể mở rộng và chi phí thấp trở thành tiêu chuẩn."
vượt qua khó khăn "Raspberry Pi trên blockchain"
Môi trường tính toán blockchain hiện tại đang ở giai đoạn nào? Shiv Shankar, CIO của Boundless, đã đưa ra một phép ẩn dụ sống động: "Khả năng tính toán blockchain ngày nay, có lẽ tương đương với một chiếc Raspberry Pi. Tài nguyên tính toán vô cùng hạn chế, các nhà phát triển ứng dụng phải nỗ lực tối ưu hóa chi phí Gas để phù hợp với các hạn chế về hiệu suất trên chuỗi."
Hiện tại, việc thực hiện một tính toán hợp đồng thông minh rất phức tạp trên một blockchain truyền thống có thể yêu cầu tiêu thụ hàng tỷ gas, tương đương với số lượng tính toán trong 30 khối và hoàn toàn không thể hoàn thành trên mainnet. Nó giống như bong bóng dot-com năm 1999, khi mọi người trả hóa đơn cao ngất trời để truy cập Internet quay số, nhưng phải mất nửa phút để tải dù chỉ một hình ảnh. 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í tính 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 số tiền tính toán thực tế là vô cùng hạn chế. Sau khi điện toán ZK trưởng thành, cùng một chi phí tính toán sẽ mang lại sức mạnh tính toán gấp 10 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. "Chúng tôi đang tạo ra 'điện toán đám mây đàn hồi của blockchain', nơi các tài nguyên điện toán mở rộng theo yêu cầu như các máy chủ đám mây AWS với mức giá không đáng kể." Shankar giải thích.
Trong năm năm tới, ZK tính toán sẽ thay đổi blockchain như thế nào?
Nếu muốn đưa ra một dự đoán táo bạo về sự phát triển của ZK trong năm năm tới, Jeremy cho rằng ZK sẽ dần thay thế mô hình thực thi dựa trên đồng thuận, trở thành phương thức tính toán blockchain chính.
Đường cong tăng trưởng "GDP" của blockchain có thể sẽ tái hiện sự leo thang dốc từ thời kỳ quay số sang thời kỳ băng thông rộng.
Trọng tâm của cuộc cách mạng thầm lặng này luôn là quy luật 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 thích nghi với nó, mà biến mình thành một phần của nó. Khi các nhà phát triển ngừng nói 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 không thể tưởng tượng được trước đây, phong trào giải phóng hashrate thực sự chiến thắng.
Jeremy đang ở hội nghị ETHDenver.
Cạnh tranh: Khi hiệu suất nhường chỗ, an toàn và dễ sử dụng lên sân khấu
Lịch sử của blockchain luôn lặp lại những vòng lặp giống nhau: Khi công nghệ mới xuất hiện, thị trường xuất hiện vô số "giải pháp", mỗi cái đều tự xưng là tiêu chuẩn của tương lai, mỗi cái đều đang cạnh tranh giành sự chú ý. Nhưng khi công nghệ bước vào giai đoạn thực sự triển khai, thị trường sẽ nhanh chóng sàng lọc những cái chỉ trông hào nhoáng như bong bóng, để lại những cấu trúc thực sự có giá trị lâu dài. Và trong cuộc cạnh tranh này, Boundless đang nổi bật theo một cách chưa từng có.
Nếu thị trường điện toán ZK là một thành phố mới nổi, hầu hết các dự án đều đang xây dựng các tòa nhà cao tầng với hy vọng thu hút cư dân với vẻ ngoài sáng bóng. Nhưng con đường mà Boundless đã chọn là xây dựng đường xá, 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ự bền vững trong dài hạn.
“Sự phi tập trung thực sự, từ đầu đã có nghĩa là khả năng chống kiểm duyệt, có nghĩa là xây dựng một cơ chế thị trường thực sự, giảm thiểu chi phí chứng minh, đồng thời đảm bảo một máy ảo (VM) thực sự an toàn.” Giám đốc điều hành Boundless Jeremy Bruestle thẳng thắn cho biết, nhiều giải pháp tính toán ZK có vẻ không có khuyết điểm trong giai đoạn đầu của thị trường, nhưng thử thách thực sự chỉ đến khi áp dụng quy mô lớn.
Hãy tưởng tượng, một giao thức DeFi phải xử lý hàng ngàn giao dịch phức tạp mỗi ngày, đột nhiên phát hiện chi phí tính toán ZK vượt quá ngân sách, hoặc độ phi tập trung của hệ thống không thể chống lại áp lực quản lý, những giải pháp như vậy dù công nghệ có tiên tiến đến đâu, cũng sẽ không bao giờ trở thành nền tảng của ngành. Boundless giải quyết vấn đề bằng cách sử dụng cơ chế chứng minh công việc có thể xác minh (Verifiable Proof of Work), đảm bảo việc sử dụng tài nguyên tính toán minh bạch và công bằng.
Cơ chế đổi mới này đảm bảo rằng phần thưởng mà các người chứng minh (Provers) 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, hiệu quả ngăn chặn các cuộc tấn công làm giả lượng, đồng thời trợ cấp chi phí chứng minh, giúp giảm chi phí hoạt động của toàn bộ hệ thống đến một mức hợp lý. Nói cách khác, Boundless không phải đang thổi phồng "tương lai của tính toán ZK", mà đang thực sự làm cho tính toán ZK trở nên khả dụng, có thể mở rộng và hợp lý.
Từ "thuê tính toán" đến "giải pháp hoàn chỉnh": Trải nghiệm tính toán ZK một điểm dừng
Nhiều dự án xem thị trường tính toán ZK như một "sàn giao dịch tính toán", các nhà phát triển giống như thuê máy chủ trên nền tảng dịch vụ đám mây, mua khả năng tính toán để tạo ra chứng nhận. Nhưng cách suy nghĩ của Boundless hoàn toàn khác biệt — họ không chỉ cung cấp sức mạnh tính toán, mà còn cung cấp trải nghiệm tính toán ZK từ đầu đến cuối.
"Chúng tôi không chỉ đơn thuần bán tài nguyên tính toán cho người dùng, mà còn cung cấp một giải pháp tính toán zk hoàn chỉnh, cho phép các nhà phát triển tích hợp zk vào ứng dụng của họ một cách liền mạch." Giám đốc thông tin của Boundless, Shiv Shankar 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 tính toán ZK" của các nhà phát triển. Từ việc tạo ra chứng minh đến xác thực cuối cùng trên chuỗi, Boundless giúp toàn bộ quy trình trở nên mượt mà và không bị cản trở. Sự tối ưu hóa trải nghiệm này mới thực sự là yếu tố then chốt giúp tính toán ZK từ phòng thí nghiệm bước ra ứng dụng quy mô lớn.
Đối với các nhà phát triển, thiết kế end-to-end này có nghĩa là ngưỡng kỹ thuật thấp hơn, tốc độ tích hợp nhanh hơn và môi trường hoạt động ổn định hơn. Boundless biến ZK tính toán không chỉ là một khái niệm công nghệ sâu sắc, mà còn là một công cụ năng suất có thể được triển khai ngay.
Sự phù hợp giữa sản phẩm và thị trường (Product-Market Fit): Khi chi phí sản xuất gần như bằng không, cạnh tranh thực sự mới vừa bắt đầu.
“Đến năm 2026, gần như sẽ không còn ai nói về vấn đề hiệu suất của tính toán ZK.” Shiv Shankar đã nói với tôi.
Những đột phá trong công nghệ máy tính cuối cùng không tránh được một vấn đề cuối cùng: chi phí. Cho dù đó là điện toán đám mây, kết xuất GPU hay đào tạo AI, điểm nóng thực sự cho ngành chưa bao giờ là một bước đột phá về giới hạn hiệu suất, mà là giảm chi phí tính toán.
Phán đoán của Shiv nghe có vẻ không thể tin được, nhưng nếu chúng ta nhìn lại con đường phát triển của điện toán đám mây, sẽ thấy xu hướng này rõ ràng đến mức nào. Ngày nay, gần như không có kỹ sư nào quan tâm đến chi phí tính toán cụ thể của AWS EC 2, vì giá đã giảm đến mức có thể bỏ qua, những người phát triển chỉ quan tâm đến cách tối ưu hóa việc sử dụng những tài nguyên này.
Đội ngũ Boundless tin rằng, tính toán ZK sắp bước vào 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 bận tâm đến "tốc độ của tính toán ZK" nữa, mà sẽ bắt đầu suy nghĩ về cách tận dụng nó để xây dựng 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 trường hợp ứng dụng của ZK sẽ thực sự bùng nổ, và Boundless đang đứng ở tuyến đầu của cuộc cách mạng này.
Hiện tại, các yêu cầu chính đối với tính toán ZK đến từ Bản tổng hợp, Lớp 2 và các trường hợp sử dụng trong đó Hàm chuyển đổi trạng thái cần được xác minh. Ví dụ, EigenLayer có kế hoạch sử dụng công nghệ Boundless trong Cơ chế Slashing, vì phải mất 1 tỷ gas để thực hiện các tính toán này trên Ethereum, nhưng khả năng của ZK Compute để hoàn thành các tính toán ngoài chuỗi và gửi bằng chứng hiệu quả làm cho nó trở thành một lựa chọn khả thi.
Nhưng giờ đây, điện toán ZK sẽ không chỉ tối ưu hóa các ứng dụng Web3 hiện có mà còn cho phép một bộ ứng dụng blockchain hoàn toàn 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, họ chỉ có thể chạy các tính toán gần đúng trên chuỗi do số lượng tính toán, nhưng Boundless cho phép họ chạy toàn bộ mô hình và gửi bằng chứng ZK cho các giao dịch DeFi chính xác hơn. **
"Nếu bạn bắt đầu xây dựng ứng dụng DeFi hôm nay mà không sử dụng công nghệ ZK trong hệ thống, thì bạn sẽ nhanh chóng bị loại khỏi ngành." Câu nói của Shiv nghe có vẻ cực đoan, nhưng thực tế chính là như vậy: đến năm 2026, việc sử dụng tính toán ZK sẽ trở thành tùy chọn mặc định, chứ không phải đặc quyền của công nghệ cao cấp. Khi các nhà phát triển không còn phải lo lắng về ngân sách Gas, 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 bị giới hạn trong giới Web3, mà sẽ 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 thi cao hơn. Mặt khác, vô biên đang mở đường cho ngày đó đến.
Ra mắt trên mạng chính: Kế hoạch "Đưa Boundless lên mặt trăng"
“Chúng tôi đang chạy hết tốc lực để triển khai mạng chính (Mainnet), lý tưởng nhất là sẽ ra mắt mạng chính vào đầu quý 2 đến quý 3 năm nay.” Shiv Shankar đã nói với tôi. Nhiệm vụ hàng đầu hiện tại của Boundless, không còn nghi ngờ gì nữa, chính là triển khai mạng chính. Trong vài tháng qua, đội ngũ đã thực hiện nhiều đợt thử nghiệm trên mạng thử nghiệm để xác minh tính ổn định của giao thức, hiệu suất tính toán và mô hình kinh tế. Hiện nay, mọi thứ đang bước vào giai đoạn nước rút cuối cùng.
Trước khi mạng chính cuối cùng được ra mắt, cột mốc tiếp theo của Boundless là “Mainnet Beta”, một giai đoạn thử nghiệm dành cho các nhà phát triển.
Trong môi trường thử nghiệm hiện tại, chứng minh ZK mặc dù có thể chạy nhưng chưa hoàn toàn bước vào hệ thống kinh tế thực sự. Mục tiêu của Mainnet Beta là để các nhà phát triển bắt đầu tạo ra chứng minh ZK trong môi trường vốn thực tế, thử nghiệm hiệu suất của hệ thống trong các điều kiện thị trường thực.
"Sau Mainnet Beta, chúng tôi sẽ tập trung vào kiểm tra rộng rãi cơ chế khuyến khích (Incentive Mechanism)." Joe Restivo tiết lộ.
Đây sẽ là giai đoạn quan trọng để mô hình kinh tế Boundless được triển khai, đội ngũ sẽ thử nghiệm và tối ưu hóa Verifiable Work (cơ chế làm việc có thể xác minh) trong quá trình này, đảm bảo rằng việc phân bổ tài nguyên tính toán 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 một hệ sinh thái ZK do cộng đồng thúc đẩy
Cùng với việc thúc đẩy đồng bộ với mạng chính, còn có kế hoạch về quản trị phi tập trung (DG, Quản trị phi tập trung).
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 gian ra mắt của quản trị phi tập trung, phụ thuộc nhiều hơn vào pháp lý và đội ngũ vận hành, chứ không phải phạm vi kiểm soát của đội ngũ kỹ thuật." Điều này có nghĩa là, mặc dù Boundless đã cung cấp hỗ trợ công nghệ cho thị trường tính toán 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ự hiện thực hóa hoạt động phi tập trung.
Kế hoạch cuối cùng của Boundless: Đưa tính toán blockchain vượt qua giới hạn
Phó Tổng Giám đốc 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à, tất cả các phép tính thực hiện cuối cùng sẽ chuyển sang chứng minh không biết (ZK), lý do đằng sau điều này rất đơn giản: trong kiến trúc blockchain hiện tại, tất cả các phép tính phải đạt được đồng thuận giữa tất cả các nút, điều này làm cho thông lượng của toàn bộ mạng bị giới hạn bởi vật lý. Ví dụ, giới hạn Gas mỗi khối của Ethereum chỉ là 36 triệu, giới hạn này có nghĩa là hợp đồng thông minh không thể thực hiện các phép tính phức tạp như suy luận AI, nếu không toàn bộ mạng sẽ bị tê liệt.
Nếu nói rằng tính toán blockchain ngày nay giống như lập trình đồng bộ (Synchronous Programming), thì tính toán ZK do Boundless cung cấp giống như lập trình bất đồng bộ (Asynchronous Computing) - các nhà phát triển có thể thực hiện tính toán song song ngoài chuỗi (Off-chain), sau đó chứng minh tính chính xác của nó thông qua ZK, cuối cùng chỉ cần nộp bằng chứng nhỏ lên tầng thanh toán, mà không cần thực hiện toàn bộ quá trình tính toán trên chuỗi.
Khi Ethereum L2 nở rộ ở khắp mọi nơi, nút cổ chai thực sự đã chuyển từ lớp mạng sang lớp tính toán - bất cứ ai có thể lái những chiếc "xe tải hạng nặng" như đào tạo AI và kết xuất 3D trên đường cao tốc blockchain sẽ có hộ chiếu đến kỷ nguyên tiếp theo. Đó là lý do tại sao chúng tôi đặt tên cho giao thức là Boundless – để loại bỏ ranh giới tính toán và làm cho blockchain thực sự vô hạn trong sức mạnh tính toán, Brett nói. Trong tương lai, blockchain sẽ không còn chỉ là công cụ cho các giao dịch và thực hiện hợp đồng thông minh, 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 trên 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à cho phép điện toán blockchain về cơ bản thoát khỏi những hạn chế về hiệu suất hiện tại và đạt được sự tự do tính toán thực sự.
Kết luận: Đằng sau một chiếc áo sơ mi là triết lý đổi mới phi tiêu chuẩn.
Cuối buổi phỏng vấn, Giám đốc điều hành Joe Restivo lầm bầm với tôi, giọng điệu đầy oán trách: “Bạn biết không, chúng tôi còn một thách thức rất lớn trong công việc: Jeremy có một chiếc áo sơ mi 'đặc biệt', in hình sóng thần Nhật Bản, và bất cứ khi nào lên sân khấu, anh ấy cũng mặc nó, thay vì đồ chính thức của công ty chúng tôi. Mỗi lần anh ấy mặc chiếc áo sơ mi sóng thần đó lên sân khấu, tôi đều muốn chạy tới để khoác lên người anh ấy chiếc áo POLO chính thức của Boundless.”
Áo sơ mi may mắn của Jeremy: Sóng theo phong cách Ukiyo-e
Tôi đã đặc biệt mang câu hỏi này qua hỏi Jeremy. Đối mặt với sự nghi ngờ, anh ấy đã thẳng thắn thừa nhận: “Tôi确实 thường xuyên mặc chiếc áo sơ mi có họa tiết sóng thần đó. Đặc biệt là khi gặp gỡ nhà đầu tư hoặc khi diễn thuyết, tôi hầu như luôn mặc.” Sự đối kháng tinh tế giữa thẩm mỹ cá nhân và thương hiệu công ty này đã trở thành một ghi chú thú vị về văn hóa đội nhóm: Tại Boundless, đội ngũ đang tạo ra giá trị theo cách mà họ thích. Hoặc, để diễn đạt theo một phong cách giống như tranh khắc, trong làn sóng công nghệ, quan trọng hơn cả việc theo dòng chảy là tìm ra được ngọn sóng thuộc về chính mình.
“Trên thế giới có rất nhiều người, nếu mọi người đều làm những điều giống nhau, thì khả năng của thế giới sẽ bị hạn chế.” Anh ấy đã nói với tôi, “Nó tượng trưng cho một ý tưởng... Tôi luôn tin rằng, mỗi người trong chúng ta có thể tự do chọn những gì mình muốn tạo ra. Và điều có ý nghĩa nhất là tạo ra những thứ có thể đại diện cho “chính chúng ta”. Dù cuối cùng nó có thành công hay không, chúng ta sẽ luôn kiên trì trong việc sáng tạo.”
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Odaily phỏng vấn Boundless: Nhóm kỹ thuật này đã biến ZK thành văn hóa và triết học.
原创｜Odaily Odaily日报
Tác giả｜jk
! Odaily Interview with Boundless: Nhóm mọt sách công nghệ này nâng ZK lên văn hóa và triết học
Những cơn gió lạnh của Colorado mang theo sự nhiệt tình của thế giới blockchain, và tại sự kiện bên lề của ETH Denver, một con dấu dựa trên một chuỗi quả mọng đỏ đã được in trên cánh tay của mỗi người tham dự - mật khẩu đầu tiên do nhóm Boundless để lại cho những người tham dự. Reka, Giám đốc Thương hiệu & Truyền thông, đứng cạnh tác phẩm sắp đặt và nhẹ nhàng vạch ngón tay của mình lên bề mặt của con dấu quả mọng: "Berry là một từ đồng âm thú vị, mỗi từ đại diện cho sự kết hợp giữa Tính toán vô biên và có thể kiểm chứng. ”
** Berry dường như đã khơi dậy sự nhiệt tình của các thành viên của cộng đồng Boundless và ngày nay hơn 1.5 triệu NFT đã được đúc dựa trên nó. ** Trong tuyết của dãy núi Rocky ở phía xa, Odaily và sáu thành viên của nhóm cốt lõi Boundless đằng sau "Berry" - Giám đốc điều hành Jeremy Bruestle, Chủ sở hữu sản phẩm kỹ thuật Jacob Everly, CIO Shiv Shankar, COO Joe Restivo, Phó chủ tịch sản phẩm Brett Carter và Người quản lý thương hiệu Reka Medvecz - Hàng loạt cuộc trò chuyện chuyên sâu đã diễn ra. Từ triết lý kỹ thuật của ZKVM đến trò chơi tin cậy của TEE, từ các thí nghiệm mang tính cách mạng về suy luận AI đến câu chuyện thương hiệu đằng sau "Berry", tham vọng công nghệ của công ty cũng nổi bật như sự nhạy cảm của con người.
Vòng tay vào cửa hội nghị cao giả, cảm giác trộm rất nặng của khoản thu đầu tiên.
Vào đầu năm 2022, tại hội nghị ETH Denver, một nhóm thanh niên không có quyền vào hội trường đã đứng bên ngoài, cầm trên tay những mảnh vải và công cụ mua từ Joann Fabrics (một cửa hàng in địa phương). Họ đối chiếu với kiểu vòng tay của người tham dự, cắt, may, và liên tục luyện tập tư thế giơ tay qua cửa kiểm soát an ninh. Khi vòng tay giả mạo qua được kiểm tra, có lẽ nhóm người này không nghĩ rằng sự "phá luật" theo kiểu hacker này sẽ trở thành phép ẩn dụ cho vận mệnh của công ty.
** "Một vài 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ị 'go-in' này. ** Giám đốc điều hành Boundless Jeremy Bruestle nhớ lại. Đối với một công ty lấy bảo mật là cốt lõi của công nghệ, điểm khởi đầu gần như vô lý này được ám chỉ đến 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à người đầu tiên xác định các quy tắc mới. **
Khoảnh khắc "giác ngộ" trong bài báo toán học đã khơi mào 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ỉ đen kết nối các gen kỹ thuật của Boundless. Khi tôi hỏi anh ấy liệu việc tạo ra Boundless là kết quả của một sự thúc đẩy suy nghĩ hay là kết quả của một thời gian dài tích lũy và chuẩn bị, anh ấy đã không ngần ngại nói rằng đó là "một quá trình từng bước".
Năm hoặc sáu năm trước, người đàn ông này có thể đọc các bài báo toán học như một sở thích đã đọc trong một bài báo về định lý PCP (Chứng minh có thể kiểm tra 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 một thời gian không đổi." Đó là, bất kể mất bao lâu để một phép tính hoàn thành, chúng ta có thể chứng minh nó chính xác ngay lập tức. Khám phá này giống như một dòng điện chạy qua não – nếu con người có thể xác minh tính xác thực đầy đủ của Encyclopædia Britannica ngay lập tức, cơ chế tin cậy của blockchain sẽ hoàn toàn bị đảo lộn.
Nhưng thực tế kỹ thuật tại thời điểm đó lạnh lùng cay đắng: việc xác minh mất nhiều thời gian hơn nhiều so với bản thân các tính toán, lý thuyết hoàn hảo và kỹ thuật rất khó để tiến lên. Mãi đến năm 2020, bài báo trên hệ thống chứng minh STARK mới cho anh cái nhìn thoáng qua về ánh sáng ban ngày. "Tôi đã thực hiện một phép tính đơn giản và thấy rằng miễn là tối ưu hóa kỹ thuật được áp dụng, tốc độ xác minh của ZK có thể tăng lên một triệu lần."
Trong cuộc gọi đêm khuya, anh ấy phấn khích mô tả tầm nhìn của mình cho đối tác Frank, nhưng đã gặp phải câu hỏi khó: "Nhưng lập trình viên sẽ lập trình như thế nào?" Khi Jeremy nêu ra "ràng buộc đa thức trên trường hữu hạn", đầu dây bên kia im lặng. "Không ai muốn viết thứ như vậy, điều đó hoàn toàn vô ích!" Lời châm chọc của Frank đã dập tắt bong bóng lý tưởng công nghệ.
Bước ngoặt thực sự xảy ra ở San Francisco. Tối hôm đó, ba người đàn ông Jeremy, Frank và Brian nhìn chằm chằm vào những chiếc lon bia đã uống cạn, đột nhiên nảy ra một ý tưởng: "Nếu chúng ta có thể mô phỏng một máy tính hiện có trong ZK thì sẽ như thế nào?"
Ý tưởng này sau này được gọi là ZKVM (máy ảo không biết) đã hoàn toàn thay đổi quy tắc trò chơi. Họ chọn tương thích với bộ lệnh RISC-V - giống như việc nhân bản một máy tính tiêu chuẩn trong thế giới tiền mã hóa, các nhà phát triển viết chương trình bằng mã Rust và Solidity thông thường, máy ảo tự động tạo ra chứng minh ZK. "Chúng tôi muốn ZK trở nên tự nhiên như việc sử dụng điện, các nhà phát triển chỉ cần vặn bóng đèn mà không cần hiểu nguyên lý phát điện," Jeremy so sánh.
Ngành công nghiệp chế giễu lúc đầu. Jeremy: Quan điểm của họ thực sự cực đoan 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 mạch cơ bản và hoàn toàn không cần zkVM" - những nghi ngờ đang đổ vào. Nhưng nhóm Boundless biết rằng khi một cửa hàng tiện lợi Nhật Bản tiếp quản một quán trà đường phố với quy trình tiêu chuẩn hóa, sức mạnh của hệ sinh thái tương thích sẽ luôn vượt xa hiệu quả của địa phương.
Năm 2023, sự ra mắt của RISC-V ZKVM giống như một viên đá lớn ném vào mặt hồ. Bốn hoặc năm công ty mới nhanh chóng theo đuổi các giải pháp tương tự, chứng minh rằng thị trường cuối cùng đã hiểu được phán đoán tiên phong của RISC Zero vào thời điểm đó: khi ZK gặp gỡ tập lệnh chuẩn hóa, tốc độ phổ biến công nghệ sẽ bùng nổ theo cấp số nhân.
Nhưng ánh mắt của Jeremy đã hướng tới những điều xa hơn. “ZKVM chỉ cho phép các nhà phát triển viết mã, chúng tôi còn phải làm cho nó có thể ‘cắm điện’.” Hiện nay, đội ngũ đã phát hành Boundless đang biến ZK thành cơ sở hạ tầng blockchain — giống như điện toán đám mây biến máy chủ thành tài nguyên có thể sử dụng ngay lập tức. Khi các nhà phát triển chỉ cần ba dòng mã để gọi ZK tăng tốc tính toán trên chuỗi, cuộc cách mạng bắt đầu từ các tài liệu toán học này mới thực sự chạm đến thế giới mà nó muốn thay đổi.
Giám đốc điều hành Boundless Jeremy, một người coi việc viết luận văn toán học là sở thích.
Boundless là gì?
Trên trang web thiết kế tinh tế của Boundless, có một câu nói như sau: **"Chúng tôi đang xây dựng Boundless, giao thức ZK toàn cầu đầu tiên mang sức mạnh của các chứng minh không biết đến tất cả các chuỗi. （**Chúng tôi đang xây dựng Boundless, ứng dụng ZK đầu tiên sẽ đưa khả năng chứng minh không biết đến tất cả các blockchain.） Nhưng Boundless thực sự là gì? Và mối quan hệ của nó với công ty mẹ RISC Zero——dự án cấp độ thiên vương đã huy động được bốn mươi triệu đô la vào năm 2023 là gì?
Từ RISC Zero đến Boundless: từ zkVM đến mạng tính toán ZK mô-đun
RISC Zero là một cái tên nổi tiếng trong ngành công nghiệp blockchain và nó đã chiếm một vị trí nổi bật trong không gian điện toán ZK với tư cách là người dẫn đầu trong zkVM (Máy ảo không có kiến thức). 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 lớn hơn.
“RISC Zero là động cơ tính toán cơ sở thúc đẩy Boundless, trong khi Boundless là cách mà 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ề tính toán ZK vẫn chủ yếu xoay quanh việc nâng cao tốc độ, cố gắng thu hẹp khoảng cách hiệu suất giữa tính toán ZK và tính toán truyền thống. Sau đó, RISC Zero đã sử dụng một con đường hoàn toàn mới: tận dụng zkVM (thay vì tối ưu hóa cấp mạch truyền thống) để nâng cao hiệu quả tính toán ZK. Đột phá này mang lại sự linh hoạt mạnh mẽ hơn, cho phép tính toán ZK thoát khỏi thiết kế mạch cố định, gần gũi hơn với kiến trúc tính toán truyền thống, thực sự đạt được tính toán tổng quát.
Tuy nhiên, chỉ có zkVM là không đủ, bởi 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 một chuỗi công cụ hoàn chỉnh, trải nghiệm nhà phát triển từ đầu đến cuối và mô hình kinh tế có thể mở rộng. **
“Đây chính là ý nghĩa của sự tồn tại của Boundless.” Shiv nói, “Nó không chỉ cung cấp 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, cho phép họ không cần phải quan tâm đến chi tiết tính toán dưới lớp, bất kể ứng dụng họ xây dựng chạy trên chuỗi nào, đều có thể dễ dàng sử dụng tính toán ZK.”
Boundless = RISC Zero + đầy đủ stack giao thức + động lực kinh tế.
Từ kế hoạch Trident đến thách thức Boundless: Tìm kiếm giải pháp tối ưu qua thực tiễn
“Chúng tôi hy vọng sẽ xây dựng giải pháp đúng ngay từ đầu.” Giám đốc điều hành Boundless Jeremy Bruestle nhớ lại giai đoạn khởi đầu của đội ngũ. Mục tiêu này nghe có vẻ hiển nhiên, nhưng để thực sự đạt được điều đó, những thách thức phải đối mặt phức tạp hơn nhiều so với tưởng tượng.
Trước khi Boundless ra đời, đội ngũ không mù quáng đi theo các giải pháp phổ biến trên thị trường, mà đã thực hiện một cuộc thử nghiệm khám phá công nghệ quy mô lớn - Project Trident (Kế hoạch Ba Chĩa).
Vào thời điểm đó, có những 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 từ quan điểm của Lớp 1 (L1), chúng ta nên xây dựng một chuỗi công cộng đ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 có thể được thực hiện nhanh hơn; Ngoài ra còn có những người ủng hộ kiến trúc lai với tính toán ZK có thể mở rộng ở các cấp độ khác nhau, các nỗ lực khác của các phe phái khác nhau, v.v. **
Tại nhiều công ty, quyết định về lộ trình công nghệ thường được các nhà sáng lập hoặc quản lý cấp cao quyết định, trong khi Boundless đã chọn một con đường đầy thử thách hơn: phát triển đồng thời ba nguyên mẫu khác nhau, thực hiện kiểm tra khả thi của chúng và cuối cùng dựa vào dữ liệu và kết quả để quyết định hướng đi.
“Giải pháp cuối cùng chiến thắng, không phải là đề xuất của CEO, cũng không phải của người phụ trách sản phẩm, mà là giải pháp của các kỹ sư cao cấp của chúng tôi.” Shiv Shankar, CIO của Boundless, nói.
Quá trình này không chỉ tìm ra giải pháp công nghệ tối ưu, mà còn thiết lập văn hóa của Boundless: không mù quáng tuân theo quyền lực, để những ý tưởng tốt nhất được tôn vinh. Shiv nói, "Boundless trong tương lai sẽ có một cộng đồng lập trình viên lớn, chúng tôi hy vọng rằng những ý tưởng xuất sắc mà các thành viên trong cộng đồng đề xuất sẽ được tôn trọng và chấp nhận như những ý tưởng của đội ngũ nội bộ. Nếu ai đó có ý kiến về định hướng phát triển của Boundless, chúng tôi hy vọng họ có thể nhìn thấy 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 xem xét nghiêm túc, giống như cách chúng tôi đối xử với những ý tưởng của chính mình."
"Lớp thực thi Rollup gốc của Ethereum": Thành tựu cốt lõi của Boundless
Nếu phải sử dụng một khái niệm để tóm tắt vị trí của Boundless trong hệ sinh thái blockchain, nó chính là "Lớp thực thi mô-đun (Modular Execution Layer) của Rollup gốc Ethereum (Native Rollup)".
Phó giám đốc sản phẩm Brett Carter đã định nghĩa Boundless là "tầng thực thi mô-đun gốc của Ethereum", định vị này ngụ ý một sự chuyển đổi trong kiến trúc blockchain. Giống như điện toán đám mây đã phân tách trung tâm dữ liệu thành các lớp khác nhau, Boundless đang phân tách ZK proof thành các thành phần có thể cắm vào.
Thị trường khai thác ZK: Dựa trên cơ chế cạnh tranh của Bitcoin PoW, nhưng thay thế xung đột băm bằng cách tạo bằng chứng để loại bỏ năng lượng lãng phí
"Nếu bạn nghiên cứu cuộc thảo luận của Justin Drake về Rollup gốc (Native Rollup) trên Diễn đàn Nghiên cứu Ethereum, bạn sẽ nhận thấy rằng, Ethereum cần một mạng phi tập trung tập trung vào thực thi (Execution-Only) để nâng cao khả năng tính toán, và Boundless chính là giải pháp tốt nhất cho nhu cầu này." Brett Carter nói.
Người phụ trách sản phẩm công nghệ Jacob Everly cho tôi biết, Ngân hàng Thanh toán Quốc tế (BIS) ở Singapore đã phát triển một hệ thống nguyên mẫu sử dụng công nghệ RISC Zero và Boundless, có khả năng xác minh liệu các nhà giao dịch ở khu vực Châu Á - Thái Bình Dương có thể thực hiện giao dịch tại Sở giao dịch Singapore mà không cần cung cấp thông tin cá nhân đầy đủ hay không. Người dùng chỉ cần tải lên hộ chiếu và số điện thoại, họ có thể tạo ra một bằng chứng không kiến thức (ZKP) để chứng minh rằng họ đủ điều kiện giao dịch.
Hiện tại, hơn 30 đội ngũ có kế hoạch xây dựng và triển khai các ứng dụng trên Boundless. "Mục tiêu của chúng tôi là đạt được 100 nhóm đối tác vào năm tới và biến Boundless thành tiêu chuẩn ngành." Jacob Everly nói.
Tối ưu hóa ### 340x: Làm thế nào để chi phí điện toán ZK phải chăng?
Nếu nói rằng tìm ra kiến trúc đúng là thử thách đầu tiên của Boundless, thì việc biến nó thành khả thi về mặt thương mại lại là một thách thức lớn hơn. Tính toán ZK không chỉ cần đủ nhanh, mà còn phải đủ rẻ, nếu không nó chỉ có thể dừng lại ở phòng thí nghiệm, mà không thể trở thành cơ sở hạ tầng cốt lõi của hệ sinh thái Web3.
Phó Giám đốc sản phẩm của Boundless, Brett Carter, khi tôi hỏi về thách thức lớn nhất là gì, đã ngay lập tức đưa ra câu trả lời: "Lịch sử, thách thức lớn nhất mà chúng tôi phải đối mặt luôn là hiệu suất và chi phí."
Trong tính toán ZK, độ trễ (Latency) và chi phí (Cost) không phải lúc nào cũng đồng bộ. Về lý thuyết, có thể giảm độ trễ bằng cách tính toán song song, nhưng điều này sẽ làm tăng chi phí. Đối với Layer 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ó mà tồn tại, chưa nói đến việc mở rộng quy mô.
Vào tháng 7 năm 2023, Boundless đã phát hành Zeth, đây là Type 1 ZK EVM đầu tiên trên thế giới và hoạt động trên ZKVM của Boundless. Dữ liệu ước tính lúc đó cho thấy nếu muốn chứng minh tất cả các giao dịch trên mạng chính Ethereum, chi phí tính toán hàng năm lên đến 170 triệu USD. Chi phí này đủ để khiến hầu hết các dự án phải chùn bước.
Nhưng chỉ trong 16 tháng, Boundless đã quản lý để giảm chi phí tính toán ZK xuống 340 lần thông qua một loạt các tối ưu hóa tính toán GPU, tối ưu hóa lõi ZKVM và cải tiến cấp kiến trúc, đưa chi phí bằng chứng xuống dưới 500.000 đô la trên mạng chính Ethereum. "Đằng sau điều này là 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 lõi ZKVM và GPU, do đó chi phí này có thể được giảm đáng kể." Nói về thành tích này, đôi mắt Brett đầy tự hào.
TEE và ZKVM: Khi "tính khả thi" gặp "tính lập trình"
TEE (Trusted Execution Environment) và ZK (Zero-Knowledge Proof) thường được xem là các giải pháp cạnh tranh khi nói đến độ tin cậy tính toán, 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 loại đều có thế mạnh riêng để 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 toán trong môi trường đáng tin cậy, nhưng dữ liệu chứng minh của nó thường quá lớn, khó có thể đưa trực tiếp lên blockchain. Trong khi đó, ZK thông qua việc tạo ra các chứng minh toán học có thể xác minh, xác thực hiệu quả tính chính xác của phép toán trên chuỗi. Phó giám đốc sản phẩm Brett Carter đã tiết lộ giá trị kinh tế của sự hợp tác này thông qua hóa đơn: lấy Automata làm ví dụ, việc xác minh chứng minh TEE trực tiếp trên Ethereum cần 6 triệu Gas, nhưng thông qua ZKVM, phần tính toán có thể được thực hiện trước ở ngoài chuỗi, trên chuỗi chỉ cần xác minh chứng minh ZK, chi phí Gas giảm xuống còn 300.000, đạt được một sự tối ưu hóa theo bậc. Taiko đã hỗ trợ đồng thời chứng minh TEE và chứng minh ZK trong giải pháp Rollup của mình, điều này cho thấy tính toán blockchain trong tương lai sẽ linh hoạt hơn, các nhà phát triển có thể lựa chọn giải pháp tính toán đáng tin cậy tối ưu nhất dựa trên từng tình huống.
Điều này cũng giúp nhiều dự án sử dụng dịch vụ TEE trong không gian DeFAI có thể 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 rằng các mô hình này đang hoạt động theo cách chúng dự định. Nói cách khác, nếu ChatGPT làm điều xấu ở cấp độ mô hình, người dùng không thể làm gì được. Suy luận có thể kiểm chứng thông qua ZK sẽ là một trường hợp sử dụng rất có giá trị. **
ZKVM của Boundless hiện đã hỗ trợ tính toán AI, và kể từ khi thử nghiệm vào tháng 7 năm 2024, hiệu suất đã tăng từ 50-100 lần, đ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 chứng minh ZK có thể xác minh, đảm bảo suy luận dựa trên trọng số mô hình đúng và không thể bị giả mạo.
Tại sao là ZK? Tại sao vẫn còn nói về ZK?
Trong lịch sử khoa học và công nghệ, mọi công nghệ biến đổi đều trải qua một quỹ đạo tương tự: từ sự nảy mầm của khái niệm, đến sự điên cuồng của thị trường, đến đáy của sự vỡ mộng, và cuối cùng đến giai đoạn ứng dụng trưởng thành. Ngày nay, bằng chứng không có kiến thức (ZK) đang trải qua một điểm uốn như vậy - chúng từng được quảng cáo là giải pháp tối ưu cho khả năng mở rộng blockchain, nhưng trên thực tế, những thách thức kỹ thuật vượt xa mong đợi và tâm lý thị trường dao động. Tuy nhiên, Giám đốc điều hành Boundless Jeremy Bruestle tin tưởng vào tương lai của ZK và tin rằng nó đang ở một thời điểm quan trọng trong mô hình điện toán.
**"Từ góc độ Hype Cycle, chúng ta đang ở giai đoạn Trough of Disillusionment. Jeremy giải thích. Nhiều người đã nhìn thấy tiềm năng của ZK vài năm trước và nghĩ rằng nó có thể nhanh chóng thay đổi mô hình tính toán của blockchain, nhưng đánh giá thấp khó khăn kỹ thuật của việc chuyển từ lý thuyết sang thực hành. ”
Tuy nhiên, tốc độ mà công nghệ ZK đang tiến bộ là đáng kinh ngạc. "Trong vài năm qua, hiệu suất của điện toán ZK đã được cải thiện theo hệ số từ 3 đến 4 mỗi quý. Điều này có nghĩa là ZK, không có sẵn ở quy mô một năm trước, hiện đang bắt đầu có sẵn trong sử dụng thực tế. ”
Đây chính là lý do ra đời của Boundless. ZK không chỉ là một công nghệ mới nổi, mà là một kiểu mẫu tính toán đang trưởng thành. Jeremy thậm chí đã so sánh nó với cuộc cách mạng vi xử lý những năm 1970: "Lúc đó, hầu hết các nhiệm vụ tính toán trên thị trường đều được thực hiện bởi các mạch tùy chỉnh (ASICs), sự xuất hiện của vi xử lý không được đánh giá cao. Nhưng với sự tiến bộ của công nghệ, chúng trở nên nhanh hơn, rẻ hơn và cuối cùng thay thế tất cả phần cứng chuyên dụng. Tính toán ZK đang đi theo con đường tương tự - nó sẽ vượt qua những nút thắt trong tính toán blockchain hiện tại, khiến cho tính toán có thể mở rộng và chi phí thấp trở thành tiêu chuẩn."
vượt qua khó khăn "Raspberry Pi trên blockchain"
Môi trường tính toán blockchain hiện tại đang ở giai đoạn nào? Shiv Shankar, CIO của Boundless, đã đưa ra một phép ẩn dụ sống động: "Khả năng tính toán blockchain ngày nay, có lẽ tương đương với một chiếc Raspberry Pi. Tài nguyên tính toán vô cùng hạn chế, các nhà phát triển ứng dụng phải nỗ lực tối ưu hóa chi phí Gas để phù hợp với các hạn chế về hiệu suất trên chuỗi."
Hiện tại, việc thực hiện một tính toán hợp đồng thông minh rất phức tạp trên một blockchain truyền thống có thể yêu cầu tiêu thụ hàng tỷ gas, tương đương với số lượng tính toán trong 30 khối và hoàn toàn không thể hoàn thành trên mainnet. Nó giống như bong bóng dot-com năm 1999, khi mọi người trả hóa đơn cao ngất trời để truy cập Internet quay số, nhưng phải mất nửa phút để tải dù chỉ một hình ảnh. 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í tính 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 số tiền tính toán thực tế là vô cùng hạn chế. Sau khi điện toán ZK trưởng thành, cùng một chi phí tính toán sẽ mang lại sức mạnh tính toán gấp 10 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. "Chúng tôi đang tạo ra 'điện toán đám mây đàn hồi của blockchain', nơi các tài nguyên điện toán mở rộng theo yêu cầu như các máy chủ đám mây AWS với mức giá không đáng kể." Shankar giải thích.
Trong năm năm tới, ZK tính toán sẽ thay đổi blockchain như thế nào?
Nếu muốn đưa ra một dự đoán táo bạo về sự phát triển của ZK trong năm năm tới, Jeremy cho rằng ZK sẽ dần thay thế mô hình thực thi dựa trên đồng thuận, trở thành phương thức tính toán blockchain chính.
Đường cong tăng trưởng "GDP" của blockchain có thể sẽ tái hiện sự leo thang dốc từ thời kỳ quay số sang thời kỳ băng thông rộng.
Trọng tâm của cuộc cách mạng thầm lặng này luôn là quy luật 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 thích nghi với nó, mà biến mình thành một phần của nó. Khi các nhà phát triển ngừng nói 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 không thể tưởng tượng được trước đây, phong trào giải phóng hashrate thực sự chiến thắng.
Jeremy đang ở hội nghị ETHDenver.
Cạnh tranh: Khi hiệu suất nhường chỗ, an toàn và dễ sử dụng lên sân khấu
Lịch sử của blockchain luôn lặp lại những vòng lặp giống nhau: Khi công nghệ mới xuất hiện, thị trường xuất hiện vô số "giải pháp", mỗi cái đều tự xưng là tiêu chuẩn của tương lai, mỗi cái đều đang cạnh tranh giành sự chú ý. Nhưng khi công nghệ bước vào giai đoạn thực sự triển khai, thị trường sẽ nhanh chóng sàng lọc những cái chỉ trông hào nhoáng như bong bóng, để lại những cấu trúc thực sự có giá trị lâu dài. Và trong cuộc cạnh tranh này, Boundless đang nổi bật theo một cách chưa từng có.
Nếu thị trường điện toán ZK là một thành phố mới nổi, hầu hết các dự án đều đang xây dựng các tòa nhà cao tầng với hy vọng thu hút cư dân với vẻ ngoài sáng bóng. Nhưng con đường mà Boundless đã chọn là xây dựng đường xá, 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ự bền vững trong dài hạn.
“Sự phi tập trung thực sự, từ đầu đã có nghĩa là khả năng chống kiểm duyệt, có nghĩa là xây dựng một cơ chế thị trường thực sự, giảm thiểu chi phí chứng minh, đồng thời đảm bảo một máy ảo (VM) thực sự an toàn.” Giám đốc điều hành Boundless Jeremy Bruestle thẳng thắn cho biết, nhiều giải pháp tính toán ZK có vẻ không có khuyết điểm trong giai đoạn đầu của thị trường, nhưng thử thách thực sự chỉ đến khi áp dụng quy mô lớn.
Hãy tưởng tượng, một giao thức DeFi phải xử lý hàng ngàn giao dịch phức tạp mỗi ngày, đột nhiên phát hiện chi phí tính toán ZK vượt quá ngân sách, hoặc độ phi tập trung của hệ thống không thể chống lại áp lực quản lý, những giải pháp như vậy dù công nghệ có tiên tiến đến đâu, cũng sẽ không bao giờ trở thành nền tảng của ngành. Boundless giải quyết vấn đề bằng cách sử dụng cơ chế chứng minh công việc có thể xác minh (Verifiable Proof of Work), đảm bảo việc sử dụng tài nguyên tính toán minh bạch và công bằng.
Cơ chế đổi mới này đảm bảo rằng phần thưởng mà các người chứng minh (Provers) 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, hiệu quả ngăn chặn các cuộc tấn công làm giả lượng, đồng thời trợ cấp chi phí chứng minh, giúp giảm chi phí hoạt động của toàn bộ hệ thống đến một mức hợp lý. Nói cách khác, Boundless không phải đang thổi phồng "tương lai của tính toán ZK", mà đang thực sự làm cho tính toán ZK trở nên khả dụng, có thể mở rộng và hợp lý.
Từ "thuê tính toán" đến "giải pháp hoàn chỉnh": Trải nghiệm tính toán ZK một điểm dừng
Nhiều dự án xem thị trường tính toán ZK như một "sàn giao dịch tính toán", các nhà phát triển giống như thuê máy chủ trên nền tảng dịch vụ đám mây, mua khả năng tính toán để tạo ra chứng nhận. Nhưng cách suy nghĩ của Boundless hoàn toàn khác biệt — họ không chỉ cung cấp sức mạnh tính toán, mà còn cung cấp trải nghiệm tính toán ZK từ đầu đến cuối.
"Chúng tôi không chỉ đơn thuần bán tài nguyên tính toán cho người dùng, mà còn cung cấp một giải pháp tính toán zk hoàn chỉnh, cho phép các nhà phát triển tích hợp zk vào ứng dụng của họ một cách liền mạch." Giám đốc thông tin của Boundless, Shiv Shankar 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 tính toán ZK" của các nhà phát triển. Từ việc tạo ra chứng minh đến xác thực cuối cùng trên chuỗi, Boundless giúp toàn bộ quy trình trở nên mượt mà và không bị cản trở. Sự tối ưu hóa trải nghiệm này mới thực sự là yếu tố then chốt giúp tính toán ZK từ phòng thí nghiệm bước ra ứng dụng quy mô lớn.
Đối với các nhà phát triển, thiết kế end-to-end này có nghĩa là ngưỡng kỹ thuật thấp hơn, tốc độ tích hợp nhanh hơn và môi trường hoạt động ổn định hơn. Boundless biến ZK tính toán không chỉ là một khái niệm công nghệ sâu sắc, mà còn là một công cụ năng suất có thể được triển khai ngay.
Sự phù hợp giữa sản phẩm và thị trường (Product-Market Fit): Khi chi phí sản xuất gần như bằng không, cạnh tranh thực sự mới vừa bắt đầu.
“Đến năm 2026, gần như sẽ không còn ai nói về vấn đề hiệu suất của tính toán ZK.” Shiv Shankar đã nói với tôi.
Những đột phá trong công nghệ máy tính cuối cùng không tránh được một vấn đề cuối cùng: chi phí. Cho dù đó là điện toán đám mây, kết xuất GPU hay đào tạo AI, điểm nóng thực sự cho ngành chưa bao giờ là một bước đột phá về giới hạn hiệu suất, mà là giảm chi phí tính toán.
Phán đoán của Shiv nghe có vẻ không thể tin được, nhưng nếu chúng ta nhìn lại con đường phát triển của điện toán đám mây, sẽ thấy xu hướng này rõ ràng đến mức nào. Ngày nay, gần như không có kỹ sư nào quan tâm đến chi phí tính toán cụ thể của AWS EC 2, vì giá đã giảm đến mức có thể bỏ qua, những người phát triển chỉ quan tâm đến cách tối ưu hóa việc sử dụng những tài nguyên này.
Đội ngũ Boundless tin rằng, tính toán ZK sắp bước vào 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 bận tâm đến "tốc độ của tính toán ZK" nữa, mà sẽ bắt đầu suy nghĩ về cách tận dụng nó để xây dựng 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 trường hợp ứng dụng của ZK sẽ thực sự bùng nổ, và Boundless đang đứng ở tuyến đầu của cuộc cách mạng này.
Hiện tại, các yêu cầu chính đối với tính toán ZK đến từ Bản tổng hợp, Lớp 2 và các trường hợp sử dụng trong đó Hàm chuyển đổi trạng thái cần được xác minh. Ví dụ, EigenLayer có kế hoạch sử dụng công nghệ Boundless trong Cơ chế Slashing, vì phải mất 1 tỷ gas để thực hiện các tính toán này trên Ethereum, nhưng khả năng của ZK Compute để hoàn thành các tính toán ngoài chuỗi và gửi bằng chứng hiệu quả làm cho nó trở thành một lựa chọn khả thi.
Nhưng giờ đây, điện toán ZK sẽ không chỉ tối ưu hóa các ứng dụng Web3 hiện có mà còn cho phép một bộ ứng dụng blockchain hoàn toàn 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, họ chỉ có thể chạy các tính toán gần đúng trên chuỗi do số lượng tính toán, nhưng Boundless cho phép họ chạy toàn bộ mô hình và gửi bằng chứng ZK cho các giao dịch DeFi chính xác hơn. **
"Nếu bạn bắt đầu xây dựng ứng dụng DeFi hôm nay mà không sử dụng công nghệ ZK trong hệ thống, thì bạn sẽ nhanh chóng bị loại khỏi ngành." Câu nói của Shiv nghe có vẻ cực đoan, nhưng thực tế chính là như vậy: đến năm 2026, việc sử dụng tính toán ZK sẽ trở thành tùy chọn mặc định, chứ không phải đặc quyền của công nghệ cao cấp. Khi các nhà phát triển không còn phải lo lắng về ngân sách Gas, 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 bị giới hạn trong giới Web3, mà sẽ 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 thi cao hơn. Mặt khác, vô biên đang mở đường cho ngày đó đến.
Ra mắt trên mạng chính: Kế hoạch "Đưa Boundless lên mặt trăng"
“Chúng tôi đang chạy hết tốc lực để triển khai mạng chính (Mainnet), lý tưởng nhất là sẽ ra mắt mạng chính vào đầu quý 2 đến quý 3 năm nay.” Shiv Shankar đã nói với tôi. Nhiệm vụ hàng đầu hiện tại của Boundless, không còn nghi ngờ gì nữa, chính là triển khai mạng chính. Trong vài tháng qua, đội ngũ đã thực hiện nhiều đợt thử nghiệm trên mạng thử nghiệm để xác minh tính ổn định của giao thức, hiệu suất tính toán và mô hình kinh tế. Hiện nay, mọi thứ đang bước vào giai đoạn nước rút cuối cùng.
Trước khi mạng chính cuối cùng được ra mắt, cột mốc tiếp theo của Boundless là “Mainnet Beta”, một giai đoạn thử nghiệm dành cho các nhà phát triển.
Trong môi trường thử nghiệm hiện tại, chứng minh ZK mặc dù có thể chạy nhưng chưa hoàn toàn bước vào hệ thống kinh tế thực sự. Mục tiêu của Mainnet Beta là để các nhà phát triển bắt đầu tạo ra chứng minh ZK trong môi trường vốn thực tế, thử nghiệm hiệu suất của hệ thống trong các điều kiện thị trường thực.
"Sau Mainnet Beta, chúng tôi sẽ tập trung vào kiểm tra rộng rãi cơ chế khuyến khích (Incentive Mechanism)." Joe Restivo tiết lộ.
Đây sẽ là giai đoạn quan trọng để mô hình kinh tế Boundless được triển khai, đội ngũ sẽ thử nghiệm và tối ưu hóa Verifiable Work (cơ chế làm việc có thể xác minh) trong quá trình này, đảm bảo rằng việc phân bổ tài nguyên tính toán 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 một hệ sinh thái ZK do cộng đồng thúc đẩy
Cùng với việc thúc đẩy đồng bộ với mạng chính, còn có kế hoạch về quản trị phi tập trung (DG, Quản trị phi tập trung).
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 gian ra mắt của quản trị phi tập trung, phụ thuộc nhiều hơn vào pháp lý và đội ngũ vận hành, chứ không phải phạm vi kiểm soát của đội ngũ kỹ thuật." Điều này có nghĩa là, mặc dù Boundless đã cung cấp hỗ trợ công nghệ cho thị trường tính toán 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ự hiện thực hóa hoạt động phi tập trung.
Kế hoạch cuối cùng của Boundless: Đưa tính toán blockchain vượt qua giới hạn
Phó Tổng Giám đốc 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à, tất cả các phép tính thực hiện cuối cùng sẽ chuyển sang chứng minh không biết (ZK), lý do đằng sau điều này rất đơn giản: trong kiến trúc blockchain hiện tại, tất cả các phép tính phải đạt được đồng thuận giữa tất cả các nút, điều này làm cho thông lượng của toàn bộ mạng bị giới hạn bởi vật lý. Ví dụ, giới hạn Gas mỗi khối của Ethereum chỉ là 36 triệu, giới hạn này có nghĩa là hợp đồng thông minh không thể thực hiện các phép tính phức tạp như suy luận AI, nếu không toàn bộ mạng sẽ bị tê liệt.
Nếu nói rằng tính toán blockchain ngày nay giống như lập trình đồng bộ (Synchronous Programming), thì tính toán ZK do Boundless cung cấp giống như lập trình bất đồng bộ (Asynchronous Computing) - các nhà phát triển có thể thực hiện tính toán song song ngoài chuỗi (Off-chain), sau đó chứng minh tính chính xác của nó thông qua ZK, cuối cùng chỉ cần nộp bằng chứng nhỏ lên tầng thanh toán, mà không cần thực hiện toàn bộ quá trình tính toán trên chuỗi.
Khi Ethereum L2 nở rộ ở khắp mọi nơi, nút cổ chai thực sự đã chuyển từ lớp mạng sang lớp tính toán - bất cứ ai có thể lái những chiếc "xe tải hạng nặng" như đào tạo AI và kết xuất 3D trên đường cao tốc blockchain sẽ có hộ chiếu đến kỷ nguyên tiếp theo. Đó là lý do tại sao chúng tôi đặt tên cho giao thức là Boundless – để loại bỏ ranh giới tính toán và làm cho blockchain thực sự vô hạn trong sức mạnh tính toán, Brett nói. Trong tương lai, blockchain sẽ không còn chỉ là công cụ cho các giao dịch và thực hiện hợp đồng thông minh, 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 trên 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à cho phép điện toán blockchain về cơ bản thoát khỏi những hạn chế về hiệu suất hiện tại và đạt được sự tự do tính toán thực sự.
Kết luận: Đằng sau một chiếc áo sơ mi là triết lý đổi mới phi tiêu chuẩn.
Cuối buổi phỏng vấn, Giám đốc điều hành Joe Restivo lầm bầm với tôi, giọng điệu đầy oán trách: “Bạn biết không, chúng tôi còn một thách thức rất lớn trong công việc: Jeremy có một chiếc áo sơ mi 'đặc biệt', in hình sóng thần Nhật Bản, và bất cứ khi nào lên sân khấu, anh ấy cũng mặc nó, thay vì đồ chính thức của công ty chúng tôi. Mỗi lần anh ấy mặc chiếc áo sơ mi sóng thần đó lên sân khấu, tôi đều muốn chạy tới để khoác lên người anh ấy chiếc áo POLO chính thức của Boundless.”
! Phỏng vấn Odaily với Boundless: Nhóm mọt sách công nghệ này nâng ZK lên văn hóa và triết học
Áo sơ mi may mắn của Jeremy: Sóng theo phong cách Ukiyo-e
Tôi đã đặc biệt mang câu hỏi này qua hỏi Jeremy. Đối mặt với sự nghi ngờ, anh ấy đã thẳng thắn thừa nhận: “Tôi确实 thường xuyên mặc chiếc áo sơ mi có họa tiết sóng thần đó. Đặc biệt là khi gặp gỡ nhà đầu tư hoặc khi diễn thuyết, tôi hầu như luôn mặc.” Sự đối kháng tinh tế giữa thẩm mỹ cá nhân và thương hiệu công ty này đã trở thành một ghi chú thú vị về văn hóa đội nhóm: Tại Boundless, đội ngũ đang tạo ra giá trị theo cách mà họ thích. Hoặc, để diễn đạt theo một phong cách giống như tranh khắc, trong làn sóng công nghệ, quan trọng hơn cả việc theo dòng chảy là tìm ra được ngọn sóng thuộc về chính mình.
“Trên thế giới có rất nhiều người, nếu mọi người đều làm những điều giống nhau, thì khả năng của thế giới sẽ bị hạn chế.” Anh ấy đã nói với tôi, “Nó tượng trưng cho một ý tưởng... Tôi luôn tin rằng, mỗi người trong chúng ta có thể tự do chọn những gì mình muốn tạo ra. Và điều có ý nghĩa nhất là tạo ra những thứ có thể đại diện cho “chính chúng ta”. Dù cuối cùng nó có thành công hay không, chúng ta sẽ luôn kiên trì trong việc sáng tạo.”