Cysic은 ZK 최종 게임의 출시를 가속화할 것입니다. 작성자: Peng SUN, Foresight News PoW가 이더리움으로 돌아올 것이라고 생각한 적이 있습니까? Cysic을 통해 가능성을 보았습니다. 작년 5월 Vitalik은 몬테네그로에서 "향후 10년 동안 ZK를 기반 기술로 사용하는 zk-SNARK가 블록체인만큼 중요할 것"이라고 말하면서 이더리움의 ZK 선택을 표시했습니다. 1년 후, Vitalik은 홍콩에 상륙하여 다시 한번 ZK가 이더리움의 미래임을 밝혔으며, 하드웨어 가속이 zk-SNARK의 병목 현상을 돌파할 방향임을 지적했습니다. ZKP 가속에 대한 논의는 오랫동안 있어 왔으며, 학계와 업계에서는 가속을 위해 ZK 알고리즘을 최적화하는 방법을 연구해 왔습니다. 하지만 또 다른 솔루션으로 하드웨어 가속은 2022년에만 주목을 받을 것입니다. 올해는 ZKP 하드웨어 가속의 원년이 될 것입니다. Aleo가 주도하는 영지식 암호화 분야의 최고 품질과 기술적으로 가장 발전된 하드웨어 가속 ZKP 기술 경쟁 플랫폼인 ZPrize가 공식적으로 출시되었습니다. , IOSG의 " 영지식 증명 하드웨어 가속에 대해 우리가 낙관하는 이유 "가 속속 출판되었습니다. 저자는 "알고리즘만으로는 충분하지 않으며 하드웨어가 이를 보완할 것"이라고 말하는 사람들이 있다는 점에 주목했습니다. 그들의 말은 하드웨어 가속에 대한 경멸을 드러냈지만 ZPrize가 말했듯이 소프트웨어와 알고리즘 측면에서는 영지식 암호화가 훌륭했습니다. 지난 몇 년 동안 발전했지만 하드웨어 가속은 항상 소수의 사람들만이 탐구해 온 방향이었습니다. 많은 사람들은 현대 암호화 기술이 CPU에서 기본적으로 구현되었을 때만 실용적이라는 사실을 잊어버립니다. 하드웨어 가속이 반드시 ASIC을 의미하는 것은 아니며 GPU, CPU, FPGA 및 모바일 장치(단독 또는 조합)를 최적화하여 영지식 증명을 더 빠르게 생성하는 새로운 방법을 의미하기도 합니다. 대부분의 사람들은 ZKP 하드웨어 가속이 MSM 및 NTT 계산에 경제적 인센티브를 도입하는 2023년 Aleo의 PoSW와 분리될 수 없다는 사실을 직시하기 시작했습니다. 오늘 이야기의 주인공은 Aleo가 아니라 GPU, FPGA, ASIC을 위한 완전한 솔루션 세트를 제공하는 실시간 ZK 증명 생성 레이어인 Cysic입니다. ZK DePIN 장치인 ZK Air와 ZK Pro 두 대를 출시할 예정이며, 가까운 시일 내에 채굴기 사전 판매를 시작할 예정입니다. Cysic은 B측의 서비스 제공자일 뿐만 아니라 모든 ZK 컴퓨팅 시나리오의 컴퓨팅 성능 요구 사항도 담당한다고 말할 수 있습니다. 다양한 ZK 알고리즘에 대한 적응을 통해 DePIN 네트워크를 구축하고 다양한 컴퓨팅 능력을 갖춘 C 측 사용자에게 B 측 서비스를 개방할 수 있습니다. 즉, Cysic 네트워크에는 누구나 참여할 수 있으며, 참여하는 사용자가 많을수록 컴퓨팅 파워가 높아지고 ZK 증명이 더 빨라집니다. 결국 ZK는 어디에나 존재하게 되었고 일상생활에 통합되었습니다. 이 이야기는 너무 매력적입니다. 저자는 손이 닿지 않는 ZKP 하드웨어 가속이 실제로 일반 사람들에게 그렇게 가까울 수 있다고는 생각하지 못했습니다! 오늘 Foresight News는 ZKP 하드웨어 가속, Cysic 기능 및 해당 하드웨어 제품, DePIN 네트워크 인프라를 조사하여 Cysic이 정확히 무엇을 원하는지, 시장 잠재력은 무엇인지 알아볼 것입니다.

