최근 ZK 트랙에서 주목할 만한 주요 파이낸싱 프로젝트 살펴보기

첫 번째 레벨 제목

ZK, ZK-VM 및 ZK-EVM

ZK 트랙에서 각 프로젝트의 기술적 특성을 이해하기 위해 먼저 ZK와 관련된 기본 개념을 이해하겠습니다.

ZKP(Zero Knowledge Proof)는 영지식증명(Zero Knowledge Proof)의 약자로 데이터를 공개하지 않고 데이터의 정확성을 검증하기 위해 주로 인증자와 검증자를 통해 수학적 암호화를 통해 블록체인의 프라이버시 및 확장 문제를 해결하는 것을 말합니다.

ZK-VM은 영지식증명 기반의 가상머신으로 영지식증명 ZK와 가상머신 VM(Virtual Machine)을 결합한 것이다. ZK-VM은 일반적으로 두 가지 중요한 구성 요소로 구성됩니다. 하나는 C++ 및 Rust와 같은 고급 언어를 ZK 시스템이 증명할 수 있도록 중간 표현식(IR)으로 컴파일할 수 있는 컴파일러(컴파일러)이고 다른 하나는 명령어입니다. 세트 프레임워크 ISA(Instruction Set Architecture)에서 명령어 세트는 주로 CPU 작업을 지시하며 CPU가 작업을 수행하도록 안내하는 데 사용되는 일련의 명령어 세트입니다.

첫 번째 레벨 제목

최근 ZK는 주목할만한 새로운 자금 조달 프로젝트를 추적합니다.

Nil Foundation

Nil Foundation전체 이름은 "=nil; Foundation"인데 약간 횡설수설입니다. 사실 이 이상한 이름은 SQL 주입 농담에서 유래했습니다.

2018년에 설립된 Nil Foundation은 데이터베이스 관리 시스템으로 출발했습니다. 작년 말에는 Polychain Capital이 주도하고 Blockchain Capital, Starkware, Mina Protocol 및 IOSG Ventures가 참여하여 평가액 2억 2천만 달러에 2,200만 달러의 자금 조달을 완료했습니다.

Nil Foundation은 LLVM을 기반으로 하는 ZK 회로 컴파일러를 구축하여 C++ 및 Rust와 같은 고급 언어로 작성된 프로그램을 ZK 시스템 증명을 위한 적절한 중간 표현(IR)으로 컴파일할 수 있습니다. 즉, Nil Foundation은 가상 머신이 아니라 회로 컴파일러입니다.

LLVM(LowLevelVirtualMachine)은 프레임 컴파일러를 위한 프레임워크 시스템으로, Rust 및 C++와 같은 고급 언어로 작성된 프로그램의 컴파일 및 런타임을 최적화할 수 있습니다. LLVM은 원래 2000년에 일리노이 대학교의 Chris Lattner 박사가 개발했습니다. Chris Lattner는 2006년 Apple에 합류한 후 개발 시스템에 LLVM을 적용하는 데 전념하기 시작했으며 현재 LLVM은 Apple, Microsoft, Google 및 Facebook과 같은 주요 회사에서 채택되었습니다.

또한 Nil Foundation은 "Proof Market"을 구축했다는 점에서 특별한 위치를 차지합니다. Proof Market을 통해 사용자는 하드웨어를 소유한 사람들에게 비용을 지불하고 이를 검증하고 증명자는 비용을 지불하는 사용자를 위해 증명하기 위해 경쟁합니다. 계산적으로 이 자유 시장 역학은 증명자가 가장 가치 있는 증명 작업을 최적화할 수 있도록 합니다.

Sovereign Labs

ZK-Rollup SDK 구축에 집중Sovereign LabsHaun Ventures가 주도하고 Maven 11, 1KX, Robot Ventures 및 Plaintext Capital이 참여하여 1월에 740만 달러 규모의 시드 라운드를 마감했습니다.

