Cysic 공동창립자와의 대화: ZK DePIN 컴퓨팅 네트워크, 테스트넷 출시 및 2025년 대규모 채택 목표
글: TechFlow
오랫동안 Web3의 아름답고도 허상적인 토끼굴 속에 빠져 있던 대중은 하나의 사실을 무심코 지나치곤 한다. 즉, 근본적으로 우리 삶은 하드웨어에 의해 지탱되는 세계라는 점이다. 메타버스가 VR 장비를 필요로 하듯, AI 이면에는 CPU와 GPU 소모가 있으며, 비탈릭 부테린(Vitalik Buterin)이 '이더리움의 미래'라 일컫는 ZK 분야 역시 예외가 아니다.
ZK는 엄밀한 수학적 논리를 기반으로 보안성, 프라이버시 및 확장성 측면에서 두각을 나타내지만, 현재 ZK 증명 생성 과정은 효율성이 낮다는 문제가 있다. 알고리즘 차원에서 획기적인 돌파구를 마련하지 못한 상황에서 ZK 하드웨어 가속은 ZK 발전을 위한 가장 직접적이고 효과적인 해결책으로 부상하고 있다. 비탈릭은 올해 4월 홍콩에서 열린 Web3 카니발 행사에 참석하며 "ZK 하드웨어 가속은 이더리움의 효율성과 보안성을 새로운 수준으로 끌어올릴 것"이라고 언급하기도 했다.
ZK 하드웨어 가속 분야의 잠재력이 점점 더 주목받는 가운데, 오는 7월 중순에 테스트넷 출시를 앞둔 ZK 하드웨어 가속 프로젝트 Cysic이 큰 관심을 받고 있다. 이번 테스트넷 출시를 계기로 Cysic은 단계별 커뮤니티 인센티브 활동을 진행할 예정이며, 현재는 백리스트 제도를 통해 사용자를 검증자(Verifier)로 초청하여 네트워크 테스트 참여 및 보상 제공을 실시한다. 이후에는 커뮤니티에 일부 증명자(Prover) 역할도 개방할 계획이다.
Cysic은 ZK 하드웨어 가속 분야에 가장 먼저 진입한 선두 프로젝트 중 하나로, 지금까지 시드 펀딩에서 600만 달러, Pre-A 라운드에서 1200만 달러를 조달했다. Polychain Capital, Hashkey Capital, OKX Ventures, ABCDE 등 유수의 암호화폐 VC들이 참여했으며, DAO5 파트너이자 Celestia 최초 투자자인 George Lambeth, 전 바이낸스 랩스(Binance Labs) 집행 이사 Ken Li 등 다수의 엔젤 투자자들로부터도 지지를 받았다.
테스트넷 출시를 맞아 우리는 Cysic 공동창업자인 Leo Fan과 심층 인터뷰를 진행, ZK 및 하드웨어 가속 분야에 대한 Cysic의 견해, 프로젝트의 강점과 구현 로직, ZK 기술의 대규모 실용화 전망 등에 대해 자세히 들어보았다. 인터뷰에서 Leo Fan은 "ZK 하드웨어 가속은 이더리움과 암호화 산업뿐 아니라 현실 세계에도 큰 영향을 줄 것이며, ZKVM의 발전과 Cysic의 ASIC 하드웨어 출하에 힘입어 ZK 기술은 2025년에 본격적인 대규모 도입이 가능할 것"이라고 말했다.
이번 기사에서는 Cysic의 과거, 현재, 미래를 살펴보고, 공동창업자 Leo Fan이 ZK 하드웨어 가속 분야에 대해 갖고 있는 통찰과 생각을 함께 알아본다.
핵심 요약
-
7월 중순 테스트넷 출시를 앞두고 다양한 인센티브 활동이 준비되고 있다. Cysic은 백리스트를 통해 사용자를 검증자로 초청하여 테스트 참여 및 보상을 제공하며, 테스트넷 후반부에는 커뮤니티에 일부 증명자 역할도 개방할 예정이다. B2B 사용자의 경우 Cysic은 ZK 프로젝트 팀에게 고효율, 저비용, 실시간 ZK 서비스를 제공하며, 전문 마이너들도 Cysic 네트워크에 접속해 하드웨어 장비를 더욱 효율적으로 활용할 수 있다. 개인 사용자(C2C) 입장에서는 일반 노트북만으로도 Cysic 네트워크에 접속해 검증자 역할을 수행할 수 있다.
-
ZK 하드웨어 가속 분야의 선도 프로젝트인 Cysic의 핵심은 세 가지로 요약할 수 있다. 첫째, 자체 개발 칩을 통해 실시간 증명 생성을 실현하는 ‘고효율성’; 둘째, 시장에 존재하는 거의 모든 종류의 ZK 알고리즘에 가속 서비스를 제공하는 ‘범용성’; 셋째, ZK DePIN 네트워크를 구축해 탈중앙화된 방식으로 산업에 서비스를 제공하는 ‘탈중앙화’.
-
ZK의 장점은 특정 개인이나 기관을 믿지 않아도 되며, 수학적 논리를 통해 신뢰를 구축할 수 있다는 점이다. 또한 다른 확장성 솔루션과 비교했을 때, 이더리움 아키텍처는 ZK 기술과 더욱 호환성이 높으며, ZK의 엄밀한 수학적 논리는 이더리움의 보안성과 공정성을 더욱 강화한다.
-
Cysic에서는 프로젝트 팀이 자신의 요구에 따라 적합한 증명자를 선택할 수 있는 권한을 부여함으로써 탈중앙화 정도를 한층 더 높인다.
-
성능 대비 가격(가성비)과 에너지 효율 측면에서 ASIC은 여타 방식들을 크게 앞서지만, ASIC 설계 및 생산 과정에서 발생할 수 있는 패브리케이션(fabrication) 오류 등의 문제로 인해 높은 비용이 발생하기 때문에 설계 및 제조에 신중을 기하게 된다.
-
Cysic은 이중 토큰 경제 모델을 채택한다. 네이티브 토큰(Native Token)은 가스비 및 생태계 기여자 보상 용도로 사용되며, ve토큰(veToken)은 거버넌스를 통해 네트워크의 컴퓨팅 파워 할당 결정에 참여할 수 있다.
-
ZKVM의 발전과 Cysic의 ASIC 하드웨어 출하에 따라 ZK 기술은 2025년에 본격적인 대규모 도입이 가능할 전망이다.
현재 업계 최고 속도의 ZK 하드웨어 가속 서비스, Cysic 테스트넷 임박
TechFlow: 우선 자기소개를 부탁드립니다.
Leo Fan:
안녕하세요, 저는 Cysic 공동창업자 Leo Fan입니다.
먼저 제 교육 이력을 소개하자면, 주로 암호학과 컴퓨터 보안을 전공했습니다. 사천대학 수학 기반반에서 학부를 마친 후, 2010년부터 2014년까지 베이징 정보보안 국가중점연구소에서 석사과정을 이수했으며, 이후 코넬대학교(Cornell University)에서 암호학 및 정보보안 분야로 박사학위를 취득했습니다(2019년).
다음은 제 경력입니다. 베이징에서 석사과정을 밟을 당시 비트코인을 처음 접했고 초기 마이닝에 참여했습니다. 이후 박사 과정 동안 IBM, 야후 등에서 인턴십을 경험했습니다. 졸업 후 미국 표준기술연구소(NIST)에서 암호화 표준화 관련 업무를 맡았으며, 이후 ZK 기술 창시자이자 튜링상 수상자인 MIT 교수 실비오 미칼리(Silvio Micali)가 설립한 Layer 1 프로젝트 Algorand에 합류했습니다. Algorand에서는 Algorand State Proofs 부분의 설계 및 구현을 담당하며, Algorand 생태계에 신뢰 없이 상호 운용성을 제공하는 데 기여했습니다.
2022년, 저는 ZK 증명 생성 시간이 매우 길다는 점을 발견했습니다. 처음에는 알고리즘과 소프트웨어 차원에서 최적화를 시도했지만 효과가 미미했습니다. 그래서 하드웨어를 통한 증명 생성 가속화를 고민하게 되었고, 그 결과 Cysic이 탄생하게 되었습니다. Cysic은 하드웨어 가속을 통해 ZK 실시간 증명 생성을 실현하는 것을 목표로 하고 있습니다.
TechFlow: Cysic 테스트넷이 7월 중순에 출시됩니다. B2B와 C2C 관점에서 현재 프로젝트팀, 사용자, 개발자들이 어떻게 Cysic 생태에 참여할 수 있을지 설명해주실 수 있나요?
Leo Fan:
B2B 관점에서 Cysic은 ZK 프로젝트팀에게 고효율, 저비용, 실시간 ZK 서비스를 제공합니다. 현재 Cysic은 조기 접근 프로그램(EAP)을 운영 중이며, 컴퓨팅 파워를 필요로 하는 ZK 프로젝트에 기업용 엔드투엔드 하드웨어 가속 솔루션을 제공하고 있습니다. Cysic은 Halo2, STARK, Groth16, Plonky2, ZAMA, GKR, RapidSnark 등 다양한 다중 검증 시스템을 지원합니다. 우리의 강력한 네트워크는 1만 개 이상의 GPU 카드로 구성되어 있어, 뛰어난 성능과 안정성을 보장합니다. 현재 Scroll, Light Protocol, Risc Zero, Inference Labs, Ion Protocol, Aerius Labs, TalusNetworkEAP 등 16개 프로젝트가 EAP 프로그램에 참여 중이며, 초기 멤버들은 향후 다양한 생태계 혜택을 누릴 예정입니다.
또한 여기서 말하는 B2B는 전문 마이너들을 의미하기도 합니다. 많은 그래픽카드를 보유한 전문 마이너들은 AI DePIN 네트워크 외에도 향후 Cysic 네트워크에 접속할 수 있습니다. 접속 후 대부분의 시간 동안 장비가 작업 상태로 유지되어 하드웨어의 활용률이 극대화될 것입니다. 테스트넷 후반부에는 커뮤니티에 일부 증명자 역할도 개방할 예정입니다. 일정한 하드웨어 조건을 충족하는 사용자는 증명자로 신청할 수 있으며, 메인넷 출시에 기여하는 동시에 테스트 보상을 받을 수 있습니다.
C2C 사용자 관점에서는, 별도의 고사양 장비 없이 일반 노트북만으로도 Cysic 네트워크에 접속해 검증자 역할을 수행할 수 있습니다. 이를 통해 ZK 생태에 기여하면서 보상을 얻을 수 있습니다. Cysic 테스트넷은 7월 중순에 출시되며, 관련 테스트넷 인센티브 활동도 준비 중입니다. 우리는 백리스트 제도를 통해 사용자를 검증자로 초청하고, 네트워크 테스트 참여에 따른 보상을 제공할 예정입니다.
TechFlow: Cysic의 활동을 세 단어로 표현한다면 어떤 단어를 선택하시겠습니까?
Leo Fan:
저희는 효율성 병목이 해결되면 암호화 산업뿐 아니라 Web2 현실 세계에서도 ZK 기술이 대규모로 채택될 것이라 봅니다. Cysic은 FPGA, GPU, ASIC 등 다양한 하드웨어 가속 서비스를 제공해 ZK 증명의 실시간 생성을 실현하고, ZK DePIN 네트워크인 Cysic Network를 통해 ZK 프로젝트팀, 컴퓨팅 파워 제공자, 커뮤니티 검증자들을 연결함으로써, 산업 전체에 고효율적이며 가성비 좋고 탈중앙화된 컴퓨팅 파워 및 검증 네트워크를 제공하는 것을 목표로 하고 있습니다. 결국 Cysic은 ZK 기술의 대규모 도입을 앞당기는 데 필수적인 역할을 할 것입니다.
질문으로 돌아가서, 제가 생각하기에 Cysic이 현재 하고 있는 일을 다음과 같은 세 단어로 표현할 수 있습니다.
고효율성: Cysic은 자체 개발 칩을 통해 실시간 증명 생성을 실현하는 것을 목표로 합니다. 현재로서는 여전히 GPU를 통해 ZK 가속 서비스를 제공하고 있지만, 이미 업계 최고 속도를 기록하고 있으며, 향후 프로젝트 진척과 ASIC 출시를 통해 더욱 빨라질 것입니다.
범용성: ZK 분야에는 다양한 알고리즘이 존재하며, 서로 다른 특징을 가지고 있습니다. Cysic은 이러한 모든 알고리즘에 가속 서비스를 제공함으로써 서비스 범위를 확장하고 가용성을 높이는 것을 목표로 하고 있습니다.
탈중앙화: Cysic은 현재 ZK DePIN 네트워크인 Cysic Network를 구축하고 있습니다. 탈중앙화된 증명자와 검증자를 통해 생태계에 서비스를 제공하며, 참여자들이 ZK에 기여한 만큼 보상을 받을 수 있도록 하고 있습니다.
TechFlow: 현재 ZK 하드웨어 가속 솔루션은 CPU, GPU, FPGA, ASIC 등 여러 방식이 있는데, 각각의 차이점은 무엇이며, Cysic은 어떤 방식을 선호하나요?
Leo Fan:
이 질문에 대해서 Cysic은 어느 정도 발언권이 있다고 생각합니다. ZK 하드웨어 가속 분야에는 ZPrize라는 경연대회가 있습니다. 저희는 첫 번째 ZPrize는 놓쳤지만 올해 대회의 한 트랙의 설계자이자 심사위원을 맡았습니다.
전체 ZK 혹은 하드웨어 분야에서는 세 가지 중요한 지표가 있습니다.
첫 번째는 Performance Per Dollar(성능 대비 가격): 즉, 얼마나 많은 비용을 들여 하드웨어를 구매해야 하며, 해당 컴퓨팅 파워를 확보하는 데 드는 비용은 얼마인지입니다. CPU는 여타 방식에 비해 성능이 낮아 고려 대상에서 제외되며, 주로 GPU, FPGA, ASIC 중심으로 논의됩니다. 가성비 측면에서는 ASIC > GPU > FPGA 순이며, 이는 ASIC의 생산량이 충분히 많다는 가정 하에 성립합니다. 현재 ZK 분야는 이 조건을 충족하고 있습니다.
두 번째 지표는 Performance Per Watt(성능 대비 와트): 즉, 하드웨어를 운영하는 데 필요한 에너지 소비량입니다. 이 지표에서도 ASIC이 여전히 월등히 앞서며, GPU가 FPGA보다 다소 우수한 성능을 보입니다.
마지막 지표는 Go to Market Time(시장 출시 시간): ASIC은 칩 설계가 필요하며, 테이프아웃(Tape-out)이라는 과정을 거쳐야 합니다. 이 과정에서 실수가 발생하면 막대한 비용이 발생하기 때문에, 현재로서는 ASIC 설계와 제조에 모두 신중을 기하는 추세입니다.
단기적으로 Cysic도 마찬가지입니다. 지난해 말부터 2025년 초까지는 GPU를 통해 가속 서비스를 제공할 예정이며, 내년 2~3분기에 ASIC 제품이 출시될 예정입니다. 이후에는 주로 ASIC 기반 서비스를 제공하게 될 것입니다. 이는 필연적인 과정입니다. Cysic은 실시간 ZK 증명 생성을 목표로 하고 있으며, 현재 주류 ZK 서킷의 증명 시간을 1~5초 수준으로 단축하고자 합니다. 이 목표를 달성하기 위해서는 ASIC 외에는 답이 없습니다.
TechFlow: Cysic은 어떻게 real-time proof generation(실시간 증명 생성)을 실현할 수 있나요? 이는 ZK, 이더리움, 그리고 전체 암호화 산업에 어떤 변화 또는 혁신을 가져올 수 있을까요?
Leo Fan:
이것은 분명히 매우 큰 혁신을 가져올 것입니다. 예를 들어 ZK와 머신러닝(Machine Learning)의 융합을 살펴보겠습니다. 현재 ZK를 이용해 머신러닝 서킷을 실행하면 매우 오랜 시간이 걸립니다. 예를 들어 GPT-2 모델을 실행할 경우, ZK 없이 약 1초가 소요되지만, ZK를 통해 GPT-2 서킷을 증명하려면 가장 빠른 솔루션을 사용해도 수 분이 걸리며, CPU를 사용하면 몇 시간이 소요됩니다. 이렇게 긴 시간은 사용자 경험(UX) 측면에서 전혀 받아들일 수 없습니다.
Cysic의 ASIC 칩은 실시간 ZK 증명 생성을 가능하게 하며, 이는 ZK와 머신러닝 기술의 결합을 촉진할 뿐 아니라 사용자에게 탁월한 경험을 제공할 수 있습니다. 물론 현재 크립토와 AI의 결합도 매우 긴밀하기 때문에, 이 사례는 크립토 네이티브한 예라고 할 수 있습니다.
또한 ZK 가속은 이더리움과 전체 암호화 산업에 큰 영향을 미칠 것입니다. 가장 큰 변화는 기존에 수십 분이 소요되던 작업이 몇 초 내로 단축된다는 점입니다. L2에서의 더 많은 트랜잭션 및 크로스체인 트랜잭션이 훨씬 빠르게 확인될 수 있으며, 이러한 확인은 OP처럼 '죄를 입증할 수 없으면 무죄'라는 가정이 아닌 수학적 논리에 기반합니다. 이는 암호화 산업에 있어서 매우 큰 진전입니다.
탈중앙화 방식으로 실시간 ZK 증명 생성 실현, 이중 토큰 모델로 ZK DePIN 네트워크 인센티브 제공
TechFlow: 기존 솔루션에서는 고성능과 탈중앙화를 동시에 달성하기 어려웠는데, Cysic은 실시간 증명 생성을 실현하면서도 검증자/증명자의 탈중앙화를 달성했습니다. 어떻게 이를 가능하게 했는지 간략히 설명해주실 수 있나요? Cysic이 채택한 PoC 합의는 탈중앙화를 어떻게 한층 더 강화하나요?
Leo Fan:
앞선 질문에서도 언급했듯, Cysic이 구축하는 ZK DePIN 네트워크인 Cysic Network에는 두 가지 중요한 역할이 있습니다. 바로 증명자(Prover)와 검증자(Verifier)입니다.
검증자는 증명자가 생성한 증명을 검증하는 역할을 하며, 검증자의 탈중앙화는 비교적 쉽습니다. 스마트폰, 노트북, 태블릿만으로도 ZK 증명을 검증할 수 있기 때문입니다. 하드웨어 요구 사양이 매우 낮으며, 검증 시간도 일반적으로 1초 미만입니다.
증명자의 탈중앙화는 초기(GPU 시기)에는 다소 어려운데, 좋은 사용자 경험을 제공하려면 증명 생성 시간을 짧게 유지해야 하며, 이는 증명자가 높은 수준의 하드웨어를 갖춰야 함을 의미합니다. 많은 사람들에게는 일정한 진입 장벽이 존재합니다. 그러나 Cysic의 하드웨어가 출시되면 이러한 상황이 크게 완화될 것입니다. 현재 주류 GPU 가속 대비 Cysic 하드웨어는 ZK 가속 효율을 최대 10배까지 높일 수 있으며, 가격도 상대적으로 저렴하여 누구나 낮은 비용으로 전문 마이너 수준의 장비를 구매할 수 있게 됩니다.
소프트웨어 측면에서 보면, 현재 Cysic은 ZK DePIN 네트워크를 구축하고 있으며, ZK DePIN 시나리오에 더 잘 맞는 PoC(Proof of Compute) 메커니즘을 설계했습니다. PoC는 실제로 스테이킹과 작업 증명의 결합 형태인데, 각 에포크(약 100개 블록)마다 증명자의 컴퓨팅 파워 규모에 따라 노드 그룹을 선정하고, 이후 해당 노드들의 스테이킹 가중치에 따라 누가 그 에포크의 블록을 제안할지 결정합니다. 이를 통해 네트워크 안정성을 유지하면서 탈중앙화 정도를 더욱 높일 수 있습니다.
TechFlow: Cysic이 실용 토큰과 거버넌스 토큰을 결합한 이중 토큰 모델을 채택하고 있다는 점을 주목했습니다. 이중 토큰 설계의 장점과 Cysic이 이를 통해 생태계의 효과적인 거버넌스와 인센티브를 어떻게 실현하는지 설명해주실 수 있나요?
Leo Fan:
이중 토큰 모델은 네이티브 토큰(Native Token)과 ve토큰(veToken)으로 구성됩니다.
네이티브 토큰은 주로 가스비, 생태계 기여자 보상 등에 사용되지만, 거버넌스 참여 및 네트워크 컴퓨팅 파워 할당 결정을 원하는 경우에는 Cysic 토큰을 스테이킹하여 투표권을 획득해야 합니다.
ZK 분야에는 다양한 프로젝트가 있으며, 각각 다른 알고리즘을 사용합니다. 따라서 Cysic 네트워크 내 컴퓨팅 파워를 어떻게 배치할지가 매우 중요합니다. 컴퓨팅 파워를 잘 조정하면 Cysic 네트워크에 높은 수익을 가져오며, 네트워크 참여자들에게도 더 나은 혜택을 제공할 수 있습니다. 투표권을 갖는다는 것은 컴퓨팅 파워 배치에 참여할 권리가 있다는 뜻입니다. 예를 들어 특정 프로젝트가 최근 좋은 성과를 보이고 있다면, 더 많은 컴퓨팅 파워를 할당해야 하는지 등을 결정할 수 있습니다. 이러한 메커니즘을 통해 전체 ZK 생태 가치를 포착하는 데 유리할 뿐 아니라, Cysic 토큰이 ZK 생태 내에서 더욱 원활하게 유통될 수 있습니다.
TechFlow: ZK 하드웨어 가속 서비스는 하드웨어 요구 사항이 높아 DePIN 분야를 떠올리게 합니다. Cysic 생태는 DePIN 분야에서 어떤 확장을 계획하고 있나요?
Leo Fan:
저희는 더 많은 하드웨어가 Cysic 네트워크에 참여하기를 바랍니다. 중요한 점은, Cysic 네트워크의 이러한 하드웨어들이 단순히 유휴 상태로 있는 것이 아니라, 증명 생성 및 검증을 통해 실제 서비스를 제공하고 가치를 창출한다는 점입니다. 이것이 우리가 다른 AI, DePIN 프로젝트들과 가장 다른 점입니다. 현재 Cysic 네트워크는 내부 테스트 단계에 있으며, 수백 대의 서버가 항상 작업 상태로 가득 차 있습니다.
또한 Cysic 네트워크는 전통적 사용자들에게도 다가갈 수 있습니다. ZK는 프라이버시 컴퓨팅 분야에서 강점을 가지므로, DePIN 네트워크를 통해 전통적 사용자들에게 더욱 우수한 서비스를 제공할 수 있습니다.
TechFlow: 작년 몬테네그로에서 열린 EDCON 컨퍼런스와 올해 홍콩 Web3 카니발에서 이더리움 공동창업자 비탈릭 부테린은 반복적으로 'ZK가 이더리움의 미래'라고 언급했습니다. 비탈릭이 ZK를 그렇게 긍정적으로 보는 이유는 무엇이며, 다른 확장성 솔루션과 비교했을 때 ZK 기술의 장점과 이더리움에 미치는 영향은 무엇이라고 생각하나요?
Leo Fan:
이유는 두 가지로 나눌 수 있습니다.
첫째, ZK는 특정 개인을 믿지 않아도 됩니다. OP처럼 '죄를 입증할 수 없으면 무죄'라는 신뢰 메커니즘과 달리, ZK는 엄격한 수학적 논리에 기반한 신뢰를 구축합니다. ZK 기술은 이미 30~40년간 발전해왔으며, 이러한 수학적 가정에 기반한 암호화 시스템은 점점 더 완성도를 높여가고 있습니다. 따라서 여타 솔루션보다 수학에 신뢰를 두는 것이 더 안전합니다.
둘째, 여타 확장성 솔루션과 비교했을 때, 이더리움 아키텍처는 ZK 발전에 더욱 친화적입니다. ZK를 통해 생성된 증명은 이더리움에서 매우 빠르게 검증될 수 있으며, 이 증명은 L2의 하나의 블록일 수 있고, 그 블록은 1000건의 트랜잭션을 포함할 수 있습니다. 즉, 이더리움에서 하나의 ZK 증명을 검증함으로써 1000건의 트랜잭션을 검증하는 셈이 됩니다. 이더리움의 기본 구조를 크게 변경하지 않고도 ZK는 더 나은 확장성 솔루션을 제공합니다.
마지막으로 ZK 기술이 이더리움에 미치는 영향에 대해 이야기하겠습니다. ZK의 급속한 발전은 우선 L2를 통해 이더리움의 정산 시간을 크게 단축시켰습니다. 또한 ZK 브릿지를 통해 효율성을 높이면서도 많은 보안 취약점을 피할 수 있습니다. 게다가 ZK는 이더리움 자체의 블록 생성 방식에도 큰 영향을 미칩니다. ZK는 Verifiable Delay Function(검증 가능한 지연 함수) 모듈을 제공하는데, 이는 엄격한 수학 함수를 통해 난수를 생성하며, 지연 함수를 제대로 계산했는지를 증명하는 ZK 증명도 생성합니다. 이는 이더리움의 보안성과 공정성에 큰 보장을 제공합니다.
TechFlow: 현재 ZK의 낮은 효율 문제에 대해 비탈릭은 세 가지 해결 방향을 주목하고 있습니다. 1) 병렬화 및 집합 트리(aggregation trees), 2) SNARK 알고리즘과 해시를 통한 효율성 향상, 3) ASIC을 통한 ZK 하드웨어 가속입니다. Cysic은 ZK 하드웨어 가속 분야에 특화된 프로젝트로서, ZK 하드웨어가 나머지 두 해결 방향에 비해 어떤 장점을 갖고 있다고 보시나요?
Leo Fan:
사실 첫 번째 병렬화 및 집합 트리 솔루션과 세 번째 ZK 하드웨어 가속 솔루션은 서로 협력 관계에 있습니다. 병렬화 및 집합 트리 솔루션은 병렬 EVM(Parallel EVM)을 구현하거나 증명의 집합 및 일괄 검증을 수행하는 것으로, 하드웨어 가속은 이러한 과정 자체를 가속화할 수 있습니다.
두 번째 솔루션은 SNARK 알고리즘과 해시를 사용해 효율을 높이는 것으로, SNARK(Succinct Non-Interactive Arguments of Knowledge) 자체가 ZK이며, 우리가 가속시키고자 하는 대상입니다. 많은 프로젝트의 SNARK에는 다양한 매개변수가 있으며, 이를 지나치게 공격적으로 설정하면 보안에 영향을 줄 수 있습니다. ZK 하드웨어 가속의 장점은 보안 기반을 흔들지 않으면서도 가속화를 실현할 수 있다는 점입니다.
ZKVM 발전과 Cysic 자체 개발 하드웨어 출하로 인해, 2025년 ZK 기술 대규모 도입 기대
TechFlow: 최근 ZK의 바람이 솔라나(Solana)까지 불어 닥쳤습니다. 프라이버시 프로토콜 Light Protocol은 솔라나를 위한 새로운 원형(primitive)인 ZK Compression을 제안하며, 솔라나에서 네이티브 ZK 컴퓨팅을 가능하게 하고, 솔라나의 토큰 및 계정 관리 비용을 크게 낮추겠다고 발표했습니다. ZK Compression에 대해 어떻게 보시며, 이 기술이 Cysic이 속한 ZK 하드웨어 가속 분야에 어떤 기회와 도전을 가져올 것이라고 생각하나요?
Leo Fan:
ZK compression은 최근 솔라나에서 부상하고 있는 ZK 기술입니다. 주로 ZK의 간결성(succinctness)을 활용해 상태(state)를 축소함으로써 비용을 절감하는 것을 목표로 합니다. 동일한 기술은 ZK-L2 및 ZK 브릿지에서도 활용되고 있습니다. Cysic 입장에서는 이 기술의 핵심과 현재 개발 중인 기술에 본질적인 차이가 없으며, 다만 새로운 플랫폼(Solana)에서의 ZK 응용일 뿐입니다. Cysic의 기존 기술로도 이를 잘 지원할 수 있습니다.
TechFlow: ZK 기술이 실제 다양한 시나리오에서 본격적으로 대규모로 채택되기까지 얼마나 남았다고 보시며, 이를 실현하기 위한 중요한 계기는 무엇이라고 생각하나요?
Leo Fan:
저는 ZK의 대규모 채택이 내년에 이루어질 수 있다고 봅니다. 그리고 단순히 암호화 산업에 국한되지 않고, 실제 다양한 실생활 시나리오에서 적용될 것입니다. 이는 두 가지 계기에서 비롯됩니다.
첫째는 소프트웨어 측면에서, Cysic은 ZKVM의 발전을 매우 주목하고 있습니다. ZKVM은 개발자들이 복잡한 ZK 서킷을 일일이 작성하지 않고도 RUST나 Go 프로젝트를 작성한 후 ZKVM을 통해 자동으로 ZK 서킷으로 변환할 수 있게 해주며, 이는 ZK 개발 속도를 크게 높이고 개발 진입 장벽을 낮춥니다. Cysic은 소프트웨어 분야에서도 계속해서 최적의 솔루션을 도출하기 위해 탐색할 예정입니다.
다른 한편으로는 Cysic 자체 개발 하드웨어가 내년에 출하될 예정이며, 이는 ZK 증명 생성 효율을 크게 향상시켜 ZK 기술의 대규모 채택을 추진하는 핵심 동력이 될 것입니다.
TechFlow: Cysic이 최근 이룬 주요 성과와 2024년 하반기의 주요 업무 방향에 대해 알려주실 수 있나요?
Leo Fan:
지난 1년간 Cysic은 많은 돌파구를 마련했습니다. 2023년 말, 팀은 ZK 칩 설계 방향을 대략적으로 확정했습니다. 그 전까지는 특정 비중이 큰 모듈에 대한 가속에 집중했다면, 작년 말부터는 ZKVM 기반의 ZK 칩 설계 방향을 확정함으로써 하드웨어 제품 형태에 매우 유연한 가능성을 부여했습니다. 두 가지 제품을 출시할 예정입니다.
ZK Air는 일반 사용자를 위한 제품으로, 경량형 휴대용 ZK DePIN 장치입니다. 맥북 충전기 크기 정도이며, Type-C를 통해 스마트폰이나 컴퓨터에 연결해 고성능 ZK 증명을 수행할 수 있습니다. ZK Air는 최고급 소비자용 그래픽카드보다 더 높은 컴퓨팅 파워를 제공하며, 10장의 RTX 4090과 맞먹는 성능을 제공합니다.
ZK Pro는 ZK 증명 생성을 최대한 가속화하여 실시간 ZK 증명을 제공하며, 전통적인
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
深潮TechFlow