Cysic은 2022년 8월 설립된 실시간 ZK 증명 생성 및 검증 레이어입니다. 자체 개발한 ASIC, FPGA, GPU 칩을 기반으로 ZK-CaaS(ZK Computing as a Service)를 제공합니다. 2023년 2월 Cysic은 HashKey, SNZ Holding, ABCDE, A&T Capital 및 Web3.com Foundation의 참여로 Polychain Capital이 주도하는 600만 달러의 초기 자금 조달을 완료했습니다. 같은 해 10월 Cysic은 FPGA 부문에서 ZPrize "Beat the Best(FPGA/GPU)" 1위를 수상했습니다. Cysic의 창립팀은 남다른 배경과 강력한 힘을 가지고 있습니다. Lianchuang Leo Fan은 Cysic 시스템 아키텍처 및 암호화 연구를 담당하고 있습니다. 그는 중국과학원에서 컴퓨터공학 석사학위를 취득한 후 코넬대학교에서 컴퓨터공학 박사학위를 취득했습니다. 학교에 있는 동안 그는 IC3, Yahoo, Bell Labs 및 IBM에서 연구원으로도 근무했습니다. 졸업 후 Leo는 알고랜드에 입사하여 암호화 연구를 담당했습니다. 현재 그는 Rutgers University의 컴퓨터 공학과에서 조교수로도 재직하고 있습니다. Lianchuang Bowen Huang은 예일대학교에서 박사학위를 그만둔 후 예일대학교에서 석사학위를 받았습니다. 현재 그는 Cysic에서 칩 및 공급망 관리를 주로 담당하고 있습니다. 이전에는 중국과학원 컴퓨팅 기술 연구소에서 연구 엔지니어로 근무했습니다. 암호화 및 하드웨어 가속에 대한 열정을 바탕으로 그들은 2022년 이전에 ZK가 전체 블록체인 산업을 위한 궁극적인 확장 솔루션이며 하드웨어 가속은 이 최종 솔루션을 달성하기 위한 불가피한 기술 경로라는 것을 깨달았습니다. 현재 ZK 분야는 zk-SNARK와 zk-STARK라는 두 가지 증명 시스템이 주로 지배하고 있습니다. 그 중 Zcash, Scroll, Taiko, Mina, Aztec, Manta, Anoma 등은 모두 zk-SNARK를 사용하고, Starknet, StarkEx, zkSync(Boojum으로 전환) 등은 zk-STARK를 사용합니다. 그 외에도 이더리움 히스토리 데이터 프로토콜 Axiom, ZK 기술 개발자 Nil Foundation 등의 ZK 프로젝트가 있습니다. Cysic의 추정에 따르면 현재 시장에는 총 시장 가치가 1000억 달러가 넘는 50개 이상의 주요 ZK 프로젝트가 있으며 ZKP 애플리케이션 트랙의 총 가치는 150억 달러를 초과했습니다. 지난 2년 동안 ZK 트랙은 긴 테스트 생성 시간과 높은 리소스 수요로 인해 비판을 받아왔습니다. 스크롤을 예로 들면 GPU를 사용하여 최소 1시간과 280GB 이상의 RAM이 소요되는 ZK 증명을 생성합니다. 이 두 가지는 ZKP의 대규모 채택을 방해할 뿐만 아니라 이더리움의 상용화 진행도 지연시킵니다. STARK는 SNARK보다 증명 생성 시간이 더 빠르지만 둘 다 증명 속도를 몇 시간에서 몇 초로 늘리려면 하드웨어 가속을 사용해야 합니다. ZKP의 비전은 이더리움과 동시에 블록을 생성하는 것입니다. 병목 현상을 극복할 수 없다면 Vitalik이 기대하는 ZK의 "실시간 증명"은 실현되지 않을 것입니다. 한편, 이더리움 재단은 ZK를 확장의 미래로 보고 있지만, 이더리움 L2 분야에서 ZK Rollup의 시장 점유율은 설득력이 없습니다. 현재 TVL의 상위 5개 L2는 모두 Optimism Rollup을 사용하고 있으며 ZK Rollup의 시장 점유율은 8.5%에 불과합니다. 시장 가치가 10억 달러를 넘는 유일한 ZK Rollup 프로젝트는 Starknet입니다. 재단의 생태적 인센티브와 에어드랍이 예상됩니다. ZK 트랙의 가치가 매우 높기 때문에 하드웨어 가속이 현재의 어려움을 대부분 해결할 수 있다면 시장 잠재력은 분명해질 것입니다.

