Biên dịch nguyên văn: Deep Tide TechFlow

Biên dịch nguyên văn: Deep Tide TechFlow

Bằng chứng không kiến ​​thức (ZKP) đang trở thành một công nghệ biến đổi cơ bản trong thập kỷ tới. ZKP có các ứng dụng cả bên trong và bên ngoài Web3.

Trong Web3, ZKP đang giải quyết hai nút cổ chai chính - khả năng mở rộng và quyền riêng tư:

• Về khả năng mở rộng, một số Bản tổng hợp ZK, hay còn gọi là Bản tổng hợp hiệu lực, đang được tung ra để mở rộng quy mô Ethereum từ 10-100 lần đồng thời cải thiện trải nghiệm người dùng bằng cách giảm chi phí giao dịch.

• Về quyền riêng tư, ZKP đang mở rộng từ kỷ nguyên giao dịch riêng tư và giao dịch kết hợp sang các lĩnh vực phức tạp và hữu ích hơn như giao dịch trên chuỗi riêng tư, danh tính và thông tin xác thực đã được xác minh.

Có rất nhiều điều để nói về ZKP, bao gồm tầm nhìn của chính chúng tôi về tương lai của không gian ZKP và các công ty khởi nghiệp cần thiết để biến tương lai đó thành hiện thực. Tuy nhiên, vẫn còn một khoảng cách giáo dục nhất định về cách các nhà xây dựng có thể hưởng lợi từ ZKP và bắt đầu từ đâu.

Bài viết này nhằm mục đích lấp đầy khoảng trống này bằng cách tập hợp các tài nguyên quan trọng để hướng dẫn các nhà phát triển hiểu cách ZKP hoạt động trong thực tế và cách sử dụng ZKP trong các ứng dụng của họ.

ZKP hoạt động như thế nào trong thực tế?

ZKP thực sự là một kỹ thuật để người xác minh chứng minh với người xác minh rằng họ biết một số thông tin nhất định mà không tiết lộ thông tin đó.

Trên thực tế, ít nhất là trong Web3, ZKP thường được sử dụng theo cách khác. Hầu hết các ứng dụng không sử dụng ZKP để thể hiện quyền sở hữu dữ liệu độc quyền. Thay vào đó, ZKP được sử dụng để tăng sự tin tưởng thông qua khả năng kiểm chứng. Chúng tôi hy vọng ZKP sẽ trở thành mô hình tin cậy tiêu chuẩn giữa các thực thể trong tương lai. Lý do là hai thành phần chính của ZKP - bằng chứng và xác minh - đang được tách biệt theo cách cho phép một sơ đồ tương tác duy nhất giữa thực thể tìm kiếm lòng tin và người dùng của nó.

Các thành phần chính của ZKP là tạo bằng chứng và xác minh bằng chứng.

• Tạo bằng chứng liên quan đến việc chạy các tính toán mở rộng để tạo bằng chứng thực thi, được sử dụng để loại bỏ nhu cầu tin tưởng vào người chứng minh.

• Thay vào đó, bất kỳ ai cũng có thể chạy một quy trình đơn giản trên bằng chứng để xác minh tính toàn vẹn của quy trình do người chứng minh thực hiện.

Mô hình tinh thần này cho phép một doanh nghiệp chạy một quy trình (thường là một quy trình phức tạp) và cho phép khách hàng tin tưởng vào việc thực hiện quy trình nói trên mà không cần lặp lại quy trình.

Hãy lấy một ví dụ:

