Nhìn lướt qua các dự án tài chính quan trọng đáng được chú ý trong đường đua ZK gần đây

tiêu đề cấp đầu tiên

ZK, ZK-VM và ZK-EVM

Để hiểu các đặc điểm kỹ thuật đằng sau mỗi dự án trên đường ZK, trước tiên chúng ta hãy hiểu các khái niệm cơ bản liên quan đến ZK.

ZKP (Zero Knowledge Proof) là viết tắt của zero-knowledge proof, đề cập đến việc giải quyết các vấn đề về quyền riêng tư và mở rộng của chuỗi khối thông qua mật mã toán học, chủ yếu thông qua người xác nhận và người xác minh để xác minh tính chính xác của dữ liệu mà không tiết lộ dữ liệu.

ZK-VM là một máy ảo dựa trên bằng chứng không kiến ​​thức, kết hợp ZK bằng chứng không kiến ​​thức và máy ảo VM (Máy ảo). ZK-VM nhìn chung bao gồm 2 thành phần quan trọng: một là trình biên dịch (Compiler) có thể biên dịch các ngôn ngữ cấp cao như C++ và Rust thành các biểu thức trung gian (IR) để hệ thống ZK chứng minh; hai là phần hướng dẫn bộ khung ISA (Kiến trúc tập lệnh), tập lệnh chủ yếu hướng dẫn các hoạt động của CPU và là một loạt các tập lệnh được sử dụng để hướng dẫn CPU thực hiện các hoạt động.

tiêu đề cấp đầu tiên

ZK gần đây theo dõi các dự án tài chính mới đáng chú ý

Nil Foundation

Nil FoundationTên đầy đủ là "=nil; Foundation", điều này hơi vô nghĩa, trên thực tế, cái tên kỳ lạ này xuất phát từ một trò đùa SQL injection.

Được thành lập vào năm 2018, Nil Foundation khởi đầu là một hệ thống quản lý cơ sở dữ liệu. Vào cuối năm ngoái, nó đã hoàn thành khoản tài trợ 22 triệu đô la Mỹ với mức định giá 220 triệu đô la Mỹ, dẫn đầu là Polychain Capital, với sự tham gia của Blockchain Capital, Starkware, Mina Protocol và IOSG Ventures.

Nil Foundation đã xây dựng một trình biên dịch mạch ZK dựa trên LLVM, có thể biên dịch các chương trình được viết bằng các ngôn ngữ cấp cao như C++ và Rust thành các biểu diễn trung gian (IR) thích hợp để chứng minh hệ thống ZK. Tức là Nil Foundation là một trình biên dịch mạch chứ không phải một máy ảo.

LLVM (LowLevelVirtualMachine) là một hệ thống khung dành cho các trình biên dịch tạo khung, có thể tối ưu hóa quá trình biên dịch và thời gian chạy các chương trình được viết bằng các ngôn ngữ cấp cao như Rust và C++. LLVM ban đầu được phát triển vào năm 2000 bởi Tiến sĩ Chris Lattner tại Đại học Illinois. Sau khi gia nhập Apple vào năm 2006, Chris Lattner bắt đầu cống hiến hết mình cho việc ứng dụng LLVM trong hệ thống phát triển, hiện tại LLVM đã được các công ty lớn như Apple, Microsoft, Google và Facebook áp dụng.

Ngoài ra, Nil Foundation có một vị trí đặc biệt ở chỗ nó đã thành lập một "Thị trường bằng chứng". Thông qua Thị trường bằng chứng, người dùng có thể trả tiền cho những người sở hữu phần cứng để xác minh cho họ và những người chứng minh cạnh tranh để chứng minh cho những người dùng trả tiền cho họ . Về mặt tính toán, thị trường tự do năng động này sẽ cho phép người chứng minh tối ưu hóa các nhiệm vụ chứng minh có giá trị nhất.

Sovereign Labs

Tập trung vào việc xây dựng ZK-Rollup SDKSovereign LabsNó đã đóng một vòng hạt giống trị giá 7,4 triệu đô la vào tháng 1, do Haun Ventures dẫn đầu, với sự tham gia của Maven 11, 1KX, Robot Ventures và Plaintext Capital.