Cysic의 궁극적인 목표는 ZK Rollup, zkML 및 ZK Bridge와 같은 모든 ZK 컴퓨팅 시나리오의 컴퓨팅 성능 요구 사항을 목표로 하는 완전한 GPU + ASIC 하드웨어 가속 솔루션 세트를 제공하는 것입니다. 전환 과정에서 Cysic은 Halo2, RapidSnark 및 Plonky2x와 같은 여러 증명 시스템을 포괄할 수 있는 FPGA 가속 하드웨어를 자체 개발했으며 그 다양성과 유연성은 전례가 없으며 비즈니스 시장은 별의 바다입니다. .

Cysic 및 ZKP 하드웨어 가속의 시장 잠재력을 소개한 후, 다시 돌아가 ZKP 하드웨어가 정확히 무엇을 가속하고자 하는지 살펴보겠습니다. 근본적으로 하드웨어가 가속화하려는 것은 ZK 증명 계산입니다. 계산이 포함될 때마다 컴퓨팅 성능을 위한 경쟁이 바로 이것이 ZKP가 PoW를 이더리움으로 다시 가져오는 이유라고 생각합니다. 그러나 좀 더 미시적인 관점에서 보면 ZKP 하드웨어는 계산의 어떤 측면을 가속화하려고 합니까? 여기에서 저자는 zk-SNARKs 증명 시스템을 예로 들어 "산술"부터 증명 생성 및 검증까지의 프로세스를 설명합니다. 우선, 체인에 있는 사용자의 모든 거래 행동은 체인 외부 롤업에 패키지되므로 거래 행동과 거래량에 따라 회로의 복잡성과 ZK 증명이 결정됩니다. 둘째, 거래 데이터가 제출되면 "산술" 프로세스에 들어갑니다. 소위 "산술화"는 이러한 데이터를 ZK 회로로 구성하고 이를 다항식 형태의 수학 공식으로 변환하는 것입니다. 일반적인 프로그램 개발과 유사하게 ZK 증명 시스템도 "프론트엔드"와 "백엔드"로 구분됩니다. "프론트엔드"란 다양한 거래 데이터를 R1CS, PLONK 등의 제약 언어를 통해 벡터, 행렬, 기타 회로로 구성하고 다중 다항식으로 변환해야 한다는 의미로, 회로도를 수학 공식으로 변환하여 표현하는 것으로 이해됩니다. , 수학 공식을 통해 처리할 수 있으며 회로는 지침을 제공하며 이 프로세스가 "산술화" 프로세스입니다. 복잡하고 거래량이 많을수록 회로의 크기가 커지고 다항식의 차수가 높아집니다. 산술을 기반으로 ZK 증명 시스템의 "백엔드"를 구축하고 이를 사용하여 영지식 증명을 생성하는 것이 필요합니다. 아래 그림은 PIOP 및 PSC를 포함하는 zk-SNARKs 증명 시스템(Justin Thaler는 zk-STARK가 Fri-Based zk-SNARK라고 믿고 있음)의 구성을 보여줍니다. 널리 사용되는 PIOP에는 PLONK 및 GKR이 포함되며, 널리 사용되는 PSC(다항식 커밋 방식)에는 FRI 및 KZG가 포함됩니다. 일반적으로 PLONK + IPA는 Halo2 증명 시스템의 Zcash 버전을 구축할 수 있고, PLONK + KZG는 Halo2의 PSE/Scroll 버전을 구축할 수 있으며, PLONK + FRI는 Plonky2를 구축할 수 있습니다. 현재 ZK 증명 시스템에는 주로 KZG를 기반으로 하는 Halo2, Groth 16 등이 포함됩니다.

