Mở rộng thị trường & Tiến hóa kỹ thuật

Khu vực bộ xử lý phụ đã trải qua sự phát triển đáng kể kể từ năm 2024, với một số sự phát triển then chốt đã làm thay đổi cảnh quan:

• Sự áp dụng ZK Coprocessor: Sự tích hợp doanh nghiệp của các bộ xử lý ZK đã tăng 215% kể từ cuối năm 2024, với các tổ chức tài chính dẫn đầu trong việc triển khai để xác minh giao dịch lịch sử
• Chức năng Cross-chain: Các nền tảng lớn đã mở rộng chức năng không chỉ dừng lại ở Ethereum, với 73% hiện đã hỗ trợ xác minh dữ liệu đa chuỗi
• Các API chuẩn hóa: Liên minh Tiêu chuẩn Bộ xử lý phụ thành lập vào Q1 năm 2025 đã thiết lập các giao diện thống nhất, giảm độ phức tạp của việc tích hợp cho các nhà phát triển khoảng 60%

Bước Đột Phá Kỹ Thuật

Các tiến bộ đáng kể đã xuất hiện trong các công nghệ cốt lõi đang làm nền tảng cho các bộ xử lý phụ trợ:

Phát triển Dự án & Cảnh quan Cạnh tranh

Axiom

Axiom đã duy trì vị thế hàng đầu trên thị trường bằng cách giới thiệu AxiomOS, một hệ điều hành cho sẵn có dữ liệu tích hợp với các giải pháp L2 hàng đầu. Bộ công cụ xử lý cấp doanh nghiệp của họ hiện đã hỗ trợ dữ liệu trực tiếp với chứng minh tính hợp lệ ZK.

Brevis

Sau khi tích hợp thành công với EigenLayer, Brevis đã triển khaiBrevis Nexus, kết nối chức năng bộ xử lý phụ qua 9 mạng blockchain lớn. Mô hình xử lý song song của họ hiện có thể xử lý 5,000+ yêu cầu xác minh đồng thời.

Herodotus

Herodotus đã tận dụng tích hợp Starknet của mình để tạo ra Cầu nối thời gian, cho phép các hợp đồng thông minh truy cập vào dữ liệu lịch sử đa chuỗi với 97% phí thấp hơn so với các phương pháp truyền thống. Chương trình đối tác của họ hiện đã bao gồm 40+ giao protocal DeFi lớn.

Người chơi mới nổi

Người mới gia nhập đã tập trung vào ứng dụng theo chiều sâu chuyên nghiệp:

• Hệ thống Dữ liệu Lượng tử: Tối ưu hóa cho việc xác minh dữ liệu giao dịch tần suất cao
• ChronosLabsChuyên về tuân thủ quy định và theo dõi lịch sử kiểm toán
• ZKHistoryĐang nhắm mục tiêu vào việc phân tích dữ liệu lịch sử cấp instituion với tính năng bảo mật tích hợp

Tích hợp với Cơ sở hạ tầng Web3

Các bộ xử lý phụ ngày càng trở thành một lớp hạ tầng cơ bản của Web3:

• Việc tích hợp với các hệ thống trừu tượng tài khoản cho phép xác thực tiên tiến dựa trên hành vi người dùng lịch sử
• Các giao thức DeFi sử dụng bộ xử lý phụ để đánh giá rủi ro động dựa trên hoạt động trên chuỗi lịch sử
• Hệ thống quản trị thực thi cơ chế bỏ phiếu có trách nhiệm thông qua xác minh sự tham gia lịch sử

Tóm tắt

Cảnh quan về bộ xử lý phụ đã trưởng thành đáng kể qua năm 2025, biến từ công nghệ thử nghiệm thành cơ sở hạ tầng Web3 cần thiết. Cải tiến kỹ thuật đã giảm chi phí đáng kể trong khi mở rộng khả năng, khiến việc truy cập dữ liệu lịch sử trở nên thực tế đối với các ứng dụng phổ biến. Khi những nỗ lực chuẩn hóa tiếp tục và tính năng chéo chuỗi mở rộng, bộ xử lý phụ đang thiết lập mình là liên kết quan trọng giữa trạng thái hiện tại của blockchain và bản ghi lịch sử của nó, cho phép một thế hệ mới của các ứng dụng phi tập trung thông minh, nhận biết ngữ cảnh.