Giả sử bạn đăng ký gói trả phí của OpenAI để sử dụng một trong các Mô hình ngôn ngữ lớn (LLM) của họ, chẳng hạn như chatGPT. Bạn phải tin tưởng OpenAI sẽ thực sự chạy mô hình cụ thể mà bạn yêu cầu, chứ không phải thay thế nó bằng một mô hình đơn giản hơn, kém hiệu quả hơn. Điều gì sẽ xảy ra nếu OpenAI có thể gửi cho bạn một lượng nhỏ dữ liệu chứng minh rằng nó thực sự chạy mô hình cụ thể mà bạn yêu cầu? Hơn nữa, hãy tưởng tượng điều gì sẽ xảy ra nếu mọi sản phẩm SaaS độc quyền có thể cung cấp sự đảm bảo như vậy cho người tiêu dùng?

Việc giảm thiểu niềm tin này là lời hứa của ZKP. Ví dụ: trong Web 2, ZKP có thể đảm bảo đánh giá tín dụng công bằng hoặc xử lý yêu cầu bảo hiểm công bằng bằng cách đảm bảo rằng tất cả khách hàng đều sử dụng cùng một thuật toán. Công nghệ ZK vẫn chưa đạt đến mức đó, bởi vì việc chạy một quy trình ZKP vẫn còn tương đối đắt đỏ. Tuy nhiên, chúng ta đang thấy các công ty như Modulus Labs đang xây dựng một công nghệ sử dụng ZKP để chứng minh các suy luận của AI.

Yêu cầu kỹ thuật đối với ZKP

Ở cấp độ kỹ thuật, một hệ thống ZKP hiệu quả cần đạt được đồng thời các mục tiêu sau:

• Giảm độ phức tạp tính toán và độ trễ của hệ thống bằng chứng, nghĩa là cho phép người chứng minh tạo ra bằng chứng một cách hiệu quả và chuyển nó cho người xác minh trong thời gian ngắn nhất.

• Đạt được kích thước bằng chứng nhỏ.

• Thực hiện xác minh hiệu quả, nghĩa là giảm thiểu chi phí xác minh.

Ngoài các mục tiêu chính này, một số mục tiêu phụ có thể được yêu cầu tùy thuộc vào trường hợp sử dụng, chẳng hạn như:

• Bảo vệ quyền riêng tư của dữ liệu trong các ứng dụng tập trung vào quyền riêng tư có nghĩa là hệ thống bằng chứng có thể xử lý các thông tin đầu vào riêng tư không được tiết lộ trong bằng chứng được tạo.

• Tránh cài đặt tin cậy nếu có thể để đơn giản hóa các giả định bảo mật.

• Đệ quy bằng chứng được triển khai để giảm hơn nữa chi phí xác minh, nghĩa là, một lần xác minh có thể xác minh nhiều bằng chứng và chia sẻ chi phí giữa các bằng chứng khác nhau.

Đạt được tất cả các mục tiêu này cùng một lúc là một thách thức. Tùy thuộc vào trường hợp sử dụng, hệ thống ZKP sẽ ưu tiên một số mục tiêu này. Ví dụ: hệ thống bằng chứng SNARK có thể tạo ra các bằng chứng ngắn gọn, nhưng độ phức tạp của bằng chứng sẽ tăng lên. Mặt khác, STRAK có bộ chứng minh hiệu quả, nhưng kích thước bằng chứng có thể lớn hơn SNARK 100 lần. Các nhà nghiên cứu của zk không ngừng nỗ lực để thúc đẩy giới hạn công nghệ, cải thiện đồng thời ba chỉ số bằng cách phát minh ra các cơ chế chứng minh mới.

So sánh các hệ thống bằng chứng khác nhau

Đối với các nhà phát triển xây dựng các sản phẩm liên quan đến ZKP, một câu hỏi quan trọng cần xem xét là cách chọn hệ thống bằng chứng cơ bản, có một số triển khai bằng chứng ZKP và nhiều hệ thống khác đang trong giai đoạn nghiên cứu và phát triển.

