대화 Cysic 공동 창립자: ZK DePIN 컴퓨팅 네트워크가 테스트넷을 맞이하고, 2025년 대규모 채택을 실현하다

저자: 심조 TechFlow

Web3의 화려한 환상 속 토끼굴에 빠진 지 오래된 대중은 본질적으로 우리가 하드웨어에 의해 지탱되는 세계에 살고 있다는 점을 습관적으로 간과하는 것 같습니다. 메타버스가 VR 장비에 대한 수요를 요구하든, AI 뒤에 있는 CPU, GPU 소비든, Vitalik Buterin이 "이더리움의 미래"로 여기는 ZK 트랙도 예외는 아닙니다.

ZK는 엄격한 수학적 논리를 가지고 있으며, 보안성, 프라이버시 및 확장성 측면에서 상당한 장점을 가지고 있지만, 현재 ZK 증명 생성에는 비효율적인 문제가 존재합니다. 알고리즘 차원에서 돌파구를 찾지 못하는 현재, ZK 하드웨어 가속은 ZK 발전을 위한 가장 직접적이고 효과적인 해결책이 되고 있습니다. Vitalik은 올해 4월 홍콩 Web3 축제에 참석했을 때 ZK 하드웨어 가속이 이더리움의 효율성과 보안을 새로운 수준으로 끌어올리는 데 도움이 된다고 언급했습니다.

ZK 하드웨어 가속 트랙의 잠재력이 점점 더 주목받으면서, 7월 중순에 테스트넷을 출시할 예정인 ZK 하드웨어 가속 프로젝트 Cysic이 광범위한 관심을 끌고 있습니다. 이번 테스트넷 출시와 함께 Cysic은 단계적으로 커뮤니티 인센티브 활동을 진행할 예정이며, 현재 Cysic은 화이트리스트 메커니즘을 통해 사용자를 검증자로 초대하고 네트워크 테스트에 참여하여 보상을 받을 수 있도록 하고 있습니다; 후속으로 Cysic은 커뮤니티에 일부 증명자 역할도 개방할 예정입니다.

ZK 하드웨어 가속 트랙에 가장 먼저 진입한 주요 프로젝트 중 하나인 Cysic은 이전에 600만 달러의 시드 라운드 자금 조달과 1200만 달러의 Pre-A 라운드 자금을 조달했습니다. Polychain Capital, Hashkey Capital, OKX Ventures, ABCDE 등 여러 유명 VC들이 참여했으며, DAO5 파트너, Celestia의 첫 투자자 George Lambeth, 전 Binance Labs의 전무 이사 Ken Li 등 여러 엔젤 투자자들의 지원을 받았습니다.

테스트넷 출시의 기회를 빌어, 우리는 Cysic의 공동 창립자 Leo Fan과 심도 있는 대화를 나누었습니다. Cysic의 ZK 및 하드웨어 가속 트랙에 대한 통찰, 프로젝트의 장점 및 구현 논리, ZK의 대규모 적용 전망 등에 대한 구체적인 의견을 논의했습니다. 대화 중 Leo Fan은 ZK 하드웨어 가속이 이더리움, 암호화폐 산업 및 현실 세계에 큰 힘을 실어줄 것이라고 언급하며, ZKVM의 발전과 Cysic ASIC 하드웨어의 출하가 임박함에 따라 ZK 기술이 2025년에는 진정한 대규모 채택을 이룰 것이라고 낙관적으로 예측할 이유가 있다고 말했습니다.

이번 내용에서는 Cysic의 과거, 현재 및 미래를 살펴보고, Cysic의 공동 창립자 Leo Fan이 ZK 하드웨어 가속 트랙에 대해 어떻게 보고, 생각하고, 느끼는지를 함께 알아보겠습니다.

주요 논점

• 7월 중순 테스트넷의 도래와 함께 일련의 인센티브 활동이 준비되고 있습니다: Cysic은 화이트리스트 메커니즘을 통해 사용자를 검증자로 초대하고, 테스트에 참여하여 보상을 받을 수 있도록 하며, 테스트넷 후반부에는 커뮤니티에 일부 증명자 역할도 개방할 예정입니다. B2B 사용자에게 Cysic은 ZK 프로젝트에 대해 효율적이고 저렴하며 즉각적인 ZK 서비스를 제공하는 것을 목표로 하며, 전문 채굴자도 Cysic 네트워크에 접속하여 하드웨어 장비를 보다 효율적으로 사용할 수 있습니다. C2C 사용자에게는 일반 노트북도 Cysic 네트워크에 접속하여 검증자 역할을 할 수 있습니다.

