Tác giả: Nickqiao & Wuyue, geek web3

Vào tháng 4 năm nay, Vitalik đã đến thăm Hội nghị thượng đỉnh Blockchain Hồng Kông và có bài phát biểu có tựa đề "Đạt đến giới hạn của thiết kế giao thức", trong đó ông một lần nữa đề cập đến tiềm năng của ZK-SNARK trong lộ trình Danksharding của Ethereum. , và xem xét mong nhận được sự trợ giúp to lớn của chip ASIC trong việc tăng tốc ZK.

Scroll Lianchuang Zhang Ye cũng đã chỉ ra trước đó rằng Không gian ứng dụng của ZK trong các lĩnh vực truyền thống có thể lớn hơn trong Web3, cơ sở dữ liệu, phần cứng có thể xác minh, chống hàng giả nội dung và zkML cũng như các lĩnh vực khác đều có nhu cầu rất lớn về ZK. Nếu ZK chứng minh rằng việc tạo thời gian thực có thể được triển khai, thì cả Web3 và các ngành truyền thống đều được kỳ vọng sẽ mở ra những thay đổi ở cấp độ mô hình. về mặt hiệu quả và Từ góc độ chi phí kinh tế, vẫn còn lâu mới có thể đưa ZK vào áp dụng quy mô lớn.

Trên thực tế, ngay từ năm 2022, các tổ chức đầu tư mạo hiểm hàng đầu a16z và Paradigm đã công khai đưa ra các báo cáo bày tỏ rõ ràng sự nhấn mạnh của họ vào việc tăng tốc phần cứng ZK,Mô hình đó là thậm chí còn khẳng định rằng trong tương lai, thu nhập của những người khai thác ZK có thể tương đương với thu nhập của những người khai thác Bitcoin hoặc Ethereum và các giải pháp tăng tốc phần cứng dựa trên GPU, FPGA và ASIC sẽ có không gian thị trường rất lớn. Kể từ đó, với sự phổ biến của ZK Rollup chính thống như Scroll và Starknet, khả năng tăng tốc phần cứng đã trở thành một khái niệm nóng trên thị trường. Sự phổ biến này càng trở nên mãnh liệt hơn khi các dự án như Cysic sắp ra mắt.

Chúng tôi có lý do để tin rằng dựa trên nhu cầu lớn về ZK, mô hình SaaS do nhóm khai thác ZK và ZKP thời gian thực tạo ra có thể mở ra một chuỗi công nghiệp mới. Ở lục địa mới có tiềm năng lớn này, nó có sự hỗ trợ mạnh mẽ và lợi thế của người đi đầu. Hoàn toàn có khả năng các nhà sản xuất phần cứng ZK sẽ trở thành thế hệ tiếp theo của Bitmain và thống trị mảnh đất màu mỡ để tăng tốc phần cứng.

Trong lĩnh vực tăng tốc phần cứng, Cysic có thể là một trong những đội được theo dõi nhiều nhất. Đội đã giành được các giải thưởng quan trọng từ nền tảng cạnh tranh công nghệ ZKP nổi tiếng ZPrize. và Bắt đầu làm cố vấn cho ZPrize vào năm 2023; nhóm khai thác ToB ZK và phần cứng ToC ZK-Depin có trong lộ trình của nó đã thu hút sự chú ý của các VC hàng đầu như Polychain, ABCDE, OKX Ventures và Hashkey, hoàn thành tổng cộng gần 20 triệu đô la Mỹ tài trợ.

Với việc sắp ra mắt mạng thử nghiệm Cysic vào cuối tháng 7 và sắp khai trương nhóm khai thác ZK, các cuộc thảo luận về Cysic trong các cộng đồng lớn ngày càng trở nên sôi nổi Mục đích của bài viết này là Để nhiều người hiểu hơn về các nguyên tắc sản phẩm và mô hình kinh doanh của Cysic, đồng thời tiến hành phổ biến khoa học đơn giản về các nguyên tắc tăng tốc phần cứng ZK. Sau đây,chúng tôi sẽ tóm tắt ngắn gọn những kiến ​​thức liên quan về Cysic để giúp nhiều người hạ thấp ngưỡng hiểu biết của họ.

Hiểu hệ thống chứng minh ZK từ quy trình làm việc