Sovereign Labs có kế hoạch xây dựng một bộ công cụ phát triển phần mềm (SDK) để giúp các nhà phát triển tạo các bản tổng hợp không kiến ​​thức an toàn và có thể tương tác. SDK chủ quyền nhằm mục đích đơn giản hóa việc tạo ZK-Rollups, giống như SDK Cosmos đơn giản hóa việc tạo Lớp 1. Đây là khung tổng hợp đầu tiên loại bỏ sự phức tạp của kiến ​​thức bằng không, giúp các nhà phát triển dễ dàng xây dựng ứng dụng của họ mà không cần các nhà phát triển phải là chuyên gia về mật mã. Sử dụng Sovereign SDK, các nhà phát triển sẽ có thể viết các ứng dụng bằng ngôn ngữ Rust (hoặc C++) đặc trưng và SDK sẽ tự động biên dịch chúng thành một máy ảo ZK hiệu quả.

Lộ trình của Sovereign Labs được chia thành 3 phần. Giai đoạn đầu tiên là hoàn thành nguyên mẫu thiết kế nghiên cứu vào quý 2 năm 2023. Nguyên mẫu hiện tại tích hợp Celestia để có sẵn dữ liệu và Risc 0 để chứng minh. Giai đoạn thứ hai là triển khai Sovereign SDK, bao gồm mạng ngang hàng, các nút RPC, API lõi cũng như các mô-đun sắp xếp và lưu trữ mặc định. Giai đoạn thứ ba là tiến hành dọn dẹp mã, thử nghiệm, làm mờ và kiểm toán.

Ulvetanna

Ulvetanna Một công ty khởi nghiệp xây dựng phần cứng để cải thiện hiệu quả của việc tạo bằng chứng không kiến ​​thức (ZKP) đã hoàn thành vòng hạt giống trị giá 15 triệu đô la với mức định giá 55 triệu đô la, do Bain Capital Crypto và Paradigm đồng dẫn đầu, với sự tham gia của Jump Crypto.

Ulvetanna đang xây dựng phần cứng được thiết kế để tăng tốc quá trình tạo ZKP và nhóm của Ulvetanna bao gồm các lập trình viên và kỹ sư từ Coinbase, Microsoft và Intel.

Khi nhu cầu về ZKP tăng lên trong tương lai, ZKP đòi hỏi rất nhiều tính toán, đòi hỏi phần cứng mạnh mẽ và tiêu tốn nhiều điện năng. Ulvetanna tin rằng việc tạo ZKP hiệu quả hơn nhiều trên phần cứng được thiết kế theo mục đích, vì vậy Ulvetanna đã tập hợp một nhóm có kinh nghiệm bao gồm các nhà mật mã học ứng dụng, kỹ sư phần mềm và phần cứng, trung tâm dữ liệu và kiến ​​trúc sư đám mây cũng như các nhà đầu tư tiền điện tử, Cung cấp các dịch vụ điện toán phần cứng ZKP hiệu quả bằng cách kết hợp mật mã và tính toán hiệu năng cao.

Cysic

Khởi động phần cứng ZKCysicĐã hoàn thành vòng hạt giống trị giá 6 triệu đô la vào tháng 12 năm 2022, do Polychain Capital dẫn đầu, cùng với các nhà đầu tư khác bao gồm Hashkey, SNZ Holding, ABCDE và Web3.com Foundation.

Cysic nhằm mục đích cung cấp giải pháp tăng tốc phần cứng cho bằng chứng ZK. Các đối tác Cysic hiện tại bao gồm Scroll, Nil Foundation và Hyper Oracle.

Nhóm Cysic đã phát triển một nguyên mẫu FPGA của Multiscalar Multiply (MSM), là một dạng phần cứng có thể lập trình tương tự như chip CPU và GPU (ít tiết kiệm năng lượng hơn chạy MSM trên CPU).

Hyper Oracle

Mạng tiên tri ZKHyper OracleGần đây đã hoàn thành vòng tài trợ hạt giống trị giá 3 triệu đô la do dao 5 và Sequoia China Seed Fund đồng dẫn đầu, tiếp theo là Foresight Ventures và FutureMoney Group.

Hyper Oracle đang phát triển giao thức phần mềm trung gian ZK và máy tiên tri ZK zkOracle dựa trên máy ảo zkWASM để giải quyết các thách thức của phần mềm trung gian blockchain về bảo mật, phân cấp, tính toàn vẹn và hiệu suất tính toán.

Polyhedra

Các công ty khởi nghiệp cơ sở hạ tầng ZK gần đâyPolyhedra Network Đã kết thúc vòng cấp vốn trị giá 10 triệu đô la do Binance Labs và Polychain Capital đồng dẫn đầu, với sự tham gia của Animoca Brands và Dao 5.