• ZK 하드웨어 가속 트랙의 주요 프로젝트로서 Cysic의 핵심은 세 가지로 요약할 수 있습니다: 효율성, 자체 개발한 칩을 통해 실시간 증명 생성을 구현; 범용성, 시장에 있는 거의 모든 다양한 알고리즘 유형의 ZK에 가속 서비스를 제공; 탈중앙화, ZK DePIN 네트워크를 구축하여 탈중앙화 방식으로 산업에 서비스를 제공합니다.

• ZK의 장점은: 특정 개인을 신뢰할 필요가 없으며, 수학적 논리를 통해 신뢰를 구축할 수 있다는 점입니다. 또한, 다른 확장 솔루션에 비해 이더리움의 전체 구조는 ZK 발전에 더 우호적이며, ZK의 엄격한 수학적 논리는 이더리움의 보안성과 공정성을 더욱 보장합니다.

• Cysic에서는 프로젝트 측이 자신의 필요에 따라 적합한 Prover를 선택할 수 있는 자율성을 가지고 있어, 탈중앙화 정도를 더욱 높입니다.

• 성능 대비 가격비와 효율성 측면에서 ASIC의 성능은 월등히 앞서지만, ASIC 설계 및 생산 과정에서 발생할 수 있는 실리콘 결함 등의 문제로 인해 높은 비용이 발생할 수 있으므로, 모두가 ASIC의 설계 및 제조에 대해 신중하게 접근하고 있습니다.

• Cysic은 이중 토큰 경제 모델을 채택하고 있습니다: 네이티브 토큰은 가스 요금 및 생태 기여자 보상 등 다양한 용도로 사용되며, 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를 포함한 다양한 다중 검증 시스템을 지원합니다. 우리의 강력한 네트워크는 10,000개 이상의 GPU 카드로 지원되어 비할 데 없는 성능과 신뢰성을 보장합니다. 현재 Scroll, Light protocol, Risc Zero, Inference Labs, Ion Protocol, Aerius Labs, TalusNetworkEAP를 포함한 16개 프로젝트가 EAP 프로그램에 참여하고 있으며, 초기 멤버들은 향후 일련의 생태적 권리를 누릴 수 있습니다.

또한, 여기서 B2B는 전문 채굴자들을 지칭할 수도 있습니다. 그들은 많은 GPU를 보유하고 있으며, AI DePIN 네트워크와 같은 다른 네트워크에 접속하는 것 외에도, 향후 Cysic 네트워크에 접속할 수 있습니다. 접속 후에는 GPU가 대부분의 시간을 작업을 수행하는 상태가 되며, 즉 하드웨어가 더 효율적으로 사용되는 단계로 진입하게 됩니다. 테스트넷 후반부에는 커뮤니티에 증명자 역할을 개방할 예정이며, 일정한 하드웨어 조건을 충족하는 사용자는 증명자로 신청할 수 있습니다. 한편으로는 메인넷 출시를 위해 기여하고, 다른 한편으로는 테스트 보상을 받을 수 있습니다.

C2C 사용자 관점에서, 여기서는 상대적으로 초보적인 사용자를 지칭할 수 있습니다. 그들은 강력한 하드웨어가 없을 수도 있지만, 일반 노트북을 통해 Cysic 네트워크에 접속하여 검증자 역할을 수행함으로써 ZK 생태계에 기여하고 보상을 받을 수 있습니다. Cysic 테스트넷은 7월 중순에 출시될 예정이며, 관련 테스트넷 인센티브 활동도 준비 중입니다: 그때 우리는 화이트리스트 메커니즘을 통해 사용자를 검증자로 초대하고, 네트워크 테스트에 참여하여 보상을 받을 수 있도록 할 것입니다.

심조 TechFlow: Cysic이 하고 있는 일을 세 가지 단어로 설명한다면 어떻게 설명하시겠습니까?

Leo Fan:

우리는 효율성의 병목 현상을突破한 후, 암호화폐 산업과 Web2 현실 세계 모두에서 ZK 기술이 대규모 채택을 맞이할 것이라고 믿습니다. Cysic은 FPGA, GPU 및 ASIC을 포함한 전 하드웨어 가속 서비스를 제공하여 ZK 증명의 실시간 생성을 실현하고, ZK 프로젝트, 계산력 제공자 및 커뮤니티 검증자를 연결하는 ZK DePIN 네트워크 Cysic Network를 구축하여 궁극적으로 전체 산업에 효율적이고 비용 효율적이며 탈중앙화된 계산력 + 검증 네트워크를 제공합니다. 요약하자면, Cysic은 ZK의 대규모 채택을 앞당기는 데 필수적인 역할을 할 것입니다.