Phân tích Đường Dẫn Bộ xử lý Phụ 2024

Bài viết này cung cấp một bài đánh giá toàn diện về sự phát triển và nguồn gốc của bộ xử lý phụ, phân tích các ngăn xếp kỹ thuật và lợi thế cạnh tranh của các đối thủ khác nhau trong hành trình hiện tại, và giải thích cách hoạt động của bộ xử lý phụ bằng việc sử dụng Axiom làm ví dụ.

Coprocessor là gì?

Mo Dong, người đồng sáng lập Celer Network và Brevis, tin rằng, một cách đơn giản, bộ xử lý phụ là một công cụ mà "cho phép hợp đồng thông minh có khả năng của Dune Analytics."

Đơn giản, trong thực tế, các hợp đồng thông minh chung hiện tại không thể truy cập dữ liệu lịch sử. Ví dụ, khi làm việc trên Giao thức Quản lý Thanh khoản, tôi cần dữ liệu giá lịch sử để tính toán tần suất và chi phí mà người cung cấp thanh khoản vượt quá phạm vi giá trong AMM. Chúng tôi phải phụ thuộc vào dịch vụ chỉ số được lưu trữ trên chuỗi như GraphQL API của The Graph, vì nhiệm vụ tổng hợp, tìm kiếm và lọc không thể thực hiện thông qua việc tương tác với hợp đồng một mình. Thực sự, thậm chí việc chỉ mục hóa dữ liệu giao dịch chuỗi khối tiêu chuẩn cũng đầy thách thức, chưa kể đến việc đọc dữ liệu phức tạp hơn so với thông tin cơ bản.

Về giao thức quản lý thanh khoản, việc đánh giá hiệu suất lịch sử của các bể thử nghiệm hiện có hoặc bể người dùng vẫn đòi hỏi sử dụng API của dịch vụ chỉ mục được lưu trữ trên chuỗi. Sau đó, dữ liệu này được tính toán thủ công trong Excel. Liệu có một dịch vụ có khả năng đơn giản hóa quá trình này, cung cấp hợp đồng thông minh dapp khả năng tổng hợp, lọc và phân tích dữ liệu này trực tiếp? Các bộ xử lý phụ được thiết kế để giải quyết vấn đề.

Tại sao nó được gọi là một bộ xử lý phụ?

Trong các hệ thống máy tính sớm, bộ xử lý CPU thường chỉ có thể thực hiện các thao tác cơ bản. Nó cần được kết hợp với một "bộ xử lý phụ trợ" dành riêng để thực hiện các loại nhiệm vụ tính toán cụ thể, như thực hiện các phép tính dấu chấm động, nhằm cải thiện hiệu suất.

Hiện tại, chúng ta có thể nghĩ về Ethereum như một siêu máy tính khổng lồ. Các hợp đồng thông minh trên toàn thế giới chỉ có thể truy cập dữ liệu trên chuỗi từ khối hiện tại, không phải dữ liệu lịch sử bao gồm hồ sơ giao dịch và thay đổi số dư tài khoản. Điều này bởi vì thiết kế của Ethereum không cung cấp cách thức để các hợp đồng thông minh truy cập vào dữ liệu lịch sử này.

Truy cập dữ liệu lịch sử để đảm bảo tính đáng tin cậy của nó đòi hỏi một phương pháp mật mã kết nối hồ sơ lịch sử với khối hiện tại. Tuy nhiên, tính toán và xác minh chứng minh này trong một hợp đồng thông minh trực tiếp có thể tốn thời gian và chi phí. Một cách khác, truy vấn thông qua các nút lưu trữ có thể được thực hiện, nhưng hợp đồng thông minh không thể tương tác trực tiếp với chúng, và có vấn đề về sự tin cậy. Vậy, làm thế nào chúng ta có thể giải quyết vấn đề tin cậy này và cho phép tính toán có thể xác minh được? Nói cách khác, làm thế nào chúng ta có thể cho phép một bên thứ ba xác minh trực tiếp kết quả của tính toán cho độ chính xác, mà không cần phải thực hiện lại tính toán chính nó? Giải pháp có thể nằm trong các bộ xử lý phụ, tương tự như các hệ thống máy tính sớm. Chúng có thể mở rộng sức mạnh tính toán của hợp đồng thông minh trên Ethereum, cho họ khả năng mới để truy cập dữ liệu lịch sử và thực hiện các phép tính phức tạp.