Lựa chọn phụ trợ của ZKP không chỉ phụ thuộc vào khía cạnh kỹ thuật mà còn phụ thuộc vào sản phẩm mục tiêu. Lấy hệ thống bằng chứng lựa chọn Rollup làm ví dụ. Các đặc điểm chính của Rollup, chẳng hạn như thời gian rút tiền, chi phí giao dịch và thậm chí cả mức độ phân cấp, phần lớn sẽ được xác định bởi kiến ​​trúc bằng chứng ZKP, như được hiển thị trong bảng bên dưới.

Trong Rollup, chứng thực xảy ra ở phía doanh nghiệp, tức là thông qua các toán tử Rollup. Các ZK Rollup hiện có (zkRU) như Starknet và Zksync hiện đang sử dụng các chứng minh tập trung. Do đó, họ có thể ủy quyền chứng minh cho những người chứng minh chuyên dụng, tức là các công ty cung cấp dịch vụ chứng minh, để cải thiện hiệu suất chứng minh. Thời gian kiểm chứng có thể giảm xuống còn vài phút đối với các zkEVM tương thích với Ethereum bằng cách chuyên biệt hóa và sử dụng phần mềm/phần cứng được tối ưu hóa. Ví dụ: thời gian kiểm chứng cho Polygon zkEVM hiện tại là khoảng 2 phút. Một vài phút thời gian chứng minh, tức là trì hoãn rút tiền, có thể chấp nhận được đối với Rollup.

Mặt khác, một số trường hợp sử dụng yêu cầu bằng chứng rằng nó đã xảy ra ở phía khách hàng, tạo ra các giao dịch riêng tư, chẳng hạn như giao dịch Tornado Cash. Để đảm bảo trải nghiệm người dùng hợp lý, thời gian kiểm chứng không được vượt quá vài giây. Ngoài ra, vì người dùng thực hiện các tính toán này trong trình duyệt bằng ví hoặc trên các thiết bị hạn chế về tài nguyên, nên điều quan trọng là phải chọn một hệ thống bằng chứng với bộ chứng minh nhanh. Một ví dụ điển hình là Zcash đã thay đổi hệ thống bằng chứng của mình thành Groth 16 trong bản nâng cấp Sapling 2018, một yếu tố chính giúp cải thiện tốc độ của các giao dịch được bảo vệ.

hệ thống bằng chứng so sánh

Nói chung, rất khó để có được sự so sánh chính xác về hiệu suất của các hệ thống chứng minh khác nhau, đặc biệt là tốc độ chứng minh và xác minh, vì chúng phụ thuộc vào việc triển khai thư viện, đường cong mật mã được chọn và phần cứng được sử dụng.

Nhóm Mina cung cấp một so sánh cấp cao tốt đẹp trong bài đăng này. Ngoài ra còn có một số nỗ lực để tạo ra các công cụ đo điểm chuẩn cho các hệ thống ZK khác nhau.

Bảng này cung cấp một so sánh tốt về việc triển khai SNARK và mô tả tiến trình của chúng về tốc độ từ Groth 16 đến Plonk đến Halo. Bất chấp sự tiến bộ, STARK vẫn thắng về tốc độ kiểm chứng, nhưng phải trả giá bằng kích thước kiểm chứng lớn hơn. Bảng này cũng thảo luận về hai tính năng quan trọng của hệ thống bằng chứng: thiết lập không tin cậy và khả năng lập trình mạch.

Giai đoạn tiền xử lý của quá trình tạo mạch được thảo luận trong phần Thiết lập không tin cậy. Một số kỹ thuật chứng minh yêu cầu sự tham gia của nhiều bên tính toán để tạo ra các số ngẫu nhiên bí mật trong giai đoạn tiền xử lý. Nếu những người tham gia cá nhân trung thực, các số ngẫu nhiên được tạo thực sự là bí mật và phần tiền xử lý là an toàn. Quá trình này được gọi là "thiết lập niềm tin" vì nó tin tưởng ít nhất một trong những người tham gia giai đoạn tiền xử lý là trung thực. Yêu cầu thiết lập niềm tin được coi là một điểm yếu. Theo nghĩa này, STARK và các hệ thống SNARK mới hơn như Halo 2 có lợi thế hơn. Tuy nhiên, một số dự án sử dụng cài đặt tin cậy như một công cụ để thu hút cộng đồng, chẳng hạn như Aztec và Manta.