질문으로 돌아가서, Cysic이 현재 하고 있는 일을 다음 세 가지 단어로 설명할 수 있다고 생각합니다:

효율성: Cysic은 자체 개발한 칩을 통해 실시간 증명 생성을 목표로 하고 있습니다. 현재 우리는 여전히 GPU를 통해 프로젝트에 ZK 가속 서비스를 제공하는 단계에 있지만, 현재로서는 업계에서 가장 빠른 속도를 자랑하며, 향후 프로젝트 진행 및 ASIC의 구현에 따라 더욱 빨라질 것입니다.

범용성: 사실 ZK 범위 내에는 다양한 알고리즘이 존재하며, 서로 다른 알고리즘 간에는 차이가 있습니다. Cysic은 산업에 모든 알고리즘을 지원하는 ZK 가속 서비스를 제공하여 서비스 범위를 확장하고 사용성을 높이는 것을 목표로 하고 있습니다.

탈중앙화: Cysic은 현재 Cysic Network를 구축하고 있으며, 이는 ZK DePIN 네트워크입니다. 우리는 탈중앙화된 Prover와 Verifier를 통해 전체 생태계에 서비스를 제공하고, 참여자들은 ZK에 대한 기여를 통해 보상을 받을 수 있습니다.

심조 TechFlow: 현재 ZK 하드웨어 가속 솔루션은 CPU, GPU, FPGA 및 ASIC 등 여러 가지 방식이 있는데, 이들 방식의 차이점은 무엇인가요? Cysic은 ZK 하드웨어 가속을 구현하기 위해 어떤 방식을 선호하나요?

Leo Fan:

사실 Cysic은 이 문제에 대해 상당한 발언권을 가지고 있습니다. ZK 하드웨어 가속에는 ZPrize라는 경연이 있습니다. Cysic은 첫 번째 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 칩 설계 과정에서 중요한 단계로, 생성된 마스크를 웨이퍼 공장에 보내 칩을 제조하는 과정입니다. 이 과정에서 실수가 발생하면 높은 비용이 발생할 수 있으므로, 현재 모두가 ASIC의 설계 및 제조에 대해 신중하게 접근하고 있습니다.

단기적으로 Cysic도 마찬가지입니다. 작년 말부터 2025년 초까지 우리는 GPU를 통해 서비스를 제공할 예정이며, 우리의 ASIC은 내년 2분기 또는 3분기에 여러분과 만날 것입니다. 그때 우리는 ASIC 서비스를 주로 제공하는 방향으로 전환할 것입니다. 이는 필연적인 과정이며, Cysic은 실시간 ZK 증명 생성을 실현하기 위해 노력하고 있습니다. 현재 주류 ZK 회로에 대해 우리는 증명 시간이 1-5초에 이를 수 있기를 희망하며, 이 목표를 달성하기 위해서는 오직 ASIC만이 가능하다고 생각합니다.

심조 TechFlow: Cysic은 어떻게 실시간 증명 생성을 구현하나요? 이것이 ZK, 이더리움 및 전체 암호화폐 산업에 어떤 변화를 가져오거나 혁신을 창출할까요?

Leo Fan:

저는 이것이 매우 큰 혁신을 가져올 것이라고 생각합니다. ZK와 머신러닝(Machine Learning)의 결합을 예로 들어보겠습니다. 현재 ZK를 사용하여 머신러닝 회로를 실행하려면 매우 오랜 시간이 걸립니다: 예를 들어 GPT2를 실행할 때, ZK 없이 약 1초가 걸리지만, ZK를 사용하여 GPT2 회로를 증명하려면 가장 빠른 솔루션을 사용하더라도 몇 분이 걸리며, CPU를 사용할 경우 몇 시간이 걸립니다. 이렇게 긴 시간은 사용자 경험이 전혀 없습니다.

Cysic의 ASIC 칩은 실시간 ZK 증명 생성을 가능하게 하며, 이는 ZK와 머신러닝 기술의 결합을 촉진할 뿐만 아니라 사용자에게도 좋은 경험을 제공합니다. 물론 현재 암호화폐와 AI의 결합도 매우 밀접하므로, 이 예시는 매우 암호화폐 네이티브한 예시라고 할 수 있습니다.