Sovereign Labs는 개발자가 안전하고 상호 운용 가능한 영지식 롤업을 만드는 데 도움이 되는 소프트웨어 개발 키트(SDK)를 구축할 계획입니다. Sovereign SDK는 Cosmos SDK가 Layer 1 생성을 단순화하는 것처럼 ZK-Rollup 생성을 단순화하는 것을 목표로 합니다. 영지식의 복잡성을 제거하는 최초의 집계 프레임워크로, 개발자가 암호화 전문가가 아니어도 개발자가 애플리케이션을 쉽게 구축할 수 있습니다. Sovereign SDK를 사용하여 개발자는 관용적인 Rust(또는 C++)로 애플리케이션을 작성할 수 있으며 SDK는 이를 효율적인 ZK 가상 머신으로 자동으로 컴파일합니다.

Sovereign Labs의 로드맵은 세 부분으로 나뉩니다. 첫 번째 단계는 2023년 2분기에 연구 설계 프로토타입을 완료하는 것입니다. 현재 프로토타입은 데이터 가용성을 위해 Celestia를 통합하고 증명을 위해 Risc 0을 통합합니다. 두 번째 단계는 P2P 네트워크, RPC 노드, 핵심 API, 기본 스토리지 및 주문 모듈을 포함한 Sovereign SDK의 배포입니다. 세 번째 단계는 코드 정리, 테스트, 퍼징 및 감사를 수행하는 것입니다.

Ulvetanna

Ulvetanna 영지식증명(ZKP) 생성의 효율성을 개선하기 위한 하드웨어를 구축하는 신생 기업이 Bain Capital Crypto와 Paradigm이 공동 주도하고 Jump Crypto가 참여하여 5,500만 달러의 가치로 1,500만 달러의 시드 라운드를 완료했습니다.

Ulvetanna는 ZKP 생성 프로세스의 속도를 높이도록 설계된 하드웨어를 구축하고 있으며 Ulvetanna의 팀에는 Coinbase, Microsoft 및 Intel의 프로그래머와 엔지니어가 포함되어 있습니다.

앞으로 ZKP에 대한 수요가 증가함에 따라 ZKP는 많은 연산을 필요로 하므로 강력한 하드웨어가 필요하고 많은 전력을 소모합니다. Ulvetanna는 ZKP 생성이 목적에 맞게 설계된 하드웨어에서 훨씬 더 효율적이라고 믿기 때문에 Ulvetanna는 응용 암호 작성자, 소프트웨어 및 하드웨어 엔지니어, 데이터 센터 및 클라우드 설계자, 암호화 네이티브 투자자로 구성된 숙련된 팀을 구성하여 ZKP 하드웨어 컴퓨팅 서비스를 결합하여 효율적인 ZKP 하드웨어 컴퓨팅 서비스를 제공합니다. 암호화 및 고성능 컴퓨팅.

Cysic

ZK 하드웨어 시작CysicHashkey, SNZ Holding, ABCDE 및 Web3.com Foundation을 포함한 다른 투자자들과 함께 Polychain Capital이 이끄는 2022년 12월 600만 달러의 시드 라운드를 완료했습니다.

Cysic은 ZK 증명을 위한 하드웨어 가속 솔루션을 제공하는 것을 목표로 합니다. 현재 Cysic 파트너에는 Scroll, Nil Foundation 및 Hyper Oracle이 포함됩니다.

Cysic 팀은 MSM(Multiscalar Multiply)의 FPGA 프로토타입을 개발했습니다. 이는 CPU 및 GPU 칩과 유사한 프로그래밍 가능한 하드웨어 형태입니다(CPU에서 MSM을 실행하는 것보다 전력 효율이 낮음).

Hyper Oracle

ZK 오라클 네트워크Hyper Oracle최근에 dao 5와 Sequoia China Seed Fund, Foresight Ventures 및 FutureMoney Group이 공동 주도로 300만 달러 규모의 시드 라운드 자금 조달을 완료했습니다.

하이퍼 오라클은 ZK 미들웨어 프로토콜과 zkWASM 가상 머신을 기반으로 하는 ZK 오라클 머신 zkOracle을 개발하여 보안, 분산화, 계산 무결성 및 성능 측면에서 블록체인 미들웨어의 문제를 해결하고 있습니다.

Polyhedra

최근 ZK 인프라 스타트업Polyhedra Network Binance Labs와 Polychain Capital이 공동 주도하고 Animoca Brands와 Dao 5가 참여하여 1000만 달러 펀딩 라운드를 마감했습니다.