Groth16을 예로 들면, 계산 과정을 평면화하여 R1CS 제약 조건 형식을 통해 C-SAT(회로 만족성) 문제로 표현한 다음, C-SAT 문제를 QAP 만족성 문제로 축소할 수 있습니다. 일련의 공개 다항식 Ui(x), Vi(x), Wi(x), T(x)와 벡터 a(여기서 벡터 a는 공개 입력(공개 입력) 및 비밀(증인)을 포함함)은 다음을 충족합니다. 다음 요구 사항: 관계가 표시됩니다. QAP 만족 문제의 경우, a가 주어지면 QAP를 검증하는 것은 매우 간단하지만, 공개 다항식을 통해 역으로 a를 해결하는 것은 매우 어려울 것입니다. 그런 다음 Prover가 a( i ) 이런 질문이 나옵니다. 이 단계는 ZKP 백엔드 구축에 특히 중요합니다. ZKP의 백엔드는 설정, 증명, 검증의 세 단계로 나눌 수 있으며 각 단계는 몇 가지 매개변수를 사용합니다. 산술 다항식과 일회성 비밀 난수 R("신뢰할 수 있는 설정" 개념의 원천)을 동시에 Setup에 입력해야 합니다. 설정 후 증명자와 검증자는 증명을 생성하고 검증할 수 있습니다. Sp 및 Sv 매개변수를 통해 각각. 이 기간 동안 증명자는 계산을 수행하고 증명을 생성하기 위해 공개 입력과 비밀을 요구합니다. 검증자는 증명과 공개 입력을 통해 확인할 수 있습니다. 이 과정에서 검증자는 비밀이 무엇인지 알 수 없습니다.

Prover가 증명을 생성하는 과정에서는 많은 양의 계산이 필요합니다. 그렇다면 증명 생성 계산을 더 빠르게 수행하려면 어떻게 해야 할까요? 하드웨어가 들어오는 곳입니다. 현재 상황에서 유일한 해결책은 하드웨어를 사용하여 컴퓨팅 성능을 향상시키는 것입니다. 컴퓨팅 성능이 높을수록 시간이 짧아집니다. 다양한 증명 시스템에는 많은 양의 계산이 필요한 다양한 암호화 기본 요소가 있습니다. PLONK + KZG 기반 증명 시스템 중에서 가장 시간이 많이 걸리는 두 가지 계산 유형은 MSM(Multi-Scalar Multiplication)과 NTT(Number Theoretic Transform)입니다. zk-STARK에서 주요 컴퓨팅 병목 현상은 NTT와 Merkle Hash입니다. MSM은 주로 타원 곡선과 관련된 계산을 처리합니다. NTT는 유한 필드에 작용하는 FFT(Fast Fourier Transform)입니다. 이는 FTT의 변형 및 최적화로 이해될 수 있으며 다항식과 관련된 계산을 처리하는 데 사용됩니다. 현재 거의 모든 주류 ZK 프로토콜은 이 두 가지 계산을 광범위하게 사용하며 함께 증명 생성 시간의 80-95%를 차지합니다. 일반적으로 MSM 컴퓨팅 작업은 전체 컴퓨팅 작업의 60~70%를 차지하고 NTT는 25%를 차지합니다. 물론, 이 둘의 비율은 구현에 따라 달라질 수 있습니다. MSM 또는 NTT는 컴퓨팅 작업의 비율에 따라 개별적으로 가속되거나 둘 다 동시에 가속될 수 있습니다.