Hệ thống chứng minh ZK thực sự rất phức tạp, nhưng nếu bạn muốn Có sự hiểu biết đơn giản về cấu trúc chung của nó, cấu trúc này có thể được chia nhỏ từ góc độ chức năng và quy trình làm việc. Đối với một hệ thống ZK hóa điện toán thông thường, quy trình cốt lõi của nó được tóm tắt như sau:

Trước tiên, chúng ta phải tương tác với hệ thống ZK thông qua giao diện người dùng và gửi bằng chứng cho nó Giao diện người dùng sẽ chuyển đổi định dạng của những nội dung này để tạo điều kiện thuận lợi cho hệ thống chứng nhận ZK xử lý. Sau đó, hệ thống sẽ tạo ZK Proof thông qua một hệ thống hoặc khung bằng chứng cụ thể (chẳng hạn như Halo2, Plonk, v.v.). Quá trình này có thể được chia thành các bước sau:

1. Đặt vấn đề:Đầu tiên chúng ta cần xác định điều cần chứng minh. . Ví dụ, người tục ngữ tuyên bố rằng anh ta nắm vững/biết một số dữ liệu nhất định, “Tôi biết nghiệm N của phương trình F(x)=w”, nhưng anh ta không muốn người khác nhìn thấy giá trị của N.

2. Số học và CSP:Sau khi người chứng minh gửi nội dung cần chứng minh, hệ thống sẽ thiết lập một mô hình/chương trình toán học đặc biệt . Thể hiện tương đương nội dung cần chứng minh, sau đó chuyển đổi định dạng để hệ thống chứng minh dễ dàng xử lý. Cụ thể, câu nói “Tôi biết nghiệm N của phương trình F(x)=w” sẽ được chuyển từ phương trình toán học ban đầu sang dạng mạch cổng logic và đa thức.

3. Sau đó, hệ thống sẽ chọn một hệ thống chứng minh phù hợp như Halo, Plonk, v.v. và biên dịch nội dung được tạo ở các bước trước thành chương trình ZKP có thể sử dụng được. Người chứng minh sử dụng chương trình ZKP để tạo bằng chứng và gửi cho người xác minh để xác minh.

Các hệ thống ZK như zkEVM, thường được áp dụng trong lớp thứ hai của Ethereum, về cơ bản biên dịch các hợp đồng thông minh thành mã hoạt động cơ bản của EVM, sau đó định dạng từng mã hoạt động thành các mạch/đa thức cổng logic. Sau đó, hình thức ràng buộc là được chuyển giao cho hệ thống chứng minh ZK phía sau để xử lý tiếp.

Điều đáng nói là giải pháp công nghệ ZKP hiện được sử dụng rộng rãi trong blockchain chủ yếu là zk-SNARK (đối số kiến ​​thức không tương tác ngắn gọn không có kiến ​​thức) vàZK Rollup chủ yếu sử dụng SNARK Đơn giản hơn là không có kiến ​​thức. Tính đơn giản có nghĩa là ZKP chiếm rất ít dung lượng, có thể nén một lượng lớn nội dung thành vài trăm byte và chi phí xác minh rất thấp.

Theo cách này, khối lượng công việc giữa Nhà cung cấp và Người xác minh là không cân xứng. Chi phí tạo ZKP của Người cung cấp là cao, nhưng chi phí xác minh của Người xác minh là rất thấp, miễn là bạn. tận dụng tốt sự bất đối xứng này và sử dụng ZK trong kịch bản "một Nhà cung cấp, nhiều Người xác minh", bạn có thể tập trung tổng chi phí cho phía Nhà cung cấp và giảm đáng kể chi phí của Người xác minh. Mô hình này rất quan trọng đối với việc xác minh phi tập trung. đây là ý tưởng về lớp Ethereum thứ hai.

Tuy nhiên, mô hình chuyển chi phí xác minh này sang phía thế hệ ZK không phải là giải pháp an toàn Đối với phía dự án ZK Rollup, chi phí tạo ZKP cao. cuối cùng sẽ là điều không thể tránh khỏi. Nó sẽ lại được chuyển sang UX và phí xử lý, điều này không có lợi cho sự phát triển lâu dài của ZK Rollup.