Polyhedra hiện đang phát triển 3 sản phẩm ZK dựa trên công nghệ ZK: bao gồm ZK Bridge (zkBridge) để truyền tài sản L1 và L2; ZK-DID, một giải pháp nhận dạng người dùng sử dụng công nghệ bằng chứng không kiến ​​thức để bảo vệ quyền riêng tư; một giao thức NFT có thể lập trình ZK- NFT, sản phẩm này sử dụng công nghệ bằng chứng không có kiến ​​thức để bảo vệ quyền riêng tư của tài sản người dùng. Hiện tại, mạng thử nghiệm zkBridge đã được ra mắt. Ngoài ra, Polyhedra cũng đã phát triển một giải pháp mở rộng có tên là ParaPlonk, giải pháp này có thể sử dụng mạng tạo bằng chứng phân tán quy mô lớn để tăng tốc các bản tổng hợp ZK. Polyhedra có kế hoạch tích hợp nhiều chuỗi khối hơn và giúp các nhà phát triển dễ dàng truy cập thông qua các công cụ API và SDK để thu hút nhiều nhà phát triển ZK-rollup hơn.

RISC ZERO

RISC Zero(Thông tin tài chính vẫn chưa được công bố) là một ZK-VM mục đích chung mã nguồn mở. Tên của dự án bắt nguồn từ RISC (Máy tính tập lệnh rút gọn) phổ biến. RISC Zero sử dụng RISC-V thế hệ thứ 5 mới nhất. ý tưởng của tập lệnh RISC-V là tối đa hóa tập lệnh đã rút gọn, vốn chỉ chứa hơn 40 tập lệnh. Do tập lệnh RISC-V, RISC Zero hỗ trợ các ngôn ngữ lập trình nâng cao như C++, Rust và Go và các nhà phát triển có thể sử dụng ZK-VM mà không cần học ngôn ngữ mới.

Tăng trưởng sản phẩm RISC Zero VP Manasi (cựu giám đốc tăng trưởng Uniswap) cho biết RISC Zero cũng sẽ hỗ trợ Solidity, vì vậy RISC Zero sẽ thân thiện hơn với các nhà phát triển Ethereum bản địa. Về mặt biên dịch ngôn ngữ, RISC ZERO áp dụng kiến ​​trúc LLVM được nhiều nhà sản xuất lớn sử dụng. Từ góc độ lộ trình kỹ thuật, RISC ZERO có thể trở thành một dự án tiêu biểu trên đường đua ZK-VM do áp dụng giải pháp tập lệnh và biên dịch tương đối hoàn thiện.

Hướng phát triển của đường đua ZK

Năm ngoái, các dự án trên đường đua ZK chủ yếu tập trung vào ZK-EVM tương thích với Ethereum, chẳng hạn như Starknet, zkSync, Scroll và các dự án phổ biến khác. Đánh giá từ các loại dự án ZK đã được tài trợ gần đây, về cơ bản chúng dựa trên cấp độ cơ sở hạ tầng, chẳng hạn như trình biên dịch mạch ZK, tăng tốc phần cứng ZK, oracle ZK và cầu nối.

Đồng thời, các dự án này cũng cho thấy một xu hướng, đó là số lượng dự án ZK-VM bắt đầu tăng lên. Trên thực tế, bằng cách giới thiệu hệ thống bằng chứng ZK, ZK-VM có thể giúp một số lượng lớn ứng dụng Web2.0 kết hợp bằng chứng không kiến ​​thức để vào Web3. Ví dụ: dịch vụ phụ trợ hiện tại của Gamefi để quản lý dữ liệu người dùng là tập trung, nếu phụ trợ sử dụng ZK-VM, trò chơi có thể đạt được sự phân quyền thực sự. Tương tự, nhiều ứng dụng Web2.0 có thể được phân cấp nếu cần thiết.

Tương lai nào, ZK-EVM hay ZK-VM? Mặc dù các ứng dụng trên Ethereum sẽ dần dần hỗ trợ ZK-EVM, nhưng Web3 không giới hạn ở Ethereum, vì ZK-VM hỗ trợ nhiều ngôn ngữ nâng cao hơn và dễ xây dựng hơn ZK-EVM (ZK-VM có thể sử dụng trình biên dịch trưởng thành và kiến ​​trúc tập lệnh) , nếu ZK-VM cũng có thể hỗ trợ tốt cho Solidity thì có lẽ ZK-VM chính là tương lai của Web3.