변증법적으로 말하자면, 컴퓨팅 작업의 과도한 작업량은 컴퓨팅 성능이 충분히 강력하다면 상대적으로 간단한 파이프라인 작업임을 의미합니다. ZK 증명 계산 알고리즘은 결정론적이며 증명 결과를 생성하기 위해 반복적으로 계산만 하면 되므로 특정 작업에 대한 전용 하드웨어 아키텍처 구현은 소프트웨어 구현보다 더 많은 이점을 갖습니다. 병렬 컴퓨팅이 가능해지면 계산 난이도가 크게 줄어들 것입니다. 우연히도 MSM과 NTT는 모두 고성능 하드웨어로 가속화되고 병렬 컴퓨팅을 지원할 수 있습니다.

위에서 언급했듯이 Cysic의 궁극적인 목표는 ZK ASIC을 가속화하고 MSM 및 NTT 컴퓨팅을 포함한 완전한 ASIC 하드웨어 가속 솔루션 세트를 제공하는 것입니다. 그러나 Leo Fan이 말했듯 이 "ASIC을 만들기 전에 FPGA에서 많은 테스트와 프로토타이핑을 수행해야 합니다." 작년에 Cysic은 POC 설계 작업의 첫 번째 단계를 완료하고 MSM, NTT, Poseidon Merkle Tree와 같은 FPGA 기반 컴퓨팅 가속기와 전체 워크플로우를 포괄하는 엔드 투 엔드 ZK 하드웨어 가속 솔루션을 개발했습니다. .

Cysic FPGA 프로토타입(조립 중인 상태) 최신 게시된 데이터로 판단하면 Cysic의 SolarMSM은 0.195초 만에 2³⁰ 규모의 MSM 계산을 완료할 수 있으며, 이는 현재 공개된 모든 FPGA-MSM 하드웨어 가속 결과 중에서 가장 성능이 뛰어난 솔루션입니다. SolarNTT는 0.218초 안에 2³⁰ 규모의 NTT 계산을 완료할 수 있습니다. 동시에 Cysic의 현재 FPGA 가속 솔루션은 Scroll의 ZK 계산에 적용되었으며 2²² 규모 MSM 및 NTT 계산의 경우 두 가지 모두 약 1밀리초(0.001초) 내에 완료될 수 있습니다.