Phần Khả năng lập trình thảo luận về việc liệu các hệ thống bằng chứng có thể chứng minh các tính toán tùy ý hay không. SNARK thường có thể được lập trình cho bất kỳ tính toán nào. Tuy nhiên, hiệu quả chứng minh phụ thuộc vào loại tính toán được thực hiện. Đối với một số loại hệ thống STARK, việc thích ứng với các loại tính toán khác nhau không phải là một trường hợp dễ dàng.

Làm cách nào để tận dụng ZKP cho sản phẩm của bạn?

Xây dựng một sản phẩm có thể hưởng lợi từ các kỹ thuật ZKP không hề dễ dàng và đòi hỏi mô hình tinh thần phù hợp.

Phần này cố gắng cung cấp một khuôn khổ cho các nhà phát triển chọn cách tiếp cận tốt nhất để tích hợp ZKP vào sản phẩm của họ. Tùy thuộc vào nhu cầu của sản phẩm, sự liên kết của hệ sinh thái và yêu cầu về hiệu suất, sẽ có một số công cụ mà nhà phát triển có thể chọn. Một số nhà phát triển sẽ có thể sử dụng lại mã hiện có của họ, trong khi những người khác sẽ phải học các ngôn ngữ dành riêng cho miền (DSL) mới để tạo ứng dụng của họ.

các ứng dụng zk tập trung vào hiệu suất

Các nhà phát triển có thể sử dụng ZKP để đạt được thông lượng cao hơn (TPS) hoặc phí thấp hơn bằng cách off-chain hầu hết các tính toán ứng dụng và chỉ xuất bản bằng chứng on-chain. Trong trường hợp này, có một số khung để lựa chọn. Mỗi khung cung cấp một bộ công cụ để biên dịch mã ứng dụng, tạo mạch ZK, triển khai chứng minh ZK và tạo mã xác minh cho hệ sinh thái đích. Chúng ta có thể chia các khung này thành hai loại chính: lấy EVM làm trung tâm và không sử dụng EVM.

Khung ZK dựa trên EVM

Bộ khung ZK này được liên kết với Ethereum, vì Rollup được xây dựng trên nó. Các giao dịch và ứng dụng được thực thi trên Máy ảo ZK của Rollup (zkVM). Bằng chứng được tạo bởi những người xác nhận chuyên dụng và được xuất bản lên L1 để được xác minh bằng hợp đồng thông minh.

Tập hợp con đầu tiên của nhóm này đã triển khai zkVM tương thích với EVM, do đó có tên là zkEVM. Mục tiêu của những điều này là giảm thiểu ma sát bằng cách cho phép các nhà phát triển Ethereum sử dụng Solidity và các công cụ quen thuộc như Hardhat và Foundry. Họ trừu tượng hóa độ phức tạp của ZK bằng cách tạo ra các mạch và bộ chứng minh phù hợp với EVM. Cả Polygon zkEVM và Scroll đều được bao gồm trong nhóm này.

Tập hợp con thứ hai của nhóm này là zkVM vốn không tương thích với EVM. Bất chấp sự không tương thích, nhóm này giảm ma sát bằng cách tạo một lớp trung gian cho phép các nhà phát triển sử dụng Solidity. Vitalik gọi loại này là zkEVM loại 4. zkSync Era và Starknet là những ví dụ điển hình của nhóm này. Ưu điểm của việc sử dụng zkEVM Type-4 là nó có thể cung cấp thông lượng cao hơn và chi phí thấp hơn so với các loại EVM tương thích. Điều này làm cho chúng phù hợp để xây dựng các ứng dụng có thông lượng cao như trò chơi trực tuyến hoặc các sản phẩm tài chính hiệu suất cao như sổ đặt hàng DEX.