Mặc dù ZK có tiềm năng lớn trong các tình huống xác minh phi tập trung và không cần tin cậy, nhưng nó bị hạn chế bởi nút thắt về thời gian tạo, cho dù đó là zkEVM hay zkVM hay ZK Rollup và ZK Bridge hiện không có cơ sở kinh tế để áp dụng trên quy mô lớn.

Đáp lại, các dự án tăng tốc ZK do Cysic, Ingonyama, Irreducible, v.v. đại diện đã ra đời nhằm cố gắng giảm chi phí của ZKP từ các nguồn khác nhau. hướng dẫn tạo ra chi phí. Dưới đây, chúng tôi sẽ giới thiệu ngắn gọn các phương pháp tăng tốc và chi phí chính của thế hệ ZKP từ góc độ kỹ thuật và tại sao Cysic có tiềm năng to lớn trong lộ trình tăng tốc ZK.

Chi phí hoạt động: MSM và NTT

Nhiều người Như bạn biết đấy, thời gian cần thiết để Prover của ZKP tạo ra bằng chứng là rất lớn. Trong giao thức ZK-SNARK, thường xảy ra tình huống Người xác minh chỉ mất một giây để xác minh bằng chứng, nhưng việc tạo bằng chứng có thể mất nửa ngày hoặc thậm chí một ngày. Để sử dụng hiệu quả các phép tính chứng minh ZKP, cần chuyển đổi định dạng tính toán từ các chương trình cổ điển sang thân thiện với ZK.

Hiện tại có hai cách để thực hiện việc này: một là viết mạch bằng cách sử dụng một số khung hệ thống kiểm chứng, chẳng hạn như Halo2, cách kia là Use; một ngôn ngữ dành riêng cho miền (DSL) như Cairo hoặc Circom để chuyển đổi tính toán thành biểu diễn trung gian để gửi tới hệ thống chứng minh sau này. Hệ thống chứng minh sẽ tạo ra bằng chứng ZK dựa trên mạch viết hoặc biểu thức trung gian do DSL biên soạn.

Hoạt động của chương trình càng phức tạp thì việc tạo ra bằng chứng càng mất nhiều thời gian. Ngoài ra, một số hoạt động vốn không thân thiện với ZK và việc triển khai chúng đòi hỏi phải thực hiện thêm công việc. Ví dụ: các hàm băm SHA hoặc Keccak không thân thiện với ZKP và việc sử dụng các hàm này sẽ dẫn đến thời gian tạo bằng chứng lâu hơn. Và ngay cả những hoạt động chi phí rất thấp trên máy tính cổ điển cũng có thể không thân thiện với ZKP.

Bỏ qua các nhiệm vụ tính toán không thân thiện của ZK, mặc dù quy trình tạo bằng chứng ZK có thể khác nhau tùy thuộc vào hệ thống bằng chứng được chọn, nhưng về cơ bản thì các nút thắt cổ chai là tương tự nhau. Trong quá trình tạo bằng chứng ZK, có hai tác vụ điện toán tiêu tốn nhiều tài nguyên máy tính nhất: MSM (Phép nhân đa vô hướng) và NTT (Biến đổi lý thuyết số). Hai nhiệm vụ tính toán này có thể chiếm 80-95% thời gian tạo bằng chứngtùy thuộc vào kế hoạch cam kết của ZKP và cách triển khai cụ thể.

MSM chủ yếu xử lý phép nhân đa vô hướng trên các đường cong elip, trong khi NTT là FFT (Biến đổi Fourier nhanh) trên trường hữu hạn, được sử dụng để tăng tốc độ xử lý phép nhân đa thức. Việc sử dụng các kết hợp giải pháp khác nhau sẽ mang lại tỷ lệ tải FFT/MSM khác nhau.

Lấy Stark làm ví dụ. PCS (Lược đồ cam kết đa thức) của nó sử dụng FRI, một cam kết dựa trên hàm băm, thay vì KZG hoặc đường cong elip được IPA sử dụng. , do đó không có phép tính MSM nào cả. Bảng càng cao thì càng cần nhiều thao tác FFT và bảng càng thấp thì càng cần nhiều thao tác MSM.

Giải pháp tối ưu hóa

VìHoạt động MSM liên quan đến việc truy cập bộ nhớ có thể dự đoán được, mặc dù nó có thể được song song hóa trên diện rộng nhưng nó đòi hỏi Tiêu thụ rất nhiều tài nguyên bộ nhớ. Ngoài ra, MSM còn có những thách thức về khả năng mở rộng và có thể bị chậm ngay cả khi song song. Do đó, mặc dù MSM có tiềm năng tăng tốc trên phần cứng nhưng chúng đòi hỏi bộ nhớ lớn và tài nguyên tính toán song song.