최종 목표이자 두 번째 단계가 ASIC 개발인 이유에 대해서는 가속 하드웨어 비교로 돌아가서 살펴봐야 합니다. 하드웨어 가속의 장점은 전력 소비 감소, 대기 시간 감소, 병렬성 향상, 처리량 증가이며 집적 회로의 영역 및 기능 구성 요소를 더 잘 활용할 수 있다는 것입니다. 일반적으로 CPU는 컴퓨팅 시간이 길고 에너지 소비가 높기 때문에 기본적으로 채택 범위에 포함되지 않습니다. 시장에는 GPU, FPGA, ASIC 등 세 가지 주요 가속 하드웨어 유형이 있으며, 각 유형은 다양성과 효율성에 중점을 두고 있습니다. 현재 거의 모든 ZK 프로젝트는 하드웨어 가속을 위해 GPU를 사용하고 있습니다. GPU는 전용 하드웨어가 생산되기 전에 유일한 하드웨어 가속 캐리어가 될 만큼 대중화되었기 때문입니다. ZK 하드웨어 가속 제조업체의 경우 GPU는 현재 가장 경제적이고 구성 가능한 하드웨어 선택입니다. CUDA SDK와 같은 소프트웨어 수준의 지원을 통해 GPU의 멀티 코어 구조는 MSM과 같은 계산 병렬화에도 적합합니다. 그러나 GPU에는 몇 가지 제한 사항이 있습니다. 예를 들어 3080, 3090, 4090과 같은 그래픽 카드를 사용하는 것은 마더보드 대역폭과 같은 하드웨어 플랫폼에 의해 쉽게 제한됩니다. GPU와 마찬가지로 FPGA는 프로그래밍이 가능하고 런타임 시 재구성이 가능하며 시스템 사양 및 특정 애플리케이션을 기반으로 다양한 알고리즘에 재사용할 수 있어 더욱 다양하고 유연해집니다. 동시에 FPGA는 FFT 및 NTT 계산 유형에도 더 적합합니다. 결국 FPGA 하드웨어가 개발된 후에는 소프트웨어 게임이기도 했습니다. 또한 단일 FPGA가 GPU를 이길 수는 없지만 여러 개의 FPGA를 함께 연결하면 성능이 GPU보다 몇 배 더 높습니다. 동시에 상위 FPGA의 하드웨어 비용은 상위 GPU보다 3배 저렴합니다. 에너지 소비율 측면에서 GPU는 호스트 장치에 연결되어야 하는데 호스트 장치는 많은 전력을 소비하므로 FPGA의 에너지 효율이 10배 더 높습니다. 그러나 GPU에 비해 ​​FPGA 칩의 구입 비용과 요구 사항을 지원하는 공급망은 상대적으로 높습니다. ASIC은 특정 요구 사항을 충족하도록 맞춤화된 특수 칩으로 Cysic을 포함한 ZK 하드웨어 가속 제조업체에서는 고성능과 강력한 컴퓨팅 성능을 최고의 솔루션으로 간주해 왔습니다. 그러나 ASIC의 비즈니스 로직은 "한 번 작성"되며 프로그래밍할 수 없으며 특정 단일 작업만 대상으로 할 수 있으며 여러 ZK 알고리즘을 병렬로 처리할 수 없습니다. ASIC은 GPU나 FPGA에 비해 성능과 에너지 소비 측면에서 우수하지만 생산주기가 더 길다. 또한 자본 집약적인 게임인 ASIC은 생산 비용이 더 비쌉니다.

출처: Amber Group 종합적인 비교를 통해 우리는 Cysic이 처음에 자체 FPGA 가속 하드웨어 개발을 선택한 이유를 이해할 수 있습니다. ASIC은 아직 다용도가 부족하고 비용이 너무 높으며 출시 기간도 길기 때문에 FPGA는 전환기에 시장을 선점할 수 있는 최고의 솔루션입니다. 특히 Cysic의 FPGA 하드웨어는 Halo2, RapidSnark 및 Plonky2x와 같은 다양한 ZK 증명 시스템에 적응할 수 있으며 현재의 모든 주류 ZK 알고리즘(ZK 증명 생성의 계산 작업 참조)을 실행할 수 있습니다. 즉, FPGA는 ZK Rollup, ZKML, ZK Bridge 등을 포함한 ZK 컴퓨팅 시나리오의 모든 컴퓨팅 전력 요구 사항에 적응할 수 있습니다. 동시에 ZK 증명 생성에는 계산적인 측면뿐만 아니라 메모리도 요구됩니다. 오늘날 Scroll zkEVM 회로의 증명 생성에는 최소 280GB의 RAM이 필요합니다. 이러한 수요에 직면하여 FPGA는 계속해서 메모리를 쌓고 확장할 수 있습니다. 자체 개발한 FPGA가 Cysic이 GPU와 ASIC을 포기했다는 의미는 아닙니다. Cysic은 또한 GPU 기반 하드웨어 가속 솔루션을 개발하여 보다 유연한 ZK 및 AI 컴퓨팅 가속 서비스를 제공하려고 노력하고 있습니다. 현재 Cysic GPU 컴퓨팅 성능 네트워크는 수십만 개의 고급 3090/4090 컴퓨팅 성능 그래픽 카드를 연결했습니다.