Xây dựng các ứng dụng cho zkEVM loại 4 đòi hỏi nhiều nỗ lực hơn của nhà phát triển vì có những hạn chế đối với mã Solidity có thể được sử dụng. Ngoài ra, các nhà phát triển có thể quyết định học một ngôn ngữ khác, chẳng hạn như Cairo, để phát triển các ứng dụng gốc dựa trên các khuôn khổ này.

Khung zk không phải EVM

Một loại khung khác là những khung không nhắm mục tiêu đến kiến ​​trúc EVM, vì chúng nhắm mục tiêu L1 cạnh tranh hoặc máy tính đa năng. Tuy nhiên, chúng vẫn có thể được sử dụng để xây dựng các zkRU dành riêng cho ứng dụng trên Ethereum thông qua các SDK chuyên dụng như Sovereign.

Có hai phương pháp ở đây:

• Các nhà phát triển viết mã bằng ngôn ngữ cấp cao nhắm đến một kiến ​​trúc VM cụ thể, sau đó được biên dịch thành mạch ZK.

• Các nhà phát triển sử dụng ngôn ngữ dành riêng cho miền (DSL), chẳng hạn như Circo, để tạo trực tiếp các mạch ZK.

Phương pháp trước đây phù hợp hơn cho các nhà phát triển, nhưng thường dẫn đến các mạch lớn hơn và mất nhiều thời gian hơn để chứng minh.

Các ứng dụng ZK tập trung vào quyền riêng tư

Phát triển các ứng dụng tập trung vào quyền riêng tư bằng cách sử dụng ZKP nói chung là một nhiệm vụ khó khăn hơn đối với các nhà phát triển. Việc phát triển một giải pháp tập trung vào quyền riêng tư bằng cách sử dụng ZKP ít tốn công hơn so với một giải pháp tập trung vào khả năng mở rộng, tạo ra một đường cong học tập dốc hơn. Các ứng dụng bảo mật hiện có chủ yếu tập trung vào bảo mật thanh toán và không cho phép nhiều khả năng lập trình. Kết hợp quyền riêng tư và khả năng lập trình là một nhiệm vụ đầy thách thức. Các ứng dụng tập trung vào quyền riêng tư tuân theo một trong hai tùy chọn triển khai:

1. Xây dựng dựa trên mục đích chung L1

Để kích hoạt các ứng dụng thanh toán riêng trên L1, logic ZKP cần được xây dựng dưới dạng hợp đồng thông minh. Ứng dụng này thường sử dụng ZKP để tạo nhóm vốn tư nhân. Người dùng sử dụng các nhóm riêng này làm công cụ trộn, tài trợ cho các ví mới không được liên kết với ví ban đầu của họ. Một ví dụ nổi tiếng về điều này là Tornado Cash. Đối với các ứng dụng này, bằng chứng được thực hiện bởi người dùng và quá trình xác minh diễn ra trên chuỗi. Do đó, điều quan trọng là sử dụng hệ thống ZKP có bằng chứng nhanh, tính toán xác minh đơn giản và không tiết lộ bất kỳ thông tin người dùng nào.

Do Universal Chain không được tối ưu hóa cho các tính toán mã hóa đắt tiền nên chi phí xác minh thường đắt đỏ đối với người dùng thông thường, hạn chế việc áp dụng các ứng dụng này. Giải pháp trực quan để chuyển một ứng dụng công việc riêng tư sang Rollup để giảm hóa đơn tiền xăng có thể gây ra nhiều thách thức. Trong trường hợp này, bằng chứng giao dịch riêng tư cần được đưa vào bằng chứng Rollup, nghĩa là đệ quy bằng chứng và Rollup zk chung hiện tại trên Ethereum không thể đạt được đệ quy bằng chứng.

2. Xây dựng L1/L2 mới tập trung vào quyền riêng tư