Làm thế nào một bộ xử lý phụ thường hoạt động?

Nói chung, quy trình chính của một bộ xử lý phụ xác minh dữ liệu Ethereum như sau:

1. Truy vấn dữ liệu lịch sử và thực hiện các phép tính liên quan trong môi trường ngoài chuỗi thông qua một dịch vụ;
2. Dịch vụ sẽ tạo ra một loại bằng chứng nào đó để chứng minh rằng hoạt động của nó đáng tin cậy;
3. Ứng dụng của nhà phát triển sẽ tương tác với hợp đồng bộ xử lý được triển khai trên Ethereum để xác minh bằng chứng;
4. Sau khi tương tác với hợp đồng bộ xử lý và xác minh kết quả, ứng dụng có thể truy cập trực tiếp vào dữ liệu lịch sử mà nó cần mà không cần tin cậy.

Dự án trong không gian Xử lý phụ hoặc Tính toán có thể xác minh rộng

Phần này chủ yếu phân tích các ngăn xếp kỹ thuật chính và lợi thế cạnh tranh của các nhà chơi hàng đầu trong lĩnh vực bộ xử lý phụ trợ.

Axiom

Một người tiên phong trong không gian bộ xử lý phụ, Axiom đang xây dựng cơ sở hạ tầng dữ liệu trên chuỗi để đơn giản hóa tương tác hợp đồng thông minh với dữ liệu trên chuỗi. Axiom cũng được ghi nhận đã giới thiệu khái niệm bộ xử lý phụ. Chúng tôi sẽ đi sâu hơn vào cách bộ xử lý phụ của họ hoạt động sau trong bài viết này, sử dụng Axiom làm ví dụ.

Lagrange

Lagrange tập trung vào chứng minh trạng thái qua các chuỗi và kỹ thuật xử lý song song. Chứng minh của họ có thể đạt được xác minh qua các chuỗi mà không phụ thuộc vào giao thức tin nhắn qua các chuỗi như zkBridge hoặc IBC. Bằng chứng song song của Lagrange rất phù hợp cho các sản phẩm liên quan đến việc tái đặt cược, củng cố vị trí của họ trong hệ sinh thái RaaS (Rollup as a Service).

Khác với bằng chứng tuần tự, bằng chứng song song có thể phân phối công việc của mình trên hàng nghìn luồng đồng thời. Ngoài ra, việc đặt cược lại trên EigenLayer có thể bảo vệ họ. Nói cách khác, phương pháp tính toán song song và chứng minh song song này cho phép tăng tính mở rộng theo chiều ngang tốt hơn.

Một trường hợp sử dụng thực tế là ứng dụng của Lagrange trên AltLayer. AltLayer cung cấp dịch vụ xác thực hoạt động cho Restaked Rollup, giúp các nhà phát triển triển khai chuỗi phân cấp phi tập trung và xác minh tính chính xác của trạng thái Rollup một cách hiệu quả. Vào tháng 3 năm 2024, Lagrange hợp tác với AltLayer để sử dụng bằng chứng song song cho việc xử lý cùng Rollup. Điều này đảm bảo dữ liệu trên chuỗi và kết quả tính toán không thể chối cãi cho khách hàng RaaS của AltLayer.

Herodotus

Chặt chẽ liên kết với hệ sinh thái Starkware/Starknet, Herodotus hợp tác với các dự án như Snapshot. Họ gọi hệ thống cộ xử lý của họ là “Storage Proof,” có thể kết hợp với ZK proofs để cho phép truy cập dữ liệu qua các lớp khác nhau trên Ethereum.

Nguồn: Trang web Herodotus

Hệ thống chứng minh lưu trữ bao gồm ba thành phần:

1. Chứng minh Inclusion: Xác nhận dữ liệu thực sự tồn tại trong cấu trúc dữ liệu của Ethereum.
2. Chứng minh của tính toán: Xác minh tính hợp lệ của các luồng công việc đa bước, đặc biệt là những công việc liên quan đến chuyển đổi dữ liệu hoặc các hoạt động khác.
3. ZK Chứng minh: Cho phép hợp đồng thông minh xác nhận tính hợp lệ của các bằng chứng mà không cần xử lý tất cả dữ liệu cơ bản.