Cysic Graphics Card 및 Computer Lab의 내부 데이터에 따르면 Cysic CUDA SDK는 최신 오픈 소스 프레임워크보다 50%-80% 더 빠르며 GPU SDK는 여러 상위 ZK 프로젝트에 증명 생성 서비스를 제공하는 데 사용됩니다. 동시에 Cysic의 ASIC 설계 및 테이프아웃 작업도 진행 중입니다.

단지 ZKP 가속 하드웨어라면 Cysic에는 별다른 장식이 필요하지 않은 것 같습니다. 하지만 헬륨 모바일이 앞서고 io.net이 호황을 누리고 있는 2024년, DePIN의 등장은 Cysic에게 더 많은 상상의 여지를 제공합니다. Cysic이 실제로 원하는 것은 ZKP 하드웨어 가속을 기반으로 하는 Prover Network입니다. FPGA, GPU, ASIC 등 자체 개발한 하드웨어를 Prover Network에 연결할 뿐만 아니라 커뮤니티 사용자가 다양한 유형의 컴퓨팅 성능을 제공하고 분산형 시스템을 구축하여 ZK 증명 생성 계산에 대한 경제적 인센티브와 거버넌스를 높일 수 있습니다. 컴퓨팅 파워 네트워크.

Prover Network를 통해 Cysic은 C측 사용자에게 B측 가속 서비스를 완전히 개방하여 현재 ZKP 하드웨어 가속 시장에서 독특한 ZK 프로젝트 당사자, 컴퓨팅 전력 공급업체 및 커뮤니티 검증자 간의 가교 역할을 했다고 할 수 있습니다. . 이전에는 일반 사용자가 ZKP를 이해하기 어려웠을 뿐만 아니라 ZKP를 가속화하기 위한 전용 하드웨어를 구입하는 것도 어려웠습니다. 그러나 Cysic 네트워크는 더 이상 사용자가 전문 지식을 습득할 것을 요구하지 않습니다. 그 다양성으로 인해 사용자는 ZKP 컴퓨팅 네트워크에 들어가기 위해 컴퓨팅 능력만 제공하면 됩니다. 전체 네트워크에 더 많은 사용자와 컴퓨팅 능력이 있을수록 ZK 증명이 더 빨라지고 두 번째 수준의 "실시간 증명"이 코앞으로 다가올 것이라고 상상해 보십시오. 실제로 The Merge에서 Ethereum이 합병된 후 원래 PoW 채굴자들은 많은 수의 유휴 GPU를 남겼습니다. 이 주식 시장은 Prover Network에 비해 너무 소중합니다. 그러나 대부분의 사람들은 DePIN 네트워크에 참여할 수 있는 해당 하드웨어가 없을 수 있습니다. 무엇을 해야 할까요? 어떻게 더 많은 커뮤니티 사용자를 소개하고 증분 시장을 확장할 수 있습니까? Cysic은 최근 2025년에 출시될 예정인 ZK Air와 ZK Pro라는 두 개의 ZK DePIN 칩/장치를 설계했습니다.