Để giảm chi phí cho các giao dịch và ứng dụng riêng tư, các nhà phát triển phải xây dựng L1 mới tập trung vào quyền riêng tư (ví dụ: Mạng Manta và Penumbra) hoặc Bản tổng hợp chuyên dụng (ví dụ: Aztec). Hầu hết các chuỗi tập trung vào quyền riêng tư vẫn không thể hỗ trợ điện toán cho mục đích chung và tập trung vào mục đích sử dụng chuyên nghiệp. Ví dụ, Penumbra và Renegade tập trung vào các giao dịch riêng tư. Aleo đang xây dựng một khuôn khổ cho các ứng dụng độc quyền bằng cách tạo ra một ngôn ngữ có mục đích đặc biệt, Leo, để biên dịch các chương trình được viết bằng ngôn ngữ cấp cao nhằm tạo ra các mạch ZK tương ứng. Sự tương tác của ứng dụng được thực hiện ngoài chuỗi và chỉ các bằng chứng được xuất bản trên chuỗi dưới dạng giao dịch riêng tư. Aztec đang đi theo hướng tương tự, nhưng với tên gọi Ethereum L2. Gần đây, họ đã công bố tập trung vào việc tạo các Rollup riêng tổng quát sử dụng Noir làm ngôn ngữ hợp đồng thông minh mặc định.

Tăng tốc ZK

Sau khi nhà phát triển đã chọn khung phát triển ZK phù hợp cho ứng dụng của họ và chọn hệ thống bằng chứng cơ bản, bước tiếp theo là tối ưu hóa hiệu suất của ứng dụng và tìm cách cải thiện trải nghiệm người dùng. Điều này thường đi xuống để cải thiện hiệu suất và độ trễ của chứng minh. Như đã thảo luận trước đó, đối với Rollup, thời gian chứng minh ngắn hơn có nghĩa là ít chậm trễ hơn trong việc thực hiện chứng minh đối với L1 và do đó ít chậm trễ hơn trong việc rút tiền. Đối với bằng chứng do người dùng tạo, tức là các ứng dụng bảo mật, bằng chứng nhanh hơn có nghĩa là thời gian tạo giao dịch ngắn hơn và trải nghiệm người dùng tốt hơn.

Như chúng ta đã thảo luận trong các bài viết trước, việc đẩy nhanh quá trình chứng minh thường yêu cầu tối ưu hóa phần mềm và phần cứng chuyên dụng. Cuộc cạnh tranh về phần cứng chuyên dụng đã tăng cường trong vài tháng qua, với nhiều công ty tham gia cuộc đua. Trong phần này, chúng tôi thảo luận về tình trạng tăng tốc ZK hiện tại và những cách mà các nhà phát triển có thể hưởng lợi từ cuộc đua này.

Bằng chứng như một dịch vụ

Tăng tốc phần cứng

Tăng tốc phần cứng

Với việc triển khai một số L1 và Rollup cần tạo bằng chứng zk một cách hiệu quả, cuộc cạnh tranh để tạo ra các bằng chứng này và kiếm phần thưởng tương ứng sẽ trở nên gay gắt. Nếu các chuỗi này và L2 thành công trong việc thu hút một lượng lớn người dùng, việc tạo bằng chứng có thể phát triển thành một cuộc chạy đua vũ trang tương tự như cuộc cạnh tranh khai thác Bitcoin. Có nhiều cách tiếp cận khác nhau để tăng tốc ZKP, GPU so với FPGA so với ASIC. Bài viết này của Nhóm Amber có một cuộc thảo luận tốt về các tùy chọn khác nhau này và những thách thức phải đối mặt với từng tùy chọn triển khai. Tuy nhiên, về lâu dài, công ty sản xuất ASIC hiệu quả nhất để tạo bằng chứng về khái niệm sẽ có lợi thế kinh tế đáng kể trên các chuỗi tập trung vào zk.

