Tác giả gốc: Mike@Foresight Ventures
1. Giới thiệu khái niệm
Về khái niệm bộ đồng xử lý, một ví dụ rất đơn giản và dễ hiểu là mối quan hệ giữa máy tính và card đồ họa, CPU có thể hoàn thành hầu hết các tác vụ, nhưng một khi gặp một tác vụ cụ thể thì card đồ họa cần có sự trợ giúp. vì CPU không đủ sức tính toán. Ví dụ như machine Learning, render đồ họa, hay chạy game dung lượng lớn. Nếu không muốn rớt khung hình hay đơ máy khi chơi game quy mô lớn thì chắc chắn chúng ta cần một card đồ họa thẻ có hiệu suất tốt. Trong trường hợp này, CPU là bộ xử lý và card đồ họa là bộ đồng xử lý. Ánh xạ tới blockchain, hợp đồng thông minh là CPU và bộ đồng xử lý ZK là GPU.
Điểm mấu chốt là giao nhiệm vụ cụ thể cho những người đồng xử lý cụ thể, giống như trong một nhà máy, ông chủ biết các bước của từng mắt xích và có thể tự mình làm hoặc dạy nhân viên toàn bộ quy trình sản xuất, nhưng điều này rất kém hiệu quả và chỉ có ông ấy mới có thể thực hiện được. có thể sản xuất từng sản phẩm một, làm xong một sản phẩm thì mới sản xuất được sản phẩm tiếp theo nên đã thuê rất nhiều nhân viên cụ thể, mỗi người thực hiện nhiệm vụ của mình và làm tốt công việc mình giỏi trong dây chuyền sản xuất. hội thảo. Các mắt xích trong chuỗi có thể tương tác với nhau. Giao tiếp và phối hợp nhưng không can thiệp vào công việc của nhau. Họ chỉ làm những gì họ giỏi nhất. Những người nhanh tay và thể lực khỏe mạnh có thể lái vít. Những người biết cách vận hành máy móc có thể vận hành máy móc, người biết kế toán có thể tính toán khối lượng, chi phí sản xuất, cộng tác không đồng bộ để tối đa hóa hiệu quả công việc.
Trong cuộc Cách mạng Công nghiệp, các nhà tư bản đã phát hiện ra rằng mô hình này có thể mang lại năng lực sản xuất tối đa cho các nhà máy của họ, tuy nhiên, do công nghệ hoặc các lý do khác, khi một công đoạn trong quá trình sản xuất gặp rào cản thì các công đoạn khác có thể phải thuê ngoài. làm điều đó. Ví dụ, đối với một công ty sản xuất điện thoại di động, chip có thể được sản xuất bởi các công ty chip chuyên dụng khác, công ty điện thoại di động là bộ xử lý trung tâm, và công ty chip là bộ đồng xử lý. Bộ đồng xử lý có thể xử lý dễ dàng và không đồng bộ các tác vụ cụ thể có rào cản quá cao và cồng kềnh để bộ xử lý trung tâm có thể tự xử lý.
Bộ đồng xử lý ZK tương đối rộng theo nghĩa rộng. Một số dự án gọi nó là bộ đồng xử lý của riêng họ và một số gọi nó là ZKVM, nhưng tất cả đều có cùng một ý tưởng: cho phép các nhà phát triển hợp đồng thông minh chứng minh các tính toán ngoài chuỗi trên dữ liệu hiện có một cách không trạng thái. Nói một cách đơn giản, một số công việc tính toán on-chain là off-chain để giảm chi phí và tăng hiệu quả, đồng thời ZK được sử dụng để đảm bảo độ tin cậy của tính toán và bảo vệ quyền riêng tư của dữ liệu cụ thể. Trong thế giới blockchain dựa trên dữ liệu, điều này đặc biệt quan trọng.
2. Tại sao chúng ta cần bộ đồng xử lý ZK?
Một trong những trở ngại lớn nhất mà các nhà phát triển hợp đồng thông minh phải đối mặt vẫn là chi phí cao liên quan đến tính toán trên chuỗi. Vì Gas phải được đo cho mỗi hoạt động nên chi phí của logic ứng dụng phức tạp sẽ nhanh chóng trở nên quá cao để có thể thực thi được, bởi vì mặc dù các nút lưu trữ trong lớp DA của chuỗi khối thực sự có thể lưu trữ dữ liệu lịch sử, đây là lý do tại sao những thứ như Dune Off- Các ứng dụng phân tích chuỗi như Analytics, Nansen, 0x scope và Etherscan có thể có rất nhiều dữ liệu từ blockchain và có thể tồn tại trong một thời gian dài, nhưng để các hợp đồng thông minh truy cập được tất cả dữ liệu này là điều không đơn giản. ở trạng thái máy ảo, dữ liệu khối mới nhất và dữ liệu hợp đồng thông minh công khai khác. Để có thêm dữ liệu, hợp đồng thông minh có thể phải tốn rất nhiều công sức để truy cập:
Hợp đồng thông minh trong Máy ảo Ethereum (EVM) có quyền truy cập vào hàm băm tiêu đề khối của 256 khối gần đây nhất. Các tiêu đề khối này chứa tất cả thông tin hoạt động trong blockchain cho đến khối hiện tại và được nén thành giá trị băm 32 byte bằng cây Merkle và thuật toán băm Keccak.
Mặc dù dữ liệu được đóng gói băm nhưng nó có thể được giải nén—việc này không hề dễ dàng. Ví dụ: nếu bạn muốn tận dụng tiêu đề khối gần đây nhất để truy cập dữ liệu cụ thể trong khối trước đó một cách đáng tin cậy, thì việc này bao gồm một loạt các bước phức tạp. Trước tiên, bạn cần lấy dữ liệu ngoài chuỗi từ nút lưu trữ, sau đó xây dựng cây Merkle và bằng chứng hợp lệ của khối để xác minh tính xác thực của dữ liệu trên chuỗi khối. Sau đó, EVM sẽ xử lý các bằng chứng hợp lệ này để xác minh và giải thích.Hoạt động này không chỉ cồng kềnh, tốn thời gian mà còn rất tốn kém về gas.
Lý do cơ bản cho thách thức này là các máy ảo blockchain (chẳng hạn như EVM) vốn không phù hợp để xử lý lượng lớn dữ liệu và các tác vụ tính toán chuyên sâu, chẳng hạn như công việc giải nén nêu trên. Trọng tâm thiết kế của EVM là thực thi mã hợp đồng thông minh đồng thời đảm bảo tính bảo mật và phân cấp, thay vì xử lý dữ liệu quy mô lớn hoặc thực hiện các tác vụ tính toán phức tạp. Vì vậy, khi thực hiện các tác vụ đòi hỏi nhiều tài nguyên máy tính, người ta thường phải tìm các giải pháp khác, chẳng hạn như tận dụng tính toán off-chain hoặc các công nghệ mở rộng quy mô khác, lúc này bộ đồng xử lý ZK ra đời.
Bản tổng hợp ZK thực sự là bộ đồng xử lý ZK sớm nhất, hỗ trợ cùng loại tính toán được sử dụng trên L1 ở quy mô và số lượng lớn hơn. Bộ xử lý này ở cấp độ giao thức và bộ đồng xử lý ZK mà chúng ta đang nói đến hiện nay ở cấp độ dapp. Bộ đồng xử lý ZK nâng cao khả năng mở rộng của hợp đồng thông minh bằng cách cho phép chúng ủy thác một cách đáng tin cậy việc truy cập và tính toán dữ liệu lịch sử trên chuỗi bằng cách sử dụng bằng chứng ZK. Thay vì thực hiện tất cả các hoạt động trong EVM, các nhà phát triển có thể chuyển các hoạt động tốn kém sang bộ đồng xử lý ZK và chỉ cần sử dụng kết quả trên chuỗi. Điều này cung cấp một cách mới để các hợp đồng thông minh mở rộng quy mô bằng cách tách quyền truy cập và tính toán dữ liệu khỏi sự đồng thuận của blockchain.
Bộ đồng xử lý ZK giới thiệu một mẫu thiết kế mới cho các ứng dụng trên chuỗi, loại bỏ hạn chế về việc phải hoàn thành các phép tính trong máy ảo blockchain. Điều này cho phép các ứng dụng truy cập nhiều dữ liệu hơn trong khi kiểm soát chi phí gas và chạy ở quy mô lớn hơn trước, tăng khả năng mở rộng và hiệu quả của hợp đồng thông minh mà không ảnh hưởng đến tính phân cấp và bảo mật.
3. Triển khai kỹ thuật
Phần này sẽ sử dụng kiến trúc Axiom để giải thích cách bộ đồng xử lý zk giải quyết vấn đề về mặt kỹ thuật. Trên thực tế, có hai lõi: thu thập dữ liệu và tính toán. Trong hai quy trình này, ZK đảm bảo đồng thời tính hiệu quả và quyền riêng tư.
3.1 Thu thập dữ liệu
Một trong những khía cạnh quan trọng nhất của việc thực hiện tính toán trên bộ đồng xử lý ZK là đảm bảo rằng tất cả dữ liệu đầu vào được truy cập chính xác từ lịch sử blockchain. Như đã đề cập trước đó, điều này thực sự khá khó khăn vì các hợp đồng thông minh chỉ có thể truy cập trạng thái blockchain hiện tại trong mã của chúng và thậm chí quyền truy cập này còn là phần tốn kém nhất trong tính toán trên chuỗi. Điều này có nghĩa là dữ liệu lịch sử trên chuỗi như hồ sơ giao dịch hoặc số dư trước đó (đầu vào thú vị trên chuỗi trong tính toán) không thể được sử dụng nguyên bản bởi các hợp đồng thông minh để xác minh kết quả của bộ đồng xử lý.
Bộ đồng xử lý ZK giải quyết vấn đề này theo ba cách khác nhau, cân bằng chi phí, bảo mật và dễ dàng phát triển:
Lưu trữ dữ liệu bổ sung ở trạng thái blockchain và sử dụng EVM để lưu trữ tất cả dữ liệu được bộ đồng xử lý xác minh đọc sử dụng trên chuỗi. Cách tiếp cận này khá tốn kém và tốn kém đối với lượng lớn dữ liệu.
Tin tưởng Oracle hoặc mạng lưới người ký để xác thực dữ liệu đầu vào cho bộ đồng xử lý. Điều này yêu cầu người dùng bộ đồng xử lý phải tin tưởng vào Oracle hoặc nhà cung cấp multisig, điều này làm giảm tính bảo mật.
Sử dụng bằng chứng ZK để kiểm tra xem liệu có bất kỳ dữ liệu trên chuỗi nào được sử dụng trong bộ đồng xử lý đã được xác nhận trong lịch sử chuỗi khối hay không. Bất kỳ khối nào trong chuỗi khối đều cam kết tất cả các khối trong quá khứ và do đó bất kỳ dữ liệu lịch sử nào, cung cấp sự đảm bảo bằng mật mã về tính hợp lệ của dữ liệu và không yêu cầu thêm giả định về độ tin cậy từ người dùng.
3.2 Tính toán
Việc thực hiện tính toán ngoài chuỗi trong bộ đồng xử lý ZK yêu cầu chuyển đổi các chương trình máy tính truyền thống thành các mạch ZK. Hiện tại, tất cả các phương pháp để đạt được điều này đều có tác động rất lớn đến hiệu suất, với bằng chứng ZK có chi phí chung dao động từ 10.000 đến 1.000.000 so với việc thực hiện chương trình gốc. Mặt khác, mô hình tính toán của các mạch ZK khác với các kiến trúc máy tính tiêu chuẩn (ví dụ: hiện tại tất cả các biến phải được mã hóa modulo một số nguyên tố mật mã lớn và việc triển khai có thể không xác định), điều đó có nghĩa là các nhà phát triển rất khó viết chúng. trực tiếp.
Do đó, ba phương pháp chính để chỉ định tính toán trong bộ đồng xử lý ZK chủ yếu là sự cân bằng giữa hiệu suất, tính linh hoạt và khả năng phát triển dễ dàng:
Mạch tùy chỉnh: Nhà phát triển viết mạch riêng cho từng ứng dụng. Cách tiếp cận này có tiềm năng hiệu suất lớn nhất nhưng đòi hỏi nỗ lực đáng kể của nhà phát triển.
eDSL/DSL cho mạch: Nhà phát triển viết mạch cho từng ứng dụng nhưng loại bỏ các vấn đề cụ thể về ZK trong một khuôn khổ cố định (tương tự như sử dụng PyTorch cho mạng thần kinh). Nhưng hiệu suất thấp hơn một chút.
Các nhà phát triển zkVM viết mạch trong các máy ảo hiện có và xác minh việc thực thi chúng trong ZK. Điều này mang lại trải nghiệm đơn giản nhất cho các nhà phát triển khi sử dụng các máy ảo hiện có, nhưng dẫn đến hiệu suất và tính linh hoạt thấp hơn do các mô hình tính toán khác nhau giữa máy ảo và ZK.
4. Ứng dụng
Bộ đồng xử lý ZK có nhiều ứng dụng. Về mặt lý thuyết, bộ đồng xử lý ZK có thể đáp ứng tất cả các tình huống ứng dụng mà Dapp có thể đáp ứng. Miễn là đó là nhiệm vụ liên quan đến dữ liệu và điện toán, bộ đồng xử lý ZK có thể giảm chi phí, tăng hiệu quả và bảo vệ quyền riêng tư. Phần sau đây sẽ bắt đầu từ các bài hát khác nhau và khám phá những gì bộ xử lý ZK có thể làm ở lớp ứng dụng.
4.1 Defi
4.1.1 DEX
Lấy cái móc trong Uniswap V4 làm ví dụ:
Hook cho phép các nhà phát triển thực hiện các hoạt động được chỉ định tại bất kỳ điểm quan trọng nào trong toàn bộ vòng đời của nhóm thanh khoản - chẳng hạn như tùy chỉnh nhóm thanh khoản, trao đổi, phí trước hoặc sau khi giao dịch mã thông báo hoặc trước hoặc sau khi thay đổi vị trí LP. Ví dụ:
Nhà tạo lập thị trường trung bình có trọng số theo thời gian (TWAMM);
phí động dựa trên sự biến động hoặc đầu vào khác;
Lệnh giới hạn giá chuỗi;
Gửi thanh khoản ngoài phạm vi vào các giao thức cho vay;
Các oracle trên chuỗi được tùy chỉnh, chẳng hạn như oracle trung bình hình học;
Tự động gộp phí LP thành các vị trí LP;
Lợi nhuận MEV của Uniswap được phân phối cho LP;
Chương trình giảm giá lòng trung thành cho LP hoặc nhà giao dịch;
Nói một cách đơn giản, đó là một cơ chế cho phép các nhà phát triển nắm bắt dữ liệu lịch sử trên bất kỳ chuỗi nào và sử dụng nó để tùy chỉnh nhóm trong Uniswap theo ý tưởng của riêng họ. . Tuy nhiên, một khi logic mã xác định những điều này trở nên phức tạp, nó sẽ mang lại gánh nặng gas lớn cho người dùng và nhà phát triển. Khi đó, bộ xử lý zkcoprocessor sẽ rất hữu ích vào thời điểm này, có thể giúp tiết kiệm các khoản phí gas này và cải thiện hiệu quả.
Từ góc độ dài hạn hơn, bộ đồng xử lý ZK sẽ đẩy nhanh quá trình tích hợp DEX và CEX. Kể từ năm 2022, chúng tôi đã thấy rằng DEX và CEX đã trở nên nhất quán về mặt chức năng. Tất cả các CEX chính đều chấp nhận thực tế này và áp dụng ví Web3, xây dựng EVM L2 và áp dụng cơ sở hạ tầng hiện có như Lightning Network hoặc nguồn mở để tận dụng chia sẻ thanh khoản trên chuỗi. Hiện tượng này không thể tách rời khỏi sự tăng cường của bộ đồng xử lý ZK. Tất cả các chức năng mà CEX có thể đạt được, cho dù đó là giao dịch lưới, theo dõi, cho vay nhanh hay sử dụng dữ liệu người dùng, DEX cũng có thể được thực hiện thông qua bộ đồng xử lý ZK . , và khả năng kết hợp và tự do của Defi, cũng như các giao dịch của các loại tiền tệ nhỏ trên chuỗi, rất khó đạt được với CEX truyền thống. Đồng thời, công nghệ ZK cũng có thể bảo vệ quyền riêng tư của người dùng trong quá trình thực thi.
4.1.2 Airdrop
Nếu một số dự án muốn tiến hành airdrop, họ cần hợp đồng thông minh để truy vấn các hoạt động lịch sử của địa chỉ, nhưng không muốn tiết lộ thông tin địa chỉ của người dùng và thực thi nó mà không đưa ra bằng chứng tin cậy bổ sung. Thông qua sự tương tác giữa địa chỉ và một loạt giao thức cho vay như Aave, Hợp chất, Fraxlend và Spark làm tiêu chuẩn cho airdrop, việc thu thập dữ liệu lịch sử và các tính năng bảo mật của bộ đồng xử lý ZK có thể dễ dàng giải quyết nhu cầu này.
4.2 ZKML
Một điểm thú vị khác của bộ đồng xử lý ZK là trong lĩnh vực học máy. Vì các hợp đồng thông minh có thể được cung cấp khả năng tính toán ngoài chuỗi nên việc học máy hiệu quả cao trên chuỗi sẽ trở nên khả thi. Trên thực tế, bộ đồng xử lý ZK cũng thực hiện được điều đó. Phần không thể thiếu cho đầu vào và tính toán dữ liệu ZKML. Nó có thể trích xuất đầu vào cần thiết cho máy học từ dữ liệu lịch sử trên chuỗi/ngoài chuỗi được nhập trong hợp đồng thông minh, sau đó ghi phép tính vào mạch ZK và đưa nó vào chuôi.
4.3 KYC
KYC là một doanh nghiệp lớn và giờ đây thế giới web3 đang dần chấp nhận sự tuân thủ. Với bộ đồng xử lý ZK, bạn có thể tạo bằng chứng có thể xác minh hợp đồng thông minh bằng cách lấy bất kỳ dữ liệu ngoài chuỗi nào do người dùng cung cấp mà không cần phải tiết lộ bất kỳ thông tin không cần thiết nào về trên thực tế, một số dự án đang được triển khai, chẳng hạn như hook KYC của Uniswap, sử dụng bộ đồng xử lý ZK Pado để thu thập dữ liệu ngoài chuỗi mà không cần sự tin cậy. Bằng chứng về tài sản, bằng chứng về trình độ học vấn, bằng chứng về việc đi lại, bằng chứng lái xe, bằng chứng thực thi pháp luật, bằng chứng về người chơi, bằng chứng giao dịch... Tất cả các hành vi lịch sử trong và ngoài chuỗi thậm chí có thể được gói gọn thành một danh tính hoàn chỉnh và có thể được viết với độ tin cậy cao. ZK chứng tỏ khả năng hoạt động trên chuỗi đồng thời bảo vệ quyền riêng tư của người dùng.
4.4 Social
Thuộc tính đầu cơ của Friend.tech thực sự mạnh hơn thuộc tính xã hội. Cốt lõi nằm ở đường cong liên kết của nó. Có thể thêm một cái móc vào đường cong liên kết của Friend.tech để người dùng có thể tùy chỉnh hướng của đường cong liên kết không, chẳng hạn như triển khai Sau khi cơn sốt khóa giao dịch kết thúc và các nhà đầu cơ rời đi, đường cong liên kết sẽ được làm phẳng, rào cản gia nhập đối với những người hâm mộ thực sự sẽ được hạ xuống và lưu lượng truy cập miền riêng tư thực sự sẽ tăng lên. Hoặc để hợp đồng thông minh có được biểu đồ xã hội trên chuỗi/ngoài chuỗi của người dùng và có thể theo dõi bạn bè của bạn trên các Dapp xã hội khác nhau chỉ bằng một cú nhấp chuột. Hoặc bạn có thể thành lập một câu lạc bộ riêng trên chuỗi, chẳng hạn như câu lạc bộ Degen và chỉ những địa chỉ đáp ứng các điều kiện tiêu thụ gas lịch sử mới có thể vào, v.v.
4.5 Gaming
Trong các trò chơi Web2 truyền thống, dữ liệu người dùng là một thông số rất quan trọng. Hành vi mua hàng, phong cách trò chơi và sự đóng góp có thể giúp trò chơi vận hành tốt hơn và mang lại trải nghiệm người dùng tốt hơn, chẳng hạn như cơ chế kết hợp ELO trong trò chơi MOBA. Tần suất mua giao diện, v.v. ., nhưng những dữ liệu này rất khó nắm bắt bằng các hợp đồng thông minh trên blockchain nên chúng chỉ có thể được thay thế bằng các giải pháp tập trung hoặc đơn giản là bị bỏ rơi. Nhưng sự xuất hiện của bộ đồng xử lý ZK khiến các giải pháp phi tập trung trở nên khả thi.
5. Bên dự án
Đã có một số người chơi xuất sắc trong xu hướng này. Các ý tưởng thực sự giống nhau. Họ tạo ra bằng chứng ZK thông qua bằng chứng lưu trữ hoặc sự đồng thuận và sau đó đưa nó vào chuỗi. Tuy nhiên, mỗi người đều có những ưu điểm riêng về tính năng kỹ thuật và chức năng được triển khai.
5.1 Axiom
Axiom, công ty dẫn đầu về bộ đồng xử lý ZK (không có kiến thức), tập trung vào việc cho phép các hợp đồng thông minh có quyền truy cập không đáng tin cậy vào toàn bộ lịch sử Ethereum và mọi tính toán xác minh ZK. Các nhà phát triển có thể gửi các truy vấn trực tuyến tới Axiom, sau đó xử lý chúng thông qua xác minh ZK và truyền kết quả trở lại hợp đồng thông minh của nhà phát triển theo cách không đáng tin cậy. Điều này cho phép các nhà phát triển xây dựng các ứng dụng trên chuỗi phong phú hơn mà không cần dựa vào các giả định tin cậy bổ sung.
Để triển khai các truy vấn này, Axiom thực hiện ba bước sau:
đọc: Axiom tận dụng các bằng chứng ZK để đọc dữ liệu một cách đáng tin cậy từ tiêu đề khối, trạng thái, giao dịch và biên nhận của các khối lịch sử của Ethereum. Vì tất cả dữ liệu trên chuỗi Ethereum được mã hóa theo các định dạng này nên Axiom có thể truy cập mọi thứ mà các nút lưu trữ có thể truy cập. Axiom xác minh tất cả dữ liệu đầu vào tới bộ đồng xử lý ZK thông qua bằng chứng ZK của bộ ba Merkle-Patricia và chuỗi băm tiêu đề khối. Mặc dù cách tiếp cận này khó phát triển hơn nhưng nó mang lại sự bảo mật và chi phí tốt nhất cho người dùng cuối vì nó đảm bảo rằng tất cả các kết quả mà Axiom trả về đều tương đương về mặt mật mã với các tính toán trên chuỗi được thực hiện trong EVM.
tính toán: Sau khi dữ liệu được nhập vào, Axiom sẽ áp dụng các phép tính đã được xác thực trên dữ liệu đó. Các nhà phát triển có thể chỉ định logic tính toán của họ trong giao diện người dùng JavaScript và tính hợp lệ của từng phép tính được xác minh trong bằng chứng ZK. Các nhà phát triển có thể truy cập AxiomREPL hoặc xem tài liệu để tìm hiểu về các nguyên tắc tính toán cơ bản hiện có. Axiom cho phép người dùng truy cập dữ liệu trên chuỗi và chỉ định các phép tính của riêng họ thông qua eDSL. Nó cũng cho phép người dùng viết các mạch của riêng mình bằng thư viện mạch ZK.
xác minh: Axiom cung cấp bằng chứng xác thực ZK cho mỗi kết quả truy vấn. Những bằng chứng này đảm bảo rằng (1) dữ liệu đầu vào được trích xuất chính xác từ chuỗi và (2) các phép tính được áp dụng chính xác. Các bằng chứng ZK này được xác minh trực tuyến trong hợp đồng thông minh Axiom, đảm bảo rằng kết quả cuối cùng được sử dụng một cách đáng tin cậy trong hợp đồng thông minh của người dùng.
Vì kết quả được xác minh thông qua bằng chứng ZK nên kết quả của Axiom được bảo mật về mặt mật mã như kết quả của Ethereum. Cách tiếp cận này không đưa ra giả định nào về kinh tế học mật mã, động lực hoặc lý thuyết trò chơi. Axiom tin rằng phương pháp này sẽ mang lại mức độ đảm bảo cao nhất có thể cho các ứng dụng hợp đồng thông minh. Nhóm Axiom đã hợp tác chặt chẽ với Uniswap Foundation và nhận được Tài trợ Uniswap để xây dựng một oracle không cần tin cậy trên Uniswap.
5.2 Risc Zero
Bonsai：
Vào năm 2023, RISC Zero đã phát hành Bonsai, một dịch vụ bằng chứng cho phép các ứng dụng trên chuỗi và ngoài chuỗi yêu cầu và nhận bằng chứng zkVM. Bonsai là một dịch vụ chứng minh không có kiến thức phổ quát cho phép mọi chuỗi, mọi giao thức và mọi ứng dụng tận dụng bằng chứng ZK. Nó có khả năng song song hóa cao, có thể lập trình và hiệu suất cao.
Bonsai cho phép bạn tích hợp bằng chứng không có kiến thức trực tiếp vào bất kỳ hợp đồng thông minh nào mà không cần mạch tùy chỉnh. Điều này cho phép ZK được tích hợp trực tiếp vào các ứng dụng phi tập trung trên bất kỳ chuỗi EVM nào, với tiềm năng hỗ trợ bất kỳ hệ sinh thái nào khác.
zkVM là nền tảng của Bonsai, cho phép khả năng tương thích ngôn ngữ rộng, hỗ trợ mã Rust có thể chứng minh được và mã có thể chứng minh được bằng không có kiến thức trong bất kỳ ngôn ngữ nào biên dịch sang RISC-V (chẳng hạn như C++, Rust, Go, v.v.). Thông qua các bằng chứng đệ quy, trình biên dịch mạch tùy chỉnh, tiếp tục trạng thái và liên tục cải tiến các thuật toán chứng minh, Bonsai cho phép mọi người tạo ra các bằng chứng ZK hiệu suất cao cho nhiều ứng dụng khác nhau.
RISC Zero zkVM：
Được phát hành lần đầu tiên vào tháng 4 năm 2022, RISC Zero zkVM có thể chứng minh khả năng thực thi chính xác mã tùy ý, cho phép các nhà phát triển xây dựng ứng dụng ZK bằng các ngôn ngữ hoàn thiện như Rust và C++. Bản phát hành này là một bước đột phá lớn trong phát triển phần mềm ZK: zkVM cho phép xây dựng các ứng dụng ZK mà không cần xây dựng mạch và sử dụng ngôn ngữ tùy chỉnh.
Bằng cách cho phép các nhà phát triển sử dụng Rust và tận dụng sự trưởng thành của hệ sinh thái Rust, zkVM cho phép các nhà phát triển nhanh chóng xây dựng các ứng dụng ZK có ý nghĩa mà không yêu cầu nền tảng về toán học hoặc mật mã nâng cao.
Những ứng dụng này bao gồm:
JSON: Chứng minh nội dung của một mục trong tệp JSON trong khi vẫn giữ kín các dữ liệu khác.
Waldo ở đâu: Chứng minh rằng Waldo hiện diện trong tệp JPG trong khi vẫn giữ phần còn lại của hình ảnh ở chế độ riêng tư.
ZK chiếu tướng: Chứng minh rằng bạn đã nhìn thấy một nước đi chiếu hết mà không tiết lộ nước đi thắng.
Bằng chứng khai thác ZK: Bằng chứng cho thấy bạn có thể khai thác tài khoản Ethereum mà không để lộ lỗ hổng.
Xác minh chữ ký ECDSA: Chứng minh tính hợp lệ của chữ ký ECDSA.
Những ví dụ này được triển khai bằng cách tận dụng hệ sinh thái phần mềm hoàn thiện: hầu hết các bộ công cụ Rust đều có sẵn trong Risc Zero zkVM. Khả năng tương thích với Rust là yếu tố thay đổi cuộc chơi trong thế giới phần mềm ZK: các dự án có thể mất hàng tháng hoặc hàng năm để xây dựng trên các nền tảng khác có thể được giải quyết dễ dàng trên nền tảng của RISC Zero.
Ngoài việc dễ dàng xây dựng hơn, RISC Zero còn mang lại hiệu suất. zkVM có khả năng tăng tốc GPU của CUDA và Metal, đồng thời hiện thực hóa bằng chứng song song của các chương trình lớn thông qua việc tiếp tục.
Trước đây, Risc Zero đã nhận được 40 triệu USD trong vòng tài trợ Series A từ Galaxy Digital, IOSG, RockawayX, Maven 11, Fenbushi Capital, Delphi Digital, Algaé Ventures, IOBC và các tổ chức khác.
5.3 Brevis
Brevis, một công ty con của Celer Network, tập trung vào việc thu thập dữ liệu lịch sử đa chuỗi. Nó cung cấp cho các hợp đồng thông minh khả năng đọc dữ liệu lịch sử hoàn chỉnh từ bất kỳ chuỗi nào và thực hiện các phép tính tùy chỉnh toàn diện mà không cần tin cậy. Hiện tại, nó chủ yếu hỗ trợ Ethereum POS. Comos Tendermint và BSC.
Giao diện ứng dụng:
Hệ thống hiện tại của Brevis hỗ trợ các bằng chứng ZK hiệu quả và ngắn gọn, cung cấp thông tin chuỗi nguồn đã được ZK chứng minh sau đây cho các hợp đồng ứng dụng phi tập trung (dApp) được kết nối với blockchain:
Băm khối và trạng thái liên quan, giao dịch và gốc biên nhận của bất kỳ khối nào trên chuỗi nguồn.
Giá trị vị trí và siêu dữ liệu liên quan cho bất kỳ khối, hợp đồng, vị trí cụ thể nào trên chuỗi nguồn.
Biên lai giao dịch và siêu dữ liệu liên quan cho bất kỳ giao dịch nào trên chuỗi nguồn.
Đầu vào giao dịch và siêu dữ liệu liên quan cho bất kỳ giao dịch nào trên chuỗi nguồn.
Bất kỳ tin nhắn nào được gửi bởi bất kỳ thực thể nào trên chuỗi nguồn tới bất kỳ thực thể nào trên chuỗi đích.
Tổng quan về kiến trúc:
Kiến trúc của Brevis bao gồm ba phần chính:
mạng lặp lại: Nó đồng bộ hóa các tiêu đề khối và thông tin trên chuỗi từ các chuỗi khối khác nhau và chuyển tiếp chúng đến mạng xác thực để tạo bằng chứng hợp lệ. Sau đó, nó gửi thông tin đã được xác minh và các bằng chứng liên quan đến chuỗi khối được kết nối.
mạng lưới chứng minh: Triển khai các mạch cho giao thức client nhẹ của mỗi blockchain, cập nhật khối và tạo bằng chứng về các giá trị vị trí, giao dịch, biên lai và logic ứng dụng tích hợp được yêu cầu. Để giảm thiểu thời gian, chi phí và chi phí xác minh trên chuỗi, một mạng lưới các nhà chứng minh có thể tổng hợp các bằng chứng phân tán được tạo ra đồng thời. Ngoài ra, nó có thể tận dụng các bộ tăng tốc như GPU, FPGA và ASIC để tăng hiệu quả.
Kết nối hợp đồng xác thực trên blockchain: Nhận dữ liệu đã được xác minh zk và các bằng chứng liên quan do mạng trình xác thực tạo ra, sau đó cung cấp thông tin đã được xác minh trở lại hợp đồng dApp.
Kiến trúc tích hợp này cho phép Brevis đảm bảo hiệu quả và bảo mật cao khi cung cấp dữ liệu và tính toán chuỗi chéo, cho phép các nhà phát triển dApp tận dụng tối đa tiềm năng của blockchain. Với kiến trúc mô-đun này, Brevis có thể cung cấp khả năng tính toán và truy cập dữ liệu hoàn toàn không cần tin cậy, linh hoạt và hiệu quả cho các hợp đồng thông minh trên chuỗi trên tất cả các chuỗi được hỗ trợ. Điều này cung cấp một mô hình hoàn toàn mới để phát triển dApp. Brevis có nhiều trường hợp sử dụng khác nhau, chẳng hạn như DeFi dựa trên dữ liệu, zkBridges, chuyển đổi người dùng trên chuỗi, zkDID, trừu tượng hóa tài khoản xã hội, v.v., giúp tăng khả năng tương tác dữ liệu.
5.4 Langrange
Langrange và Brevis có tầm nhìn tương tự để nâng cao khả năng tương tác giữa nhiều chuỗi thông qua ZK Big Data Stack, có thể tạo ra bằng chứng chung về trạng thái trên tất cả các chuỗi khối chính. Bằng cách tích hợp với giao thức Langrange, các ứng dụng có thể gửi bằng chứng tổng hợp về trạng thái đa chuỗi, sau đó có thể được xác minh không tương tác bằng các hợp đồng trên các chuỗi khác.
Không giống như các giao thức kết nối và nhắn tin truyền thống, giao thức Langrange không dựa vào một nhóm nút cụ thể để cung cấp thông tin. Thay vào đó, nó tận dụng mật mã để phối hợp các bằng chứng về trạng thái chuỗi chéo trong thời gian thực, bao gồm cả những bằng chứng do người dùng không đáng tin cậy gửi. Theo cơ chế này, ngay cả khi nguồn thông tin không đáng tin cậy, việc áp dụng công nghệ mã hóa vẫn đảm bảo tính hợp lệ và bảo mật của chứng chỉ.
Giao thức Langrange ban đầu sẽ tương thích với tất cả các bản cuộn L1 và L2 tương thích với EVM. Ngoài ra, Langrange cũng có kế hoạch hỗ trợ các chuỗi không tương thích với EVM trong tương lai gần, bao gồm nhưng không giới hạn ở Solana, Sui, Aptos và các chuỗi công khai phổ biến dựa trên Cosmos SDK.
Sự khác biệt giữa giao thức Langrange và các giao thức cầu nối và nhắn tin truyền thống:
Các giao thức kết nối và nhắn tin truyền thống chủ yếu được sử dụng để chuyển tài sản hoặc tin nhắn giữa một cặp chuỗi cụ thể. Các giao thức này thường dựa vào một tập hợp các nút trung gian để xác nhận tiêu đề khối mới nhất của chuỗi nguồn trên chuỗi đích. Chế độ này chủ yếu được tối ưu hóa cho các mối quan hệ chuỗi đơn với chuỗi đơn, dựa trên trạng thái hiện tại của hai chuỗi. Ngược lại, giao thức Langrange cung cấp một phương pháp tương tác chuỗi chéo tổng quát và linh hoạt hơn, cho phép các ứng dụng tương tác trong hệ sinh thái chuỗi khối rộng hơn thay vì bị giới hạn trong mối quan hệ chuỗi-chuỗi đơn lẻ.
Giao thức Langrange đặc biệt tối ưu hóa cơ chế chứng minh trạng thái của các hợp đồng liên chuỗi, thay vì chỉ truyền thông tin hoặc tài sản. Tính năng này cho phép giao thức Langrange xử lý hiệu quả các phân tích phức tạp liên quan đến trạng thái hợp đồng hiện tại và lịch sử, có thể trải rộng trên nhiều chuỗi. Khả năng này cho phép Langrange hỗ trợ một loạt các kịch bản ứng dụng chuỗi chéo phức tạp, chẳng hạn như tính toán mức trung bình động của giá tài sản trên các sàn giao dịch phi tập trung đa chuỗi (DEX) hoặc phân tích sự biến động của lãi suất thị trường tiền tệ trên nhiều chuỗi khác nhau.
Do đó, chứng minh trạng thái Langrange có thể được coi là sự tối ưu hóa cho các mối quan hệ chuỗi nhiều-một (n-1). Trong mối quan hệ xuyên chuỗi này, một ứng dụng phi tập trung (DApp) trên một chuỗi dựa vào việc tổng hợp dữ liệu trạng thái lịch sử và thời gian thực từ nhiều chuỗi khác (n). Tính năng này mở rộng đáng kể chức năng và hiệu quả của DApps, cho phép chúng tổng hợp và phân tích dữ liệu từ nhiều chuỗi khối khác nhau để cung cấp những hiểu biết sâu sắc hơn, toàn diện hơn. Phương pháp này khác biệt đáng kể so với mối quan hệ chuỗi đơn hoặc chuỗi một-một truyền thống và cung cấp phạm vi ứng dụng và tiềm năng rộng hơn cho các ứng dụng blockchain.
Langrange trước đây đã nhận được khoản đầu tư từ 1kx, Maven 11, Lattice, CMT Digital và gumi crypto.
5.5 Herodotus
Herodotus được thiết kế để cung cấp các hợp đồng thông minh với khả năng truy cập dữ liệu trên chuỗi đồng bộ từ các lớp Ethereum khác. Họ tin rằng bằng chứng lưu trữ có thể thống nhất trạng thái của nhiều Bản tổng hợp và thậm chí cho phép đọc đồng bộ giữa các lớp Ethereum. Nói một cách đơn giản, đó là việc thu thập dữ liệu giữa chuỗi chính EVM và chuỗi tổng hợp. Hiện hỗ trợ mạng chính ETH, Starknet, Zksync, OP, Arbitrum và Polygon.
Bằng chứng lưu trữ theo định nghĩa của Herodotus là bằng chứng tổng hợp có thể được sử dụng để xác minh tính hợp lệ của một hoặc nhiều thành phần trong một tập dữ liệu lớn, chẳng hạn như dữ liệu trong toàn bộ chuỗi khối Ethereum.
Quá trình tạo bằng chứng lưu trữ được chia thành ba bước:
Bước 1: Lấy bộ tích lũy lưu trữ tiêu đề khối của các cam kết có thể kiểm chứng
Bước này nhằm đạt được một cam kết mà chúng tôi có thể xác minh. Nếu bộ tích lũy chưa chứa tiêu đề khối mới nhất mà chúng tôi cần chứng minh, trước tiên chúng tôi cần chứng minh tính liên tục của chuỗi để đảm bảo chúng tôi bao phủ phạm vi các khối chứa dữ liệu mục tiêu của mình. Ví dụ: nếu dữ liệu chúng tôi muốn chứng minh nằm ở khối 1.000, 001 và hợp đồng thông minh được lưu trữ trong tiêu đề khối chỉ bao gồm khối 1.000, 000, thì chúng tôi cần cập nhật bộ lưu trữ tiêu đề.
Nếu khối mục tiêu đã có trong bộ tích lũy, bạn có thể chuyển trực tiếp sang bước tiếp theo.
Bước 2: Chứng minh sự tồn tại của một tài khoản cụ thể
Bước này yêu cầu tạo bằng chứng bao gồm từ State Trie bao gồm tất cả các tài khoản trong mạng Ethereum. Root trạng thái là một phần quan trọng trong việc lấy hàm băm cam kết khối và cũng là một phần của bộ lưu trữ tiêu đề. Điều quan trọng cần lưu ý là hàm băm tiêu đề khối trong bộ tích lũy có thể khác với hàm băm thực tế của khối vì một phương pháp băm khác có thể đã được sử dụng để đạt hiệu quả.
Bước 3: Chứng minh số liệu cụ thể trên cây tài khoản
Trong bước này, bằng chứng bao gồm có thể được tạo cho dữ liệu như nonces, số dư, gốc lưu trữ hoặc codeHash. Mỗi tài khoản Ethereum có một bộ ba lưu trữ (Merkle Patricia Tree), được sử dụng để lưu dữ liệu lưu trữ của tài khoản. Nếu dữ liệu chúng tôi muốn chứng minh có trong kho tài khoản thì chúng tôi cần tạo bằng chứng bổ sung về việc đưa vào các điểm dữ liệu cụ thể trong kho lưu trữ đó.
Sau khi tạo ra tất cả các bằng chứng bao gồm và bằng chứng tính toán cần thiết, một bằng chứng lưu trữ hoàn chỉnh sẽ được hình thành. Bằng chứng này sau đó được gửi đến chuỗi, nơi nó được xác minh dựa trên một cam kết ban đầu duy nhất (chẳng hạn như blockhash) hoặc gốc MMR của kho lưu trữ tiêu đề. Quá trình này đảm bảo tính xác thực và tính toàn vẹn của dữ liệu đồng thời duy trì hiệu quả của hệ thống.
Herodotus đã được hỗ trợ bởi Geometry, Fabric Ventures, Lambda Class và Starkware.
5.6 HyperOracle
Hyper Oracle được thiết kế đặc biệt dành cho các nhà tiên tri không có kiến thức có thể lập trình để giữ cho các chuỗi khối an toàn và phi tập trung. Hyper Oracle làm cho dữ liệu trên chuỗi và các phép tính tương đương trên chuỗi trở nên thực tế, có thể kiểm chứng và hoàn thiện nhanh chóng thông qua tiêu chuẩn zkGraph của nó. Nó cung cấp cho các nhà phát triển một cách hoàn toàn mới để tương tác với blockchain.
Nút zkOracle của Hyper Oracle chủ yếu bao gồm hai thành phần: zkPoS và zkWASM.
zkPoS: Thành phần này chịu trách nhiệm lấy tiêu đề khối và gốc dữ liệu của chuỗi khối Ethereum thông qua bằng chứng không kiến thức (zk) để đảm bảo tính chính xác của sự đồng thuận Ethereum. zkPoS cũng hoạt động như một mạch bên ngoài cho zkWASM.
zkWASM: Nó sử dụng dữ liệu thu được từ zkPoS làm đầu vào chính để chạy zkGraph. zkWASM chịu trách nhiệm chạy các bản đồ dữ liệu tùy chỉnh được xác định bởi zkGraphs và tạo ra bằng chứng không có kiến thức cho các hoạt động này. Người vận hành các nút zkOracle có thể chọn số lượng zkGraph mà họ muốn chạy, có thể từ một đến tất cả các zkGraph được triển khai. Quá trình tạo bằng chứng zk có thể được ủy quyền cho một mạng lưới các người chứng minh được phân phối.
Đầu ra của zkOracle là dữ liệu ngoài chuỗi mà các nhà phát triển có thể sử dụng thông qua tiêu chuẩn zkGraph của Hyper Oracle. Dữ liệu cũng đi kèm với chứng chỉ zk để xác minh tính hợp lệ của dữ liệu và tính toán.
Để duy trì bảo mật mạng, mạng Hyper Oracle chỉ yêu cầu một nút zkOracle. Tuy nhiên, nhiều nút zkOracle có thể tồn tại trong mạng, hoạt động dựa trên zkPoS và mỗi zkGraph. Điều này cho phép tạo ra các bằng chứng zk song song, cải thiện đáng kể hiệu suất. Nhìn chung, Hyper Oracle cung cấp cho các nhà phát triển một nền tảng tương tác blockchain hiệu quả và an toàn bằng cách kết hợp công nghệ zk tiên tiến và kiến trúc nút linh hoạt.
Vào tháng 1 năm 2023, Hyper Oracle thông báo rằng họ đã nhận được 3 triệu đô la Mỹ trong khoản tài trợ giai đoạn tiền hạt giống do Dao 5, Sequoia China, Foresight Ventures và FutureMoney Group cùng tham gia.
5.7 Pado
Pado là một sự tồn tại tương đối đặc biệt trong số các bộ đồng xử lý ZK. Các bộ đồng xử lý khác tập trung vào việc thu thập dữ liệu trên chuỗi, trong khi Pado cung cấp đường dẫn để thu thập dữ liệu ngoài chuỗi, nhằm mục đích đưa tất cả dữ liệu Internet vào hợp đồng thông minh. Nó thay thế chức năng của oracle ở một mức độ nhất định trong khi vẫn đảm bảo quyền riêng tư và loại bỏ nhu cầu tin cậy vào các nguồn dữ liệu bên ngoài.
5.8 So sánh giữa bộ đồng xử lý ZK và oracle
Độ trễ: Oracle không đồng bộ nên độ trễ khi truy cập dữ liệu phẳng dài hơn so với bộ đồng xử lý ZK.
Chi phí: Mặc dù nhiều oracle không yêu cầu bằng chứng tính toán và do đó ít tốn kém hơn nhưng chúng lại kém an toàn hơn. Việc lưu trữ bằng chứng đắt hơn nhưng an toàn hơn.
Bảo mật: Tính bảo mật tối đa của việc truyền dữ liệu bị giới hạn bởi mức độ bảo mật của chính oracle. Ngược lại, bộ đồng xử lý ZK phù hợp với tính bảo mật của chuỗi. Ngoài ra, các nhà tiên tri rất dễ bị tấn công thao túng do sử dụng các bằng chứng ngoài chuỗi.
Hình dưới đây cho thấy quy trình làm việc của Pado:
Pado sử dụng các nút mật mã làm trình chứng minh phụ trợ. Để giảm bớt các giả định về độ tin cậy, nhóm Pado sẽ áp dụng chiến lược cải tiến và dần dần cải thiện tính phân cấp của dịch vụ người chứng minh. Người chứng minh tích cực tham gia vào quá trình truy xuất và chia sẻ dữ liệu người dùng đồng thời chứng minh tính xác thực của dữ liệu người dùng thu được từ các nguồn dữ liệu mạng. Đặc biệt, Pado tận dụng MPC-TLS (Tính toán đa bên bảo mật lớp vận chuyển) và IZK (Bằng chứng không có kiến thức tương tác) để cho phép người chứng minh"mù"chứng minh dữ liệu. Điều này có nghĩa là người xác thực không thể xem bất kỳ dữ liệu gốc nào, bao gồm cả thông tin người dùng công khai và riêng tư. Tuy nhiên, người xác minh vẫn có thể đảm bảo nguồn gốc của mọi dữ liệu TLS được truyền đi thông qua các phương pháp mã hóa.
1. MPC-TLS: TLS là một giao thức bảo mật được sử dụng để bảo vệ quyền riêng tư và tính toàn vẹn dữ liệu của truyền thông Internet. Khi bạn truy cập một trang web và thấy biểu tượng khóa và https trên URL, điều đó có nghĩa là lượt truy cập của bạn được bảo mật thông qua TLS. MPC-TLS bắt chước chức năng của máy khách TLS, cho phép trình xác thực của Pado làm việc với máy khách TLS để thực hiện các tác vụ sau:
Thiết lập kết nối TLS, bao gồm tính toán khóa chính, khóa phiên, thông tin xác thực, v.v.
Thực hiện các truy vấn qua kênh TLS, bao gồm tạo các yêu cầu được mã hóa và giải mã phản hồi của máy chủ.
Điều quan trọng cần lưu ý là các hoạt động liên quan đến TLS này được thực hiện giữa máy khách và người xác minh thông qua giao thức Tính toán hai bên (2 PC). Thiết kế của MPC-TLS dựa trên một số công nghệ mã hóa, chẳng hạn như mạch làm xáo trộn (GC), quên truyền (OT), IZK, v.v.
2. IZK: Bằng chứng không có kiến thức tương tác là bằng chứng không có kiến thức trong đó người chứng minh và người xác minh có thể tương tác. Trong giao thức IZK, kết quả của người xác minh là chấp nhận hoặc từ chối yêu cầu của người chứng minh. So với các NIZK đơn giản (chẳng hạn như zk-STARK hoặc zk-SNARK), giao thức IZK có một số ưu điểm, chẳng hạn như khả năng mở rộng cao cho các yêu cầu lớn, chi phí tính toán thấp, không cần thiết lập đáng tin cậy và giảm thiểu mức sử dụng bộ nhớ.
Pado đang tích cực phát triển kyc hook của Uniswap, tìm kiếm thêm các kịch bản ứng dụng trên chuỗi dữ liệu và đã được chọn vào đợt đầu tiên của chương trình Học bổng Consensys.
6. Triển vọng tương lai
Bộ đồng xử lý ZK cho phép blockchain thu thập nhiều dữ liệu hơn và có được tài nguyên điện toán ngoài chuỗi với chi phí thấp hơn mà không gây tổn hại đến sự phân quyền. Đồng thời, nó tách rời quy trình làm việc của các hợp đồng thông minh và tăng Khả năng mở rộng và hiệu quả.
Chỉ xét từ phía nhu cầu, bộ đồng xử lý ZK là cần thiết. Chỉ xét từ góc độ của đường đua DEX, hook này có tiềm năng rất lớn và có thể làm được nhiều việc. Nếu sushiswap không có hook, nó sẽ không thể cạnh tranh với uniswap, và nó sẽ bị chỉ trích nặng nề. Nó sẽ sớm bị loại bỏ. Nếu bộ xử lý zkcoprocessor không được sử dụng cho hook, gas sẽ rất tốn kém đối với các nhà phát triển và người dùng, vì hook đưa ra logic mới và làm cho hợp đồng thông minh trở nên phức tạp hơn, điều này phản tác dụng. Vì vậy hiện tại sử dụng bộ đồng xử lý zk là giải pháp tốt nhất. Cho dù từ góc độ thu thập dữ liệu hay tính toán, một số phương pháp đều có những ưu điểm và nhược điểm khác nhau.Bộ đồng xử lý phù hợp với các chức năng cụ thể là bộ đồng xử lý tốt. Thị trường điện toán có thể xác minh trên chuỗi có triển vọng rộng lớn và sẽ phản ánh giá trị mới trong nhiều lĩnh vực hơn.
Trong sự phát triển trong tương lai của blockchain, nó có khả năng phá vỡ các rào cản dữ liệu truyền thống của web2. Thông tin sẽ không còn là những hòn đảo biệt lập và đạt được khả năng tương tác mạnh mẽ hơn. Bộ đồng xử lý ZK sẽ trở thành phần mềm trung gian mạnh mẽ để đảm bảo an ninh, quyền riêng tư và không cần tin cậy điều kiện để giảm chi phí và tăng hiệu quả cho việc thu thập, tính toán và xác minh dữ liệu hợp đồng thông minh, giải phóng mạng dữ liệu, mở ra nhiều khả năng hơn và trở thành cơ sở hạ tầng cho các ứng dụng có mục đích thực sự và Đại lý AI trên chuỗi. Chỉ khi bạn không thể nghĩ đến điều đó, bạn không thể làm được.
Hãy tưởng tượng một kịch bản trong tương lai: sử dụng độ tin cậy và quyền riêng tư cao của ZK để xác minh dữ liệu, các tài xế gọi xe trực tuyến có thể xây dựng một mạng tổng hợp ngoài nền tảng của riêng họ. Mạng dữ liệu này có thể bao gồm Uber, Lyft, Didi, Bolt, v.v., các tài xế gọi xe trực tuyến có thể cung cấp dữ liệu trên nền tảng riêng của họ. Bạn lấy một phần, tôi lấy một phần và đặt nó lại với nhau trên blockchain. Dần dần, một mạng lưới độc lập với nền tảng riêng của họ được thiết lập và tổng hợp. Tất cả dữ liệu tài xế đã trở thành một công cụ tổng hợp lớn dữ liệu gọi xe trực tuyến, đồng thời, nó có thể khiến các tài xế ẩn danh và không bị rò rỉ quyền riêng tư của họ.
7. Chỉ số
https://blog.axiom.xyz/what-is-a-zk-coprocessor/
https://crypto.mirror.xyz/BFqUfBNVZrqYau3Vz9WJ-BACw5FT3W30iUX3mPlKxtA
https://dev.risczero.com/api
https://blog.uniswap.org/uniswap-v4
https://blog.celer.network/2023/03/21/brevis-a-zk-omnichain-data-attestation-platform/
https://lagrange-labs.gitbook.io/lagrange-labs/overview/what-is-the-lagrange-protocol
https://docs.herodotus.dev/herodotus-docs/
https://docs.padolabs.org/
Cảm ơn Yiping Lu vì những gợi ý và hướng dẫn cho bài viết này
Về tầm nhìn xa
Foresight Ventures đang đặt cược vào quá trình đổi mới của tiền điện tử trong vài thập kỷ tới. Nó quản lý nhiều quỹ: quỹ VC, quỹ quản lý tích cực thứ cấp, FOF đa chiến lược và quỹ S có mục đích đặc biệt Quỹ thứ cấp tầm nhìn xa l. quy mô vượt quá 4 Một trăm triệu đô la Mỹ. Foresight Ventures tuân thủ khái niệm Độc đáo, Độc lập, Tích cực, Lâu dài và cung cấp hỗ trợ rộng rãi cho các dự án thông qua sức mạnh sinh thái mạnh mẽ. Đội ngũ của nó đến từ những người cấp cao từ các công ty tài chính và công nghệ hàng đầu bao gồm Sequoia China, CICC, Google, Bitmain và các công ty tài chính và công nghệ hàng đầu khác.