Bất kỳ dữ liệu trên chuỗi trên một nút lưu trữ dữ liệu lịch sử Ethereum đều có thể được chứng minh bằng hệ thống bằng chứng lưu trữ.

Giống như các bộ xử lý khác, hệ thống chứng minh lưu trữ được tạo ra ngoại chuỗi và được xác minh trên chuỗi, giảm thiểu việc tiêu tốn tài nguyên trên chuỗi. Nó cũng giảm thiểu dữ liệu được chuyển giữa các lớp Ethereum chỉ bằng cách gửi mã khối hoặc gốc bộ nhớ đệm để xác minh.

Brevis

Được phát triển bởi Mạng lưới Celer, Brevis là cơ sở hạ tầng dành cho việc xây dựng các dịch vụ dữ liệu trên chuỗi khác nhau, bao gồm các bộ xử lý ZK. Mạng lưới Celer, một giao thức tương tác được thành lập bởi Mo Dong và Qingkai Liang, đã huy động được 4 triệu đô la trong một IEO (Chào bán Ban đầu qua Sàn giao dịch) vào năm 2019.

Celer Network đã triển khai một hợp đồng Brevis trên chuỗi. Hợp đồng này xác minh các bằng chứng từ các yêu cầu coprocessor và truyền lại kết quả cho hợp đồng của ứng dụng dapp thông qua một hàm callback. Các nhà phát triển có thể tận dụng SDK Brevis để cho phép các ứng dụng dapp truy cập dữ liệu lịch sử trên chuỗi một cách dễ dàng. SDK ẩn đi các mạch phức tạp, loại bỏ nhu cầu cho các nhà phát triển phải có kiến thức trước về ZK proofs. SDK Brevis được xây dựng trên framework gnark được phát triển bởi nhóm Consensys Linea. Ngoài ra, Brevis hỗ trợ ZK light client của Ethereum, cho phép nó làm việc với dữ liệu trên chuỗi từ bất kỳ chuỗi blockchain tương thích EVM nào của Ethereum.

Nguồn: Tài liệu Brevis

Celer Network hiện đang phát triển coChain, một blockchain tập trung vào hệ sinh thái RaaS, sử dụng Brevis làm nền tảng. coChain là một blockchain dựa trên thuật toán đồng thuận Proof-of-Stake (PoS) và có thể cung cấp dịch vụ Ethereum staking và slashing.

Slashing đề cập đến quá trình trừng phạt các nhà xác minh vi phạm các quy tắc trong hệ sinh thái Ethereum PoS, bao gồm tiền phạt và thay đổi trạng thái. Lịch sử cho thấy tỷ lệ trừng phạt trong hệ sinh thái đặt cược Ethereum rất thấp, với dữ liệu cho thấy chỉ khoảng 0,04% nhà xác minh đã bị trừng phạt.

Tính năng độc đáo của coChain là kết nối việc tạo ra kết quả bộ xử lý phụ với phần thưởng và phạt của Ethereum staking. Đây là quy trình:

1. Hợp đồng thông minh gửi yêu cầu bộ xử lý song song, và cơ chế đồng thuận PoS tạo ra kết quả bộ xử lý song song;
2. Kết quả được tạo ra bởi PoS được gửi đến blockchain dưới dạng một “đề xuất” có thể bị “thách thức” bằng chứng zero-knowledge (ZK);
3. Nếu thách thức chứng minh ZK thành công, cho thấy sự cố của người xác thực trong quá trình đặt cược, số tiền đặt cược tương ứng của người xác thực sẽ bị cắt trực tiếp trên Ethereum. Ngược lại, nếu kết quả được tạo ra bởi PoS không bị thách thức, ứng dụng có thể trực tiếp sử dụng kết quả của bộ xử lý phụ mà không gây ra chi phí cho các chứng minh ZK. Cách tiếp cận “lạc quan” này đối với thách thức chứng minh, tương tự như Optimism, giữ cho chi phí thấp hơn.

Nhìn chung, phương pháp của coChain kết hợp các động cơ đáng tin cậy/được xác minh của các bộ xử lý phụ với hệ sinh thái đặt cược Ethereum. Trong tương lai, nó sẽ tích hợp với EigenLayer để giảm chi phí chứng minh của các bộ xử lý phụ ZK.

Nexus