Điều đáng chú ý là có một sự khác biệt quan trọng giữa cạnh tranh bằng chứng ZK và khai thác Bitcoin đáng được nêu bật. Trong Bitcoin, quy trình khai thác dựa trên một phép tính đơn giản, hàm băm SHA 256. Tính toán này là cố định và không dễ thay đổi, vì vậy trọng tâm là đổi mới thiết kế chip và tiếp cận các nút bán dẫn tiên tiến nhất. Trong lĩnh vực ZKP, có sự phân chia đáng kể giữa các giao thức chứng minh khác nhau. Ngay cả với cùng một phụ trợ bằng chứng, chẳng hạn như Plonk, kích thước mạch mục tiêu có thể dẫn đến sự khác biệt về hiệu suất ASIC. Sự khác biệt giữa khai thác Bitcoin và tạo ZKP có thể dẫn đến nhiều người chiến thắng, mỗi người chuyên về một chương trình phụ trợ ZK khác nhau.

Có nhiều người chơi tham gia vào không gian chip cụ thể của ZK. Mỗi người tham gia tập trung vào một trong hai thao tác chính giúp cải thiện việc tạo bằng chứng: phép nhân đa hướng (MSM) và phép biến đổi lý thuyết số (NTT). Người chơi cuối cùng thoát khỏi trạng thái tàng hình là Cysic, đã công bố vòng hạt giống trị giá 6 triệu đô la của mình trong ETH Denver. Cysic tập trung vào việc tăng tốc MSM bằng cách sử dụng FPGA. Tính linh hoạt của FPGA cho phép chúng hỗ trợ các hệ thống ZK khác nhau. Cách tiếp cận này tương tự như Ulventanna, công ty đã công bố vòng hạt giống trị giá 15 triệu đô la vào tháng Giêng. Những người chơi khác trong không gian phát triển chip ZK bao gồm Ingonyama, công ty đã phát hành một thư viện có tên Icicle giúp tăng tốc tính toán cho các tính toán MSM và NTT trên GPU, cũng như Accseal, Snarkify và Supranational. Ngoài danh sách này, còn có các công ty mật mã khác và nỗ lực nghiên cứu của những người chơi nổi tiếng trong không gian Web3. Các ví dụ sau bao gồm triển khai CycloneMSM của Jump Crypto để tăng tốc tính toán MSM bằng cách sử dụng FPGA và triển khai FPGA của Jane Street để tăng tốc MSM và NTT.

Do tầm quan trọng ngày càng tăng của khả năng tăng tốc ZKP, các cuộc thi (chẳng hạn như ZPrize) yêu cầu đánh giá công bằng các triển khai khác nhau đang trở thành địa điểm quan trọng để thúc đẩy lĩnh vực này tiến lên. Giải đấu năm 2022 có hơn 4 triệu đô la tiền thưởng.

Với việc triển khai một số L1 và Rollup cần tạo bằng chứng ZK một cách hiệu quả, cuộc cạnh tranh để tạo ra các bằng chứng này và kiếm phần thưởng tương ứng sẽ trở nên gay gắt. Nếu các chuỗi này và L2 thành công trong việc thu hút một lượng lớn người dùng, việc tạo bằng chứng có thể phát triển thành một cuộc chạy đua vũ trang tương tự như cuộc cạnh tranh khai thác Bitcoin. Có nhiều cách tiếp cận khác nhau để tăng tốc ZKP, GPU so với FPGA so với ASIC. Bài viết này của Nhóm Amber có một cuộc thảo luận tốt về các tùy chọn khác nhau này và những thách thức phải đối mặt với từng tùy chọn triển khai. Tuy nhiên, về lâu dài, công ty sản xuất ASIC hiệu quả nhất sẽ có lợi thế kinh tế đáng kể trên chuỗi tập trung vào ZK.