NTT có xu hướng liên quan đến truy cập bộ nhớ ngẫu nhiên, khiến chúng không thân thiện với phần cứng và khó xử lý trên cơ sở hạ tầng phân tán. Do tính chất ngẫu nhiên đặc điểm truy cập của NTT, nếu nó được chạy trong môi trường phân tán, chắc chắn nó sẽ truy cập vào dữ liệu của các nút khác. Khi có tương tác mạng, hiệu suất sẽ giảm đi đáng kể.

Do đó, việc truy cập dữ liệu lưu trữ và di chuyển dữ liệu đã trở thành một nút thắt lớn, hạn chế khả năng song song hóa các hoạt động của NTT và đẩy nhanh hầu hết công việc của NTT trong việc quản lý. tính toán tương tác với bộ nhớ.

Trên thực tế, cách dễ nhất để giải quyết nút thắt hiệu quả của MSM và NTT là loại bỏ hoàn toàn các hoạt động này. Một số thuật toán mới được đề xuất, chẳng hạn như Hyperplonk, sửa đổi Plonk để loại bỏ hoạt động NTT. Điều này làm cho Hyperplonk dễ dàng tăng tốc hơn nhưng gây ra những trở ngại mới như giao thức sumcheck tốn kém về mặt tính toán. Ngoài ra còn có thuật toán STARK, không yêu cầu MSM, nhưng giao thức FRI của nó đưa ra rất nhiều phép tính băm.

Tăng tốc phần cứng ZK và mục tiêu cuối cùng của Cysic

Mặc dù Tối ưu hóa ở cấp độ phần mềm và thuật toán là quan trọng và có giá trị nhưng vẫn có những hạn chế rõ ràng. Để tối ưu hóa hoàn toàn hiệu suất tạo ZKP, phải sử dụng khả năng tăng tốc phần cứng, Điều này cũng giống như việc ASIC và GPU cuối cùng sẽ thống trị thị trường khai thác BTC và ETH.

Câu hỏi đặt ra là: Phần cứng nào tốt nhất để tăng tốc quá trình tạo ZKP? Hiện có nhiều loại phần cứng có thể triển khai khả năng tăng tốc ZK, chẳng hạn như GPU, FPGA hoặc ASIC. Tất nhiên, chúng đều có những ưu điểm và nhược điểm riêng.

Chúng ta có thể so sánh các loại phần cứng này:

Đầu tiên chúng ta sử dụng một ví dụ đơn giản để minh họa sự khác biệt của chúng ở cấp độ phát triển. Ví dụ: bây giờ chúng tôi muốn thực hiện phép nhân song song đơn giản:

• Trong phần Trên GPU, sử dụng API do CUDA SDK cung cấp, chúng ta có thể phát triển như viết mã gốc để có được khả năng tính toán song song;

• Trên FPGA, chúng ta cần học lại ngôn ngữ mô tả phần cứng và sử dụng ngôn ngữ này để điều khiển các kết nối ở cấp độ phần cứng nhằm thực hiện các thuật toán song song;

< li>

Trên ASIC, cách sắp xếp kết nối của các bóng bán dẫn được cố định trực tiếp ở cấp phần cứng trong giai đoạn thiết kế chip và không thể sửa đổi sau này.

Các tùy chọn này có ưu nhược điểm riêng và phù hợp với các giai đoạn phát triển khác nhau của đường đua ZK. Cysic cam kết trở thành giải pháp tối ưu để tăng tốc phần cứng ZK và chiến lược từng bước của nó là:

1. Phát triển SDK dựa trên GPU để cung cấp giải pháp cho các ứng dụng ZK và tích hợp tài nguyên GPU trên toàn bộ mạng;

2. Sử dụng FPGA Với tính linh hoạt và cân bằng, nó có thể nhanh chóng triển khai khả năng tăng tốc phần cứng ZK tùy chỉnh.

3. Phát triển độc lập phần cứng ZK Depin dựa trên ASIC