또한, ZK 가속은 이더리움 및 전체 암호화폐 산업에 큰 힘을 실어줄 것입니다. 가장 큰 변화는 이전에 10분 이상 걸리던 작업이 몇 초로 단축된다는 것입니다. L2에서 더 많은 거래와 크로스 체인 거래가 더 빠르게 확인될 수 있으며, 이러한 확인은 수학적 논리를 기반으로 하며, OP와 같은 "무죄 추정" 가정에 의존하지 않습니다. 이는 암호화폐 산업에 있어 큰 진전을 의미합니다.

탈중앙화 방식으로 ZK 증명의 실시간 생성을 구현하고, 이중 토큰 모델로 ZK DePIN 네트워크를 활성화하다

심조 TechFlow: 과거의 솔루션에서는 효율성과 탈중앙화를 동시에 충족하기가 어려웠지만, Cysic은 실시간 증명 생성을 구현하는 동시에 검증자/증명자의 탈중앙화도 이루었습니다. Cysic이 이를 어떻게 구현했는지 간단히 소개해 주실 수 있나요? Cysic이 채택한 PoC 합의가 탈중앙화 정도를 어떻게 더욱 높일 수 있을까요?

Leo Fan:

앞서 언급한 질문에서, Cysic이 구축한 ZK DePIN 네트워크 Cysic Network에는 두 가지 중요한 역할이 있습니다: 증명자와 검증자입니다.

검증자는 증명자가 생성한 증명을 검증하는 역할을 하며, 검증자의 탈중앙화는 비교적 용이합니다. 왜냐하면 스마트폰, 노트북, 태블릿 등으로 ZK 증명을 검증할 수 있기 때문에 하드웨어 요구 사항이 매우 낮고, 검증 시간은 일반적으로 1초 미만입니다.

증명자의 탈중앙화는 초기(즉, GPU 시대)에는 다소 어려움이 있습니다. 좋은 사용자 경험을 제공하려면 증명 생성 시간이 상대적으로 짧아야 하며, 이는 증명자가 높은 하드웨어 요구 사항을 충족해야 함을 의미합니다. 이는 많은 사람들에게 일정한 장벽이 될 수 있습니다. 그러나 Cysic의 하드웨어가 출하되기 시작하면 이러한 상황은 크게 완화될 것입니다. 현재 주류 GPU 가속에 비해 Cysic의 하드웨어는 ZK 가속을 최대 10배 향상시킬 수 있으며, 가격도 상대적으로 저렴하여, 사용자는 낮은 비용으로 Cysic의 하드웨어를 구매하여 전문 채굴자 수준에 도달할 수 있습니다.

소프트웨어 측면에서 현재 Cysic은 ZK DePIN 네트워크를 구축하고 있으며, PoC(Proof of Compute) 메커니즘을 설계하여 ZK DePIN 시나리오에 더 적합하게 만들고 있습니다. PoC는 실제로 Proof of Stake와 Proof of Work의 결합과 유사하며, 각 에포크(epoch)마다 약 100개의 블록이 있으며, 증명자의 계산력 규모에 따라 일부 노드를 선택하고, 이 노드의 스테이킹 가중치에 따라 이 에포크의 블록을 제안할 사람을 결정합니다. 이는 네트워크가 안정적인 상태를 유지하도록 보장할 뿐만 아니라 탈중앙화 정도를 더욱 높일 것입니다.

심조 TechFlow: Cysic이 실용 토큰과 거버넌스 토큰을 결합한 이중 토큰 모델을 채택한 것을 주목했습니다. 이중 토큰 설계의 장점과 Cysic이 이중 토큰을 통해 생태계를 효과적으로 관리하고 인센티브를 제공하는 방법에 대해 설명해 주실 수 있나요?

Leo Fan:

이중 토큰 모델에서 하나는 네이티브 토큰이고, 다른 하나는 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 축제에서 이더리움 공동 창립자 Vitalik Buterin은 "ZK는 이더리움의 미래"라는 관점을 명확히 표현했습니다. 왜 Vitalik이 ZK를 이렇게 높게 평가할까요? 다른 확장 솔루션에 비해 ZK 기술의 장점과 이더리움에 대한 힘은 무엇이라고 생각하시나요?

Leo Fan:

저는 그 이유가 두 가지 측면으로 나눌 수 있다고 생각합니다:

첫째, ZK는 특정 개인을 신뢰할 필요가 없습니다. OP와 같은 "무죄 추정" 신뢰 메커니즘과는 달리, ZK의 신뢰는 엄격한 수학적 논리에 기반하고 있으며, ZK 기술은 이미 30-40년 동안 발전해왔습니다. 이러한 수학적 가정에 기반한 암호학 시스템은 점점 더 완벽해지고 있습니다. 따라서 다른 솔루션에 비해 수학에 신뢰를 두는 것이 더 안전합니다.

둘째, 다른 확장 솔루션에 비해 이더리움의 전체 구조는 ZK 발전에 더 우호적입니다. ZK를 통해 증명을 생성한 후, 이더리움에서 빠르게 검증될 수 있으며, 생성된 ZK 증명은 L2의 하나의 블록이 될 수 있습니다. 이 블록은 아마도 1000개의 거래에 해당할 것입니다. 즉, 이더리움에서 ZK 증명을 검증하면 1000개의 거래를 검증한 것과 같으며, 이더리움의 기본 구조를 크게 변경하지 않고도 ZK는 더 나은 확장 솔루션입니다.

마지막으로 ZK 기술이 이더리움에 미치는 영향에 대해 말씀드리자면, ZK의 빠른 발전은 우선 L2를 통해 이더리움의 결제 시간을 크게 단축시켰습니다. 둘째, ZK Bridge를 통해 이더리움은 효율성을 높이면서 많은 보안 취약점을 피할 수 있습니다. 또한 ZK는 이더리움이 블록을 생성하는 방식에도 큰 영향을 미치며, ZK에는 검증 가능한 지연 함수(Verifiable Delay Function) 모듈이 있어, 엄격한 수학 함수를 사용하여 난수를 생성하고, 이에 대한 ZK 증명을 생성하여 지연 함수가 제대로 계산되었는지를 검증합니다. 이는 이더리움의 보안성과 공정성을 잘 보장합니다.

심조 TechFlow: ZK의 현재 비효율성 문제에 직면하여, Vitalik은 세 가지 해결 방향에 주목했습니다: 1. 병렬화 및 집합 트리; 2. SNARK 알고리즘 및 해시를 사용하여 효율성 향상; 3. ZK 하드웨어 가속을 위한 ASIC 사용. Cysic은 ZK 하드웨어 가속 트랙 프로젝트로서, ZK 하드웨어의 장점이 다른 두 가지 해결 방향에 비해 무엇이라고 생각하십니까?

Leo Fan:

사실 첫 번째 병렬화 및 집합 트리 해결책과 세 번째 ZK 하드웨어 가속 해결책은 협력 관계에 있습니다. 병렬화 및 집합 트리 해결책은 실제로 병렬 EVM을 만들거나 증명의 집합 및 배치 검증을 수행하는 것입니다. 하드웨어 가속은 이 과정을 가속화할 수 있습니다.

두 번째 해결책은 SNARK 알고리즘 및 해시를 사용하여 효율성을 높이는 것입니다. SNARK(Succinct Non-Interactive Arguments of Knowledge)는 사실 ZK이며, 우리가 가속하는 것은 SNARK입니다. 많은 프로젝트의 SNARK에는 많은 매개변수가 있으며, 매개변수를 공격적으로 설정하면 보안성에 영향을 미칠 수 있습니다. ZK 하드웨어 가속의 장점은 보안 기반을 흔들지 않고도 가속을 실현할 수 있다는 것입니다.

ZKVM의 지원과 Cysic의 자체 개발 하드웨어 출하, 2025년 ZK는 대규모 채택을 맞이할 것입니다

심조 TechFlow: 최근 ZK의 바람이 Solana에까지 불어왔습니다. 프라이버시 프로토콜 Light Protocol은 Solana를 위한 새로운 원시 개념(ZK Compression)을 제안하여 Solana에서 원주율 ZK 계산을 활성화하고, Solana의 토큰 및 계정 관리 비용을 몇 배로 줄이는 것을 목표로 하고 있습니다. ZK Compression에 대해 어떻게 생각하시나요? 이것이 Cysic이 속한 ZK 하드웨어 가속 트랙에 어떤 기회와 도전을 가져올 것이라고 생각하십니까?

Leo Fan:

ZK Compression은 최근 Solana에서 떠오른 ZK 기술입니다. 이는 ZK의 간결성을 활용하여 상태를 축소함으로써 비용을 줄이는 것을 목표로 합니다. 동일한 기술은 ZK-L2 및 ZK Bridge에서도 사용되고 있습니다. Cysic에게 이 기술의 핵심은 Cysic이 현재 개발 중인 기술과 차이가 없으며, 새로운 환경(Solana)에서의 ZK 응용에 불과합니다. Cysic의 기존 기술은 이를 잘 지원할 수 있습니다.

심조 TechFlow: ZK 기술이 실제로 구체적인 환경에서 대규모 채택을 이루기까지 얼마나 걸릴 것이라고 생각하시나요? 이 비전을 실현하는 데 중요한 계기는 무엇인가요?

Leo Fan:

저는 ZK의 대규모 채택이 내년 바로 올 것이라고 생각하며, 이는 암호화폐 산업에 국한되지 않고 실제로 많은 적용 사례에서 이루어질 것입니다. 이는 두 가지 측면에서 비롯됩니다:

첫째, 소프트웨어 측면에서 Cysic은 ZKVM의 발전에 매우 주목하고 있습니다. ZKVM은 개발자가 많은 ZK 회로를 작성할 필요 없이, 직접 RUST 또는 Go 프로젝트를 작성한 후 ZKVM을 통해 ZK 회로로 변환할 수 있도록 도와줍니다. 이는 ZK 개발 속도를 크게 높이고 ZK 소프트웨어 개발 장벽을 낮춥니다. Cysic은 소프트웨어 측면에서도 지속적으로 더 나은 솔루션을 탐색할 것입니다.

다른 한편으로, Cysic의 자체 개발 하드웨어가 내년에 출하될 예정이며, 이는 ZK 증명 생성의 효율성을 크게 높일 것이며, ZK 기술의 대규모 채택을 촉진하는 중요한 힘이 될 것입니다.

심조 TechFlow: Cysic이 최근에 이룬 주요 발전 사항과 2024년 하반기 Cysic의 작업 중점이 무엇인지 공유해 주실 수 있나요?

Leo Fan:

지난 1년 동안 Cysic은 여러 혁신적인 발전을 이루었습니다: 2023년 말, 팀은 ZK 칩 설계의 발전 방향을 대체로 확정했습니다. 이전에는 특정 비중이 큰 모듈에 대한 가속만 진행했지만, 작년 말 우리는 ZKVM 기반의 ZK 칩 설계 방향을 확정하여 하드웨어 제품 형태가 매우 유연하게 전개될 수 있게 되었습니다. 우리는 두 가지 제품을 출시할 예정입니다:

ZK Air는 일반 사용자를 위한 제품으로, 경량형 휴대용 ZK DePIN 장치입니다. 크기는 Macbook 충전기 크기와 비슷하며, Type-C를 통해 스마트폰이나 컴퓨터와 연결하여 효율적인 ZK 증명을 실현할 수 있습니다. ZK Air는 최고급 소비자용 그래픽 카드보다 더 높은 계산력을 제공하며, 10개의 RTX 4090과 견줄 수 있습니다.

ZK Pro는 ZK 증명 생산을 최대한 가속화하여 사용자가 실시간으로 ZK 증명을 계산할 수 있도록 설계된 전통적인 채굴기와 유사한 제품입니다. ZK Pro는 대규모 ZK 프로젝트, 예를 들어 zkRollup, zkML 등과 같은 시나리오에 더 적합합니다. 성능 면에서 ZK Pro는 Air에 비해 큰 향상을 이루었으며, Cysic 공식 발표에 따르면 그 계산력은 50개의 NVIDIA RTX 4090 그래픽 카드와 견줄 수 있습니다.

또한 GPU 측면에서 우리는 이미 관련된 범용 코드를 자체 개발하였으며, CPU에 비해 큰 향상을 이루었고, 시중의 오픈 소스 솔루션보다 거의 두 배 빠릅니다. ASIC이 여러분과 만날 때까지, 우리는 GPU 등 솔루션을 통해 산업에 더 나은 ZK 하드웨어 가속 서비스를 제공할 것입니다.

앞으로 2024년에는 Cysic 테스트넷이 7월 중순에 출시될 예정이며, 메인넷은 3분기에 출시될 가능성이 높습니다. 현재 대부분의 개발 작업이 완료되었으며, 우리는 지속적으로 스트레스 테스트 등의 작업을 진행하고 있습니다.

또한, 우리의 또 다른 주요 작업은 ZKVM 기반의 하드웨어 설계로, 커뮤니티에 매우 구체적인 성능을 제공하는 것을 목표로 하고 있습니다.