Điều đáng chú ý là có một sự khác biệt quan trọng giữa cạnh tranh bằng chứng ZK và khai thác Bitcoin đáng được nêu bật. Trong Bitcoin, quy trình khai thác dựa trên một phép tính đơn giản, hàm băm SHA 256. Tính toán này là cố định và không dễ thay đổi, vì vậy trọng tâm là đổi mới thiết kế chip và tiếp cận các nút bán dẫn tiên tiến nhất. Trong lĩnh vực ZKP, có sự phân chia đáng kể giữa các giao thức chứng minh khác nhau. Ngay cả với cùng một phụ trợ bằng chứng, chẳng hạn như Plonk, kích thước mạch mục tiêu có thể dẫn đến sự khác biệt về hiệu suất ASIC. Sự khác biệt giữa khai thác Bitcoin và tạo ZKP có thể dẫn đến nhiều người chiến thắng, mỗi người chuyên về một chương trình phụ trợ ZK khác nhau.

Có nhiều người chơi tham gia vào không gian chip cụ thể của ZK. Mỗi người tham gia tập trung vào một trong hai thao tác chính giúp cải thiện việc tạo bằng chứng: phép nhân đa phương (MSM) và phép biến đổi lý thuyết số (NTT). Người chơi cuối cùng thoát khỏi trạng thái tàng hình là Cysic, đã công bố vòng hạt giống trị giá 6 triệu đô la của mình trong ETH Denver. Cysic tập trung vào việc tăng tốc MSM bằng cách sử dụng FPGA. Tính linh hoạt của FPGA cho phép chúng hỗ trợ các hệ thống ZK khác nhau. Cách tiếp cận này tương tự như Ulventanna, công ty đã công bố vòng hạt giống trị giá 15 triệu đô la vào tháng Giêng. Những người chơi khác trong không gian phát triển chip ZK bao gồm Ingonyama, công ty đã phát hành một thư viện có tên Icicle giúp tăng tốc tính toán cho các tính toán MSM và NTT trên GPU, cũng như Accseal, Snarkify và Supranational. Ngoài danh sách này, còn có các công ty mật mã khác và nỗ lực nghiên cứu của những người chơi nổi tiếng trong không gian Web3. Các ví dụ sau bao gồm triển khai CycloneMSM của Jump Crypto để tăng tốc tính toán MSM bằng cách sử dụng FPGA và triển khai FPGA của Jane Street để tăng tốc MSM và NTT.

Do tầm quan trọng ngày càng tăng của khả năng tăng tốc ZKP, các cuộc thi (chẳng hạn như ZPrize) yêu cầu đánh giá công bằng các triển khai khác nhau đang trở thành địa điểm quan trọng để thúc đẩy lĩnh vực này tiến lên. Giải đấu năm 2022 có hơn 4 triệu đô la tiền thưởng.

tài nguyên giáo dục hữu ích

Trong phần này, chúng tôi đã tổng hợp một số tài nguyên giáo dục để giúp các nhà phát triển hiểu về không gian ZKP. Đây không phải là một danh sách đầy đủ, vì có rất nhiều nội dung xuất sắc về chủ đề này. Bạn có thể tìm thấy danh sách toàn diện với tất cả các tài nguyên zk tại đây và tại đây. Đó là một cách thân thiện để thiết lập và cho các nhà phát triển biết về những nỗ lực trong không gian này.

Đối với những người muốn tìm hiểu kiến ​​thức cơ bản về ZKP và cách chúng hoạt động, một trong những tài nguyên đầu tiên cần kiểm tra là ZK Whiteboard Sessions tại ZK Hack. Đặc biệt, ba phần giới thiệu của Dan Boneh ở trình độ cao đối với bất kỳ ai có chút hiểu biết về toán học. Phần còn lại của loạt đề cập đến các chủ đề cụ thể trong lĩnh vực này.

Tóm lại là

Tóm lại là

liên kết gốc

liên kết gốc