4. Cysic Network sẽ tích hợp tất cả sức mạnh tính toán của ZK Depin và GPU dưới dạng nền tảng/nhóm khai thác SAAS để cung cấp sức mạnh tính toán và các giải pháp xác minh cho toàn bộ ngành ZK

   < /li>

Hãy để chúng tôi hiểu đầy đủ về sự khác biệt phân chia của giải pháp tăng tốc ZK và của Cysic bằng cách diễn giải nhiều ý tưởng Phát triển được chia nhỏ.

Nhóm khai thác ZK và Nền tảng SaaS: Mạng Cysic

Trên thực tế, cả Scroll và ZK Rollups nổi tiếng như Polygon zkEVM đều đã đề xuất rõ ràng khái niệm “Prover phi tập trung” trong lộ trình của họ, thực chất là việc xây dựng một nhóm khai thác ZK. Cách tiếp cận theo định hướng thị trường này có thể giảm bớt gánh nặng cho dự án ZK Rollup và khuyến khích các nhà khai thác và nhà điều hành nhóm khai thác liên tục tối ưu hóa kế hoạch tăng tốc ZK.

Trong lộ trình của Cysic, nhóm khai thác ZK và kế hoạch nền tảng SaaS có tên Cysic Network đã được đề xuất rõ ràng. Nó sẽ không chỉ tích hợp sức mạnh tính toán của Cysic mà còn hấp thụ tài nguyên máy tính của bên thứ ba thông qua các ưu đãi khai thác, bao gồm GPU nhàn rỗi và thiết bị zk DePIN trong tay người dùng thông thường.

Toàn bộ sơ đồ quy trình xác minh như sau:

< img src="https://img.jinse.cn/7265591_image3.png">

1. Bên dự án zk gửi nhiệm vụ tạo bằng chứng cho đại lý và công việc của bên sau là chuyển tiếp nhiệm vụ bằng chứng đến mạng xác minh. Các Đại lý này ban đầu sẽ do Cysic điều hành chính thức và các cam kết về tài sản sẽ được giới thiệu sau để bất kỳ ai cũng có thể trở thành Đại lý;

2. Prover chấp nhận nhiệm vụ chứng minh và sử dụng phần cứng để tạo bằng chứng ZK. Người chứng minh cần cầm cố Token để tham gia ký hợp đồng với nhiệm vụ chứng minh và sẽ nhận được phần thưởng sau khi hoàn thành nhiệm vụ chứng minh;

3. Ủy ban xác minh có trách nhiệm kiểm tra tính hợp lệ của bằng chứng do Prover tạo ra và biểu quyết khi đạt một số lượng nhất định. đạt được số phiếu bầu, bằng chứng sẽ được coi là hợp lệ. Người xác minh tham gia ủy ban bằng cách đặt cọc Token, tham gia bỏ phiếu và nhận phần thưởng. Quá trình này có thể được kết hợp với khái niệm AVS của EigenLayer để sử dụng lại các cơ sở Đặt lại hiện có.

Quy trình tương tác chi tiết như sau:

Trên thực tế, có một điểm trong quy trình là cho dù đó là thế chấp tài sản hay phân phối khuyến khích, cũng như gửi các nhiệm vụ tính toán và các hành động khác, tất cả đều cần phải dựa vào một nền tảng chuyên dụng, yêu cầu blockchain làm nền tảng. cơ sở chuyên dụng.

Với mục đích này, Cysic Network đã xây dựng một chuỗi công khai độc quyền và áp dụng thuật toán đồng thuận duy nhất được gọi là Bằng chứng điện toán (PoC). Chức năng VRF và hiệu suất lịch sử của Prover, chẳng hạn như tính khả dụng của thiết bị, số lần gửi bằng chứng, tỷ lệ Bằng chứng chính xác, v.v., nhà sản xuất khối được chọn chịu trách nhiệm sản xuất khối (lưu ý: các khối ở đây nên dùng để ghi lại thông tin của từng thiết bị) và phân phối ưu đãi Token).

Tất nhiên, ngoài nhóm khai thác ZK và nền tảng SaaS, Cysic đã tạo ra rất nhiều bố cục trong các giải pháp tăng tốc ZK dựa trên các phần cứng khác nhau. Tiếp theo, hãy cùng chúng tôi tìm hiểu kết quả của nó trên ba tuyến GPU, FPGA và ASIC tương ứng.

GPU, FPGA và ASIC