위 사진처럼 ZK Air의 크기는 보조배터리/노트북 전원공급장치 크기에 가깝습니다. 가볍고 휴대성이 뛰어난 ZK DePIN 장치는 소비자급 그래픽 카드보다 컴퓨팅 성능이 뛰어납니다. 사용자는 Type-C를 통해 노트북, 아이패드, 심지어 휴대폰에 연결할 수 있으며 소규모 가속 서비스도 제공할 수 있습니다. Prover Network를 통해 ZKP를 실행하고 네트워크 보상을 받으세요. 동시에 ZK Air는 컴퓨터에 직접 연결되어 적시에 로컬에서 ZK 인증서를 생성할 수도 있습니다. ZK Pro는 주로 독점 회사에 서비스를 제공하는 기존 채굴 기계와 유사하며 zkRollup 및 zkML과 같은 대규모 ZK 프로젝트에 적합합니다. 대부분의 사용자에게 ZK Air는 기대할 만한 제품일 수 있습니다. ZKP 하드웨어 가속은 DePIN과 자연스럽게 호환됩니다. AI 및 ML에 맞춰진 io.net 분산형 GPU 네트워크와 달리 Cysic은 ZK가 다양한 ZK 알고리즘에 적응하는 자체 개발 하드웨어를 통해 블록체인 산업의 미래라고 확신합니다. 모든 ZK 컴퓨팅 시나리오는 ZK 시장 가치가 150억 달러 이상이므로 향후 성장 가능성이 매우 높습니다. Xiao Feng은 "블록체인은 본질적으로 DePIN을 기반으로 구축되었으며 비트코인 ​​하드웨어 채굴은 DePIN의 하위 버전입니다."라고 말한 적이 있습니다. ZKP 하드웨어 가속은 비트코인 ​​PoW 메커니즘을 생각나게 하지만 Cysic은 Prover Network를 통해 ZKP에 속하는 컴퓨팅 파워 네트워크를 실제로 구축했습니다. PoW가 무허가형인 것처럼, DePIN 프리미티브 하의 ZKP 채굴 역시 사실상 무허가형이 될 것입니다. 그러나 ZKP 채굴은 기존 PoW 채굴과 여전히 다릅니다. 더 높고 빠른 컴퓨팅 능력을 갖춘 채굴자는 블록 보상을 얻을 수 있지만 다른 사람의 작업 증명은 무효화됩니다. Cysic의 Prover Network에는 유효하지 않은 작업 부하라는 것이 없으며 사용자는 항상 컴퓨팅 성능 기여도에 따라 인센티브를 받을 수 있습니다. 현재 사용자들은 Galxe에서 Cysic의 활동에 참여하여 초기 배지를 획득하고, NFT 채굴에 참여할 수 있으며, 올해 5월부터 6월까지 출시될 테스트넷에 참여할 수 있습니다. Cysic에 따르면 일부 초기 참가자는 NFT 인센티브를 받을 수 있습니다. 또한 Cysic은 올해 3분기와 4분기에도 TGE를 실시할 계획이다. 참고 자료: Georgios Konstantopoulos, 영 지식 증명을 위한 하드웨어 가속 , 패러다임, 2022년 4월 13일.Elena Burger, 분산 속도: 영 지식 증명의 발전 , a16z crypto, 2022년 4월 15일.Amber Group, 속도 필요: 영 지식 , 9월 2022년 1월 5일.IOSG: " 영지식 증명 하드웨어 가속에 대해 우리가 낙관하는 이유 ", 2022년 11월.ABCDE: Cysic에 투자해야 하는 이유 , 2023년 2월 18일.msfew, ZK에 대한 비판 , 2023년 4월 20일.Trace , 영지식 증명 가속화 , Figment Capital, 2023년 4월 25일. Luke Pearson 및 Cysic 팀, ZK 하드웨어 가속: 과거, 현재 및 미래 , 2023년 4월 27일. ZPrize, ZPRIZE II 스포트라이트: 설계자 소개: LEO FAN, CYSIC , 2023년 10월 10일. Loopy Lu: " Vitalik이 ZK 하드웨어 가속에 대해 낙관하는 이유는 무엇입니까?" ", BeWater, 2024년 4월 12일. Cysic, ZK-ASIC 설계의 새로운 패러다임, zkVM 방식 , 2024년 4월 9일. Cysic: "검증 가능한 이더리움의 미래를 향하여: Cysic은 신뢰할 수 있는 ZK 컴퓨팅 네트워크 구축을 지원합니다", 2024. * 이 글은 ZK 연구원 Miles 와 ZK 개발자 Paul로부터 도움과 지도를 받았습니다.