출처 링크: https://x.com/Zypher_Network/status/1871383005505396853
Goth16에서 Plonk까지, 전체 zk 산업계는 더 효율적인 증명 시스템을 설계하는 데 힘써왔습니다. 그러나 zk 증명 시스템의 성능을 객관적으로 평가하는 것은 여전히 복잡한 문제입니다. 왜냐하면 현재 통일된 벤치마크 기준이 없기 때문입니다. 올해 7월, StareWare는 초당 해시 증명(HPPS)이라는 지표를 도입한 차세대 증명 시스템 Stwo를 발표했습니다. 테스트 결과, Stwo는 M3 노트북에서 초당 620,000개의 Poseidon2 해시를 증명할 수 있어 가장 빠른 증명 시스템으로 여겨졌습니다. 그러나 이 기록은 곧 깨졌습니다. 8월, Expander는 AMD Ryzen 7950X3D 시스템에서 2,160,000 HHPS의 처리량을 달성하여 Stwo의 960,000 HHPS를 크게 넘어서며 세계에서 가장 빠른 증명기가 되었습니다.
Zypher Network는 AI 에이전트와 ZKP 기술로 구동되는 전체 GameFi 플랫폼으로, 업계 발전에 지속적으로 관심을 가지고 있으며 효율적인 증명 시스템을 적극적으로 도입하고 있습니다. 더 효율적인 증명 시스템은 사용자 경험을 크게 향상시킬 뿐만 아니라, 고성능 온체인 탈중앙화 애플리케이션 구축을 위한 무한한 가능성을 제공합니다. 현재 우리는 Expander의 발명자인 Polyhedra Network와 협력하여 Expander를 사용하여 차세대 온체인 탈중앙화 기반 인프라를 구축하고, GameFi 생태계에 지속적인 혁신 동력을 불어넣고 있습니다. 제로 지식 연구 및 응용 분야의 선도자인 Polyhedra는 EXPchainLayer1을 통해 AI와 블록체인 시스템의 신뢰성과 확장성의 기반 기술을 구축했습니다. Expander의 높은 효율성을 바탕으로, 그들은 검증 가능한 온체인 AI를 실현했으며, 이는 업계 발전을 위한 새로운 가능성과 솔루션을 제공합니다.
Expander란 무엇인가
대부분의 SNARK는 단일 변수 다항식을 사용하는데, 이는 주로 기저 다항식 약속(KZG, FRI 등) 방식에 의해 결정됩니다. 다항식 약속은 일반적으로 SNARK 성능의 주요 병목 지점입니다. 최근 몇 년 동안 GKR+sumcheck 기반의 새로운 증명 시스템이 등장했는데, 이는 다변수 다항식을 교묘히 활용하여 증명자의 복잡도를 크게 낮출 수 있습니다.
GKR 프로토콜은 2008년에 처음 제안되었고, Libra에 의해 개선되었습니다. Libra는 엄격한 선형 증명자 시간을 가진 최초의 제로 지식 증명 방식을 제안했습니다. 이를 기반으로 Libra의 저자인 Polyhedra 팀은 Expander 증명 시스템을 개발했습니다. 이 시스템은 효율적인 GKR 프로토콜과 다변수 다항식 기반의 다항식 약속 방식(Orion, Brakedown 등)을 결합했습니다. 이를 통해 증명자의 계산은 다항식 크기에 선형적으로 관련된 해시 연산과 도메인 연산만 필요합니다. Expander는 FFT 연산이 필요 없어 현재 널리 사용되는 작은 도메인을 사용할 수 있으며, 이는 증명기 오버헤드 감소와 하드웨어 호환성 향상으로 이어집니다. Expander는 현재 다음과 같은 도메인을 주로 지원합니다:
GKR 회로 작성은 상대적으로 복잡하므로, Expander는 gnark로 작성된 회로를 계층 회로로 변환할 수 있는 ECC 회로 컴파일러를 제공합니다. 이를 통해 Expander 증명기를 사용하여 증명할 수 있습니다. 전체 개발 프로세스는 다음과 같습니다:
GKR 프로토콜 심층 분석
완전한 프로토콜 흐름은 다음과 같습니다. 다음과 같이 정의합니다:
Zypher의 솔루션
Expander는 특히 AI 분야에서 뛰어난 성능을 보여줍니다. 보고에 따르면 Expander는 고성능 CPU를 사용하여 80억 개의 매개변수를 가진 Llama-3 모델에 대한 증명을 몇 분 내에 생성할 수 있다고 합니다. 이는 매우 고무적인 성과이며, AI 에이전트 응용 분야를 위한 길을 열어주고 있습니다. Zypher Network는 AI 에이전트와 ZKP 기술로 구동되는 전체 GameFi 플랫폼으로, AI 에이전트를 활용하여 지능형 비플레이어 캐릭터, 상대방 및 강력한 게임 보스를 만들고, 일상적인 캐릭터 훈련과 자동화된 PvP 전투 등을 구현하고 있습니다.
Expander를 통해 Zypher는 더 적은 계산 자원으로 더 복잡한 실용적 AI 에이전트와 더 빠른 증명 생성을 달성할 수 있습니다. 또한 Zypher는 AI 에이전트와 플레이어의 행동을 더 효율적으로 검증하여 시스템의 안전성과 공정성을 보장할 수 있습니다. 이를 통해 탈중앙화 온체인 게임을 한 단계 더 높은 수준으로 끌어올려 사용자 경험의 향상을 가져올 수 있습니다.