Zypher Research：Zypher는 Expander를 사용하여 효율적인 전체 체인 게임 인프라를 구축합니다

출처 링크：https://x.com/Zypher_Network/status/1871383005505396853

Goth16에서 Plonk까지, 전체 zk 산업계는 더 효율적인 증명 시스템을 설계하기 위해 노력해왔습니다. 그러나 zk 증명 시스템의 성능을 객관적으로 평가하는 것은 여전히 복잡한 문제입니다. 현재 통일된 벤치마크 기준이 없기 때문입니다. 올해 7월, StareWare는 차세대 증명 시스템 Stwo를 발표했으며, 초당 해시 증명(HPPS)이라는 지표를 도입하여 시스템 성능을 직관적으로 측정할 수 있게 되었습니다. 테스트 결과, Stwo는 M3 노트북에서 초당 620,000개의 Poseidon2 해시를 증명할 수 있어 한때 가장 빠른 증명 시스템으로 여겨졌습니다. 그러나 이 기록은 곧 깨졌습니다. 8월, Expander는 최신 벤치마크 보고서를 발표하며, AMD Ryzen 7950X3D 머신에서 Expander의 처리량이 2,160,000 HHPS에 달한다고 밝혔습니다. 이는 Stwo의 960,000 HHPS를 훨씬 초과하며, 세계에서 가장 빠른 증명기로 자리 잡았습니다.

Zypher Network는 AI Agents와 ZKP 기술로 구동되는 전체 체인 게임 플랫폼으로, 산업 발전에 지속적으로 주목하고 효율적인 증명 시스템을 적극 도입하고 있습니다. 더 효율적인 증명 시스템은 사용자 경험을 크게 향상시킬 뿐만 아니라, 고성능 체인 상의 탈중앙화 애플리케이션 구축에 무한한 가능성을 제공합니다. 현재 우리는 Expander의 발명자 Polyhedra Network와 협력하여 Expander를 사용해 차세대 체인 상 탈중앙화 인프라를 탐색하고 있으며, 전체 체인 게임 생태계에 지속적인 혁신 에너지를 주입하고 있습니다. 제로 지식 연구 및 응용 분야의 선두주자인 Polyhedra는 그들의++EXPchainLayer1++을 통해 AI와 블록체인 시스템에서 신뢰와 확장성의 기초 기술을 구축했습니다. Expander의 효율성을 바탕으로 그들은 검증 가능한 체인 상 AI를 구현하여 산업 발전에 새로운 가능성과 해결책을 제공합니다.

Expander란 무엇인가

대부분의 SNARK는 단일 변수 다항식을 사용하며, 이는 주로 그 기초 다항식 약속(예: KZG, FRI) 방식에 의해 결정되며, 다항식 약속은 일반적으로 SNARK 성능의 주요 병목 현상입니다. 최근 몇 년 동안 GKR+sumcheck 기반의 새로운 증명 시스템이 등장했으며, 다변수 다항식을巧妙하게 사용하여 증명자의 복잡성을 크게 줄였습니다.

GKR 프로토콜은 2008년에 제안되었으며, Libra에 의해 추가 개선되었습니다. 이는 엄격한 선형 증명자 시간을 가진 최초의 제로 지식 증명 방안을 제시했습니다. 이 기반 위에, Libra의 저자 ------ Polyhedra 팀은 Expander 증명 시스템을 개발했습니다. 이 시스템은 효율적인 GKR 프로토콜과 다변수 다항식 기반의 다항식 약속 방안(예: Orion 및 Brakedown)을 결합하여, 증명자의 계산이 다항식 크기와 선형 관계에 있는 해시 연산 및 도메인 작업만 포함되도록 합니다. 이 증명 시스템은 FFT 연산이 필요하지 않으므로 현재 비교적 인기 있는 소도메인을 사용할 수 있으며, 이는 증명기 오버헤드가 더 낮고 더 나은 하드웨어 호환성을 의미합니다. Expander는 현재 다음 도메인을 주로 지원합니다:

GKR 회로 작성은 상대적으로 복잡하므로 Expander는 회로 컴파일러 ECC를 제공하여 gnark로 작성된 회로를 계층 회로로 변환한 다음 Expander 증명기를 사용하여 증명할 수 있도록 합니다. 전체 개발 프로세스는 다음 그림과 같습니다:

GKR 프로토콜 심층 분석

완전한 프로토콜 흐름은 다음과 같습니다. 다음을 설정합니다:

Zypher 솔루션

Expander는 성능 면에서 우수하며, 특히 AI 분야에서 두드러집니다. 알려진 바에 따르면, Expander는 고성능 CPU를 사용하여 몇 분 안에 80억 개의 매개변수를 가진 Llama-3 모델에 대한 증명을 빠르게 생성할 수 있습니다. 이 성과는 고무적이며 AI Agent의 응용을 위한 길을 열어줍니다. Zypher Network는 AI Agents와 ZKP 기술로 구동되는 전체 체인 게임 플랫폼으로, AI Agents를 활용하여 스마트 비플레이어 캐릭터, 적 및 강력한 게임 보스를 생성하고, 일상적인 캐릭터 훈련 및 자동화된 PvP 전투 등을 구현하고 있습니다.

Expander 덕분에 Zypher는 한편으로는 적은 계산 자원으로 더 복잡한 실용 AI Agents와 더 빠른 증명 생성을 실현할 수 있으며, 다른 한편으로는 AI agent와 플레이어의 행동을 더 효율적으로 검증하여 시스템의 안전성과 공정성을 보장함으로써 탈중앙화 체인 게임을 새로운 차원으로 끌어올리고 더 높은 수준의 사용자 경험을 제공합니다.