ZK Cốt lõi của việc tăng tốc phần cứng là song song hóa một số thao tác chính càng nhiều càng tốt. Từ góc độ đặc điểm chức năng phần cứng, để đạt được tính linh hoạt và linh hoạt tối đa, một phần lớn diện tích chip của CPU được sử dụng để cung cấp các chức năng điều khiển và bộ nhớ đệm ở mọi cấp độ, dẫn đến khả năng tính toán song song yếu của nó.

Trong GPU, tỷ lệ diện tích chip được sử dụng để tính toán đã tăng lên rất nhiều, điều này cho phép GPU hỗ trợ xử lý song song quy mô lớn. Giờ đây GPU rất phổ biến, các thư viện như Nvidia Cuda có thể giúp các nhà phát triển tận dụng tính song song của GPU mà không cần biết phần cứng cơ bản. CUDA SDK có thể được sử dụng để đóng gói thư viện CUDA ZK nhằm tăng tốc các hoạt động MSM và NTT.

FPGA là một mảng bao gồm một số lượng lớn các đơn vị xử lý nhỏ. Để lập trình FPGA, bạn cần sử dụng một ngôn ngữ mô tả phần cứng đặc biệt và sau đó biên dịch nó thành một ngôn ngữ lập trình. mạch kết hợp Transistor. Do đó, FPGA thực sự trực tiếp sử dụng các mạch bán dẫn để thực hiện các thuật toán cụ thể mà không cần biên dịch hệ thống hướng dẫn. Mức độ tùy chỉnh và tính linh hoạt này vượt trội hơn nhiều so với GPU.

Hiện tạigiá của FPGA chỉ bằng khoảng 1/3 giá GPU và hiệu suất sử dụng năng lượng có thể cao hơn gấp mười lần so với GPU GPU. Một phần của lợi thế đáng kể về hiệu quả sử dụng năng lượng này đến từ việc GPU cần được kết nối với thiết bị chủ, thiết bị này thường tiêu thụ rất nhiều điện năng. Có thể nói, FPGA có thể bổ sung thêm nhiều module tính toán để đáp ứng nhu cầu của MSM và NTT mà không làm tăng mức tiêu thụ năng lượng. Điều này làm cho FPGA đặc biệt phù hợp với các kịch bản chứng minh ZK đòi hỏi tính toán chuyên sâu và yêu cầu thông lượng dữ liệu cao cũng như thời gian phản hồi thấp.

Tuy nhiên, vấn đề lớn nhất với FPGA là rất ít nhà phát triển có kinh nghiệm lập trình. Đối với nhóm dự án ZK, rất khó để tổ chức a Việc tạo ra một nhóm vừa có chuyên môn về mật mã vừa có chuyên môn về kỹ thuật FPGA là vô cùng khó khăn.

ASIC tương đương với việc sử dụng hoàn toàn phần cứng để thực hiện một chương trình. Sau khi thiết kế hoàn tất, phần cứng không thể thay đổi. Tương ứng, các chương trình mà ASIC có thể thực thi là. tự nhiên nó không thể thay đổi và chỉ có thể được sử dụng cho các nhiệm vụ cụ thể. Ưu điểm tăng tốc phần cứng của FPGA trong MSM và NTT được mô tả ở trên cũng có sẵn trong ASIC. Do thiết kế mạch chuyên dụng, ASIC có hiệu suất cao nhất và mức tiêu thụ năng lượng nhỏ nhất trong số tất cả các giải pháp.

Đối với ZK Circuit chính thống hiện tại, Cysic hy vọng có thể chứng minh rằng thời gian có thể đạt được tốc độ từ 1 - 5 giây. mục tiêu này, chỉ ASIC mới có thể đạt được điều này.

Mặc dù những ưu điểm này nghe có vẻ rất hấp dẫn nhưng công nghệ ZK đang phát triển nhanh chóng và chu trình thiết kế và sản xuất ASIC thường mất 1-2 năm, và chi phí cao tới 10-20 triệu đô la Mỹ. Vì vậy, cần đợi đến khi công nghệ ZK đủ ổn định mới có thể đưa vào sản xuất quy mô lớn để tránh trường hợp chip sản xuất sớm trở nên lỗi thời.

Về vấn đề này, Cysic đã thu xếp đầy đủ trong ba lĩnh vực GPU, FPGA và ASIC