Nexus zkVM cho phép xác minh bất kỳ kết quả tính toán trên chuỗi nào. Điểm đặc biệt của nó là khả năng xác minh ZK proofs dựa trên kỹ thuật gập. Được thành lập vào năm 2022, Nexus là một người chơi khác trong lĩnh vực zkVM. Mặc dù chi tiết vẫn chưa được tiết lộ rộng rãi, nhưng người sáng lập, Daniel Marin (cựu sinh viên Stanford với kinh nghiệm trước đó tại Google), đã xuất bản các bài báo nghiên cứu sớm thông qua Câu lạc bộ Blockchain Stanford.

Công nghệ gấp ZK được xem là một nhánh triển vọng trong các giải pháp zkVM. Nexus zkVM hỗ trợ xác minh cả chứng minh gấp và các kế hoạch tích luỹ. Nó nhằm mục tiêu trở thành một zkVM có thể mở rộng, có cấu trúc mô-đun và mã nguồn mở. Bộ kỹ thuật của họ bao gồm các cơ chế tổng hợp chứng minh song song quy mô lớn dựa trên Tính toán xác minh tăng dần (IVC) và các kế hoạch gấp khác như Nova, CycleFold, SuperNova và HyperNova. Họ cũng đang phát triển Mạng lưới Nexus, một mạng đào chứng minh song song quy mô lớn dựa trên Nexus zkVM.

Nguồn: Tài liệu Nexus, Kiến trúc Nexus zkVM

Bảng so sánh các phương pháp kỹ thuật và lợi thế cạnh tranh trong theo dõi bộ xử lý

Như bạn có thể thấy, các dự án khác nhau đã chọn các ngăn xếp công nghệ khác nhau dựa trên các hệ sinh thái khác nhau (Ethereum EVM, RaaS, cross-chain, Ethereum cross-layer), các phương pháp chứng minh khác nhau (Rollup so với ZK), hoặc các giải pháp khác trong các chứng minh ZK (zk-SNARK, folding proofs, accumulation schemes, vv.). Mỗi loại có điểm mạnh và điểm yếu của riêng mình liên quan đến lợi thế cạnh tranh và cuối cùng trình bày các hình thức sản phẩm khác nhau: hợp đồng tương tác trên chuỗi, SDK và mạng được thiết kế cho các mục đích khác nhau, như mạng xác minh staking và mạng xác minh quy mô lớn.

Nguồn: Bởi Tác giả

Hoạt động cụ thể của các bộ xử lý phụ: Trường hợp của Axiom

Tại sao chọn Axiom?

Axiom là một bộ xử lý ZK proof được xây dựng cho Ethereum. Nó cho phép hợp đồng thông minh truy cập dữ liệu lịch sử trên chuỗi và đảm bảo tính không tin cậy của tính toán ngoài chuỗi thông qua công nghệ ZK proof. Axiom được thành lập bởi Jonathan Wang và Yi Sun vào năm 2022. Vào ngày 25 tháng 1 năm 2024, Axiom thông báo trên Twitter rằng họ đã gọi vốn \$20 triệu trong vòng đầu tư Series A do Paradigm và Standard Crypto đứng đầu. Đây là dự án đầu tiên đề xuất khái niệm “coprocessor” và cũng là một trong những dự án được hậu thuẫn vốn rủi ro hàng đầu trong lĩnh vực.

Nguồn: Tài khoản Chính thức Axiom X

Lịch sử của Axiom

Năm 2017, Yi Sun nhận bằng tiến sĩ toán học từ MIT và cũng làm việc cho một công ty giao dịch tần suất cao trong một khoảng thời gian. Anh bắt đầu đào sâu vào lĩnh vực tiền điện tử và nhận ra rằng chứng minh ZK là chìa khóa cho tính khả dụng của blockchain. Tuy nhiên, vào thời điểm đó, anh tin rằng công nghệ ZK vẫn đang ở giai đoạn đầu, vì vậy anh chọn tiếp tục quan sát không gian này. Cho đến cuối năm 2021, công nghệ ZK bắt đầu phát triển, với cơ sở hạ tầng và công cụ phát triển dần trở nên chín chắn hơn. Ngoài ra, Yi Sun gặp vấn đề khi truy cập dữ liệu lịch sử trong các hợp đồng thông minh anh viết khi xây dựng giao thức DeFi. Tất cả những yếu tố này dẫn đến việc Axiom ra đời.

Axiom sử dụng Công nghệ Chứng minh ZK nào?