Polyhedra는 현재 L1 및 L2 자산 전송을 위한 ZK Bridge(zkBridge), 프라이버시를 보호하기 위해 영지식 증명 기술을 사용하는 사용자 ID 솔루션인 ZK-DID, 프로그래밍 가능한 NFT 프로토콜 ZK- NFT, 이 제품은 영지식 증명 기술을 사용하여 사용자 자산의 개인 정보를 보호합니다. 현재 zkBridge 테스트 네트워크가 출시되었습니다. 또한 Polyhedra는 대규모 분산 증명 생성 네트워크를 사용하여 ZK 롤업을 가속화할 수 있는 ParaPlonk라는 스케일링 솔루션도 개발했습니다. Polyhedra는 더 많은 블록체인을 통합하고 개발자가 API 및 SDK 도구를 통해 쉽게 액세스하여 더 많은 ZK 롤업 개발자를 유치할 계획입니다.

RISC ZERO

RISC Zero(파이낸싱 정보는 아직 발표되지 않음) 오픈 소스 범용 ZK-VM 프로젝트 이름은 유명한 RISC(Reduced Instruction Set Computer)에서 유래되었으며 RISC Zero는 최신 5세대 RISC-V를 채택합니다. RISC-V 명령어 세트의 아이디어는 40개 이상의 명령어 세트만 포함하는 축소된 명령어 세트를 최대화하는 것입니다. RISC-V 명령어 세트로 인해 RISC Zero는 C++, Rust, Go와 같은 고급 프로그래밍 언어를 지원하며 개발자는 새로운 언어를 배우지 않고도 ZK-VM을 사용할 수 있습니다.

RISC Zero 제품 성장 VP Manasi(전 Uniswap 성장 이사)는 RISC Zero가 Solidity도 지원하므로 RISC Zero가 네이티브 Ethereum 개발자에게 더 친숙할 것이라고 말했습니다. 언어 컴파일 측면에서 RISC ZERO는 많은 주요 제조업체에서 사용하는 LLVM 아키텍처를 채택합니다. 기술적 경로의 관점에서 볼 때 RISC ZERO는 상대적으로 성숙한 컴파일 및 명령어 세트 솔루션을 채택했기 때문에 ZK-VM 트랙의 전형적인 프로젝트가 될 수 있습니다.

ZK 트랙 개발 방향

작년에 ZK 트랙의 프로젝트는 주로 Starknet, zkSync, Scroll 및 기타 인기 있는 프로젝트와 같이 이더리움과 호환되는 ZK-EVM에 중점을 두었습니다. 최근에 자금을 조달한 ZK 프로젝트 유형으로 판단하면 기본적으로 ZK 회로 컴파일러, ZK 하드웨어 가속, ZK 오라클 및 브리지와 같은 인프라 수준을 기반으로 합니다.

동시에 이러한 프로젝트도 추세를 보여 ZK-VM 프로젝트의 수가 증가하기 시작했습니다. 실제로 ZK 증명 시스템을 도입함으로써 ZK-VM은 수많은 Web2.0 애플리케이션이 영지식 증명을 결합하여 Web3에 진입하도록 도울 수 있습니다. 예를 들어, 사용자 데이터를 관리하는 현재 Gamefi 백엔드 서비스는 중앙 집중화되어 있으며, 백엔드가 ZK-VM을 사용한다면 게임은 진정한 탈중앙화를 달성할 수 있습니다. 유사하게 많은 Web2.0 애플리케이션은 필요한 경우 분산될 수 있습니다.

미래, ZK-EVM 또는 ZK-VM은 무엇입니까? Ethereum의 응용 프로그램이 ZK-EVM을 점진적으로 지원할 것이지만 Web3는 ZK-VM이 고급 언어를 지원하고 ZK-EVM보다 구축하기 쉽기 때문에 Ethereum에 국한되지 않습니다(ZK-VM은 성숙한 컴파일러 및 명령어 세트 아키텍처를 사용할 수 있음). , ZK-VM도 Solidity를 잘 지원할 수 있다면 아마도 ZK-VM은 Web3의 미래일 것입니다.