Axiom hiện đang sử dụng hệ thống chứng minh SNARK dựa trên Halo2 và KZG backends và các công cụ chứng minh ZK như bảng tra cứu (LUTs). Trong quá khứ, chứng minh ZK rất phức tạp và khó kiểm định. Bảng tra cứu là một tập hợp các giá trị đã được tính trước cho phép người chứng minh chứng minh một cách hiệu quả hơn cho người xác minh rằng giá trị đó tồn tại.

Cách Axiom V2 Hoạt Động

Vào tháng 1 năm 2024, Axiom V2 đã được triển khai trên mạng lưới chính Ethereum, hỗ trợ truy cập vào giao dịch, biên nhận, lưu trữ hợp đồng, tiêu đề khối và dữ liệu khác từ các hợp đồng thông minh. Điều này có nghĩa là nó hiện đã hỗ trợ truy cập vào tất cả dữ liệu lịch sử trên mạng lưới chính Ethereum.

Sử dụng các công cụ SDK được phát triển bởi Axiom, các nhà phát triển có thể viết mạch Axiom bằng Typescript để đưa ra yêu cầu dữ liệu và tùy chỉnh các tính toán. Axiom đang dẫn đầu vì nó làm cho việc hợp đồng thông minh truy cập dữ liệu on-chain trở nên rất dễ dàng:

1. Các nhà phát triển sử dụng Axiom Typescript SDK để viết mạch Axiom và gửi yêu cầu tính toán xác minh ZK cho dữ liệu lịch sử Ethereum;
2. Axiom thực hiện tính toán được yêu cầu và tạo ra một bằng chứng ZK, chứng minh tính chính xác của dữ liệu và kết quả tính toán;
3. Các nhà phát triển triển khai một hàm gọi lại trong hợp đồng thông minh để xác minh và thực thi dữ liệu được gửi từ Axiom với kết quả chứng minh ZK;
4. Axiom queries by sending a transaction on-chain, and the returned result is encrypted by ZK proof to ensure its credibility.

Tuy nhiên, khác với Herodotus, Axiom hiện tại không hỗ trợ truy vấn dữ liệu lịch sử từ các mạng Ethereum EVM khác hoặc mạng L2 và chỉ tập trung vào Ethereum mainnet. Không loại trừ việc hỗ trợ cho các tính năng liên quan trong tương lai.

Ứng dụng của Axiom V2

Ở tầng ứng dụng, Axiom có thể hỗ trợ cho các dapps trong việc triển khai các chức năng sau:

• Cung cấp phần thưởng và chương trình trung thành dựa trên hồ sơ hoạt động trên chuỗi của người dùng
• Thực hiện trách nhiệm dựa trên hành vi trên chuỗi của người dùng
• Thiết lập các oracles có thể được tùy chỉnh theo nhu cầu về danh tính, quản trị và thanh toán

Kết luận

Hiện tại, Axiom, nhà lãnh đạo hiện tại trong lĩnh vực cộng tác, có một mối quan hệ bổ sung với các dự án nút nhẹ như Succinct. Succinct cố gắng chứng minh chính bản thân sự đồng thuận của Ethereum, trong khi Axiom chứng minh bất kỳ dữ liệu lịch sử trên chuỗi dựa trên sự đồng thuận, giả định rằng kết quả đồng thuận được chấp nhận.

Lĩnh vực chứng minh ZK đang phát triển nhanh chóng với những phát minh sáng tạo như chứng minh gấp, các kế hoạch tích luỹ và bảng tra cứu lớn. Sự phát triển này đã thu hút sự chú ý đến các dự án như Nexus, hỗ trợ những tiến bộ mới nhất trong công nghệ chứng minh ZK. Trong khi chứng minh ZK đang trở nên phổ biến, các dự án khác như Lagrange cũng đang được chú ý với việc cung cấp chứng minh cho Rollup thông qua các bên chứng minh song song, từ đó điền vào khoảng trống thị trường.

Các tiến bộ công nghệ hiện đang tăng cường hiệu suất của nhiều chứng minh kiến thức, làm giảm kích thước và chi phí xác minh của chúng. Và điều này mở rộng khả năng sử dụng của chúng. Trong bối cảnh này, tính linh hoạt mà modularization cung cấp đang được công nhận, đặc biệt là trong không gian bộ xử lý phụ.