Zypher Research | zkVM 지원 검증 가능한 온체인 게임 구축 방법

Zypher는 게임 스튜디오/퍼블리셔에 대한 신뢰를 필요로 하지 않는 상태 기계로 대체하여 새로운 개방형, 탈중앙화 게임 패러다임을 구축하고자 합니다. 이러한 게임은 상태 및 논리 수준에서 조합 가능하고 상호 운용 가능하며, 체인 상에서 개발자는 허가 없이 수정할 수 있어 체인 상 게임의 개방 경제와 무한 지속성을 위한 기반을 마련합니다.

그러나 "핵심 게임 플레이"를 체인 상에 통합하는 데는 몇 가지 어려움이 있습니다. 대중이 잘 아는 카드 게임을 예로 들어 보겠습니다:

• 투명한 장부는 "숨겨진" 정보의 필요를 충족할 수 없으며, 카드 소지자에게만 카드를 선택적으로 보여줄 수 없습니다.

• 플레이어는 다른 게임의 클라이언트와 동기화하기 위해 상태 전환(플레이어의 행동)을 기다려야 합니다.

기존의 dApp 인프라는 주로 EVM을 기반으로 하며, 높은 응답성과 빈번한 상태 전환의 사용 사례를 위해 설계되지 않았기 때문에 필요한 비용 효율성, 확장성을 제공할 수 없습니다. 따라서 대부분의 체인 상 게임은 체인 상 자산 계층을 통해 자산의 상호 운용성과 신뢰성을 보장하는 Web 2.5 게임으로 설계되었으며, "자산 생성을 초래하는 핵심 게임 플레이"는 여전히 중앙화되어 있습니다.

체인 상 게임 개발 개혁

Zypher는 이러한 문제를 해결하기 위해 Solidity/Rust/WASM 기반의 여러 ZKP 솔루션을 개발하여 자원 집약적인 계산을 체인 외부로 이동시키고 체인 상에서 게임 결과를 검증합니다.

• Secret Engine은 게임 내 전략 숨김 및 성과 증명을 위한 SDK 세트를 제공합니다. 예를 들어, 셔플 SDK, 매칭 SDK 등을 통해 체인 상 무작위성과 정보 비대칭의 요구를 충족합니다.

• AW Engine은 수직 확장을 통해 높은 처리량을 제공합니다. 또한 실시간 다인 게임을 구현하기 위해 사용자 정의 가능한 zk 기반의 마이크로 체인 장비-Z4를 지원합니다.

• Zytron Kit은 두 가지 엔진을 프리컴파일 계약으로 지원하는 사용자 정의 가능한 L3 롤업 스택입니다. 또한 최적화된 P2P 계층/데이터 호환 모듈/서버 샤딩 등 다양한 플러그 앤 플레이 모듈을 포함합니다.

Zytron의 첫 번째 알파 테스트넷은 0 가스 비용, 0.2초의 블록 시간, 게임을 위해 설계된 프리컴파일 계약을 특징으로 하며, 2주 내에 출시될 예정입니다. 그때 몇 가지 게임이 우리의 게임 커뮤니티의 선행 테스트자로 등장할 것입니다. 더 많은 세부 사항이 곧 발표될 예정입니다.

위 그림: Zypher AW Engine과 Bevy Engine으로 구동되는 실시간 PVP 게임 데모, 처리량이 100배 향상되었습니다.

아래 그림: 완전히 체인 상에 기반하고 AI에 의해 생성된 거래 카드 게임(TCG), Zypher Secret Engine의 zk-shuffle 및 zk-matchmaking SDK로 구동됩니다.

Risc Zero zkVM: 검증 가능한 계산, 검증 가능한 게임

이더리움은 처음부터 제로 지식 증명(ZK)의 친화성을 중심으로 설계되지 않았기 때문에 이더리움 프로토콜의 많은 부분이 ZK 증명을 수행할 때 많은 계산을 필요로 합니다.

Vitalik, "different types of ZK EVMs"

Risc Zero는 독특한 범용 검증 가능한 제로 지식 가상 머신을 개발했습니다. zkVM에서 논리를 실행함으로써 코드의 출력이 충실하게 생성되고 조작되지 않도록 보장합니다. 이는 신뢰할 필요 없는 인증 및 검증을 제공하여 개방형, DAO가 관리하고 자가 유지되는 체인 상 게임 플레이의 기반을 마련합니다.

게임에서 zkVM에서 논리를 실행함으로써 코드의 출력이 충실하게 생성되고 조작되지 않도록 보장합니다. 이는 사용자가 특정 작업을 수행했음을 신뢰할 필요 없이 인증하고 검증하는 방법을 제공합니다. 예를 들어, 요새 건물을 업그레이드하거나 캠페인을 완료하는 등의 작업을 수행할 수 있으며, 각 이벤트를 개별적으로 거래로 등록할 필요가 없습니다. 더 중요한 것은, 커뮤니티의 어떤 플레이어도 게임의 출력을 자기 증명된 증명과 쌍으로 만들어 게임 결과가 변조되지 않았고 공정하게 검증 가능하다는 것을 증명할 수 있어 개방형, DAO가 관리하고 자가 유지되는 체인 상 게임 플레이의 기반을 마련합니다.

미래에 Zypher는 Risc Zero의 증명 서비스 Bonsai와 통합하여 게임 내에서 효율적이고 병렬적으로 증명을 생성할 예정입니다. 이는 성능이 낮은 장치(예: 모바일 장치)를 사용하는 플레이어에게 특히 유용하며, 게임 과정에서의 번거로움을 크게 줄이고 Autonomous Worlds 및 체인 상 게임의 하드웨어 장치 의존도를 더욱 줄입니다.

Bonsai와의 통합은 사용자가 증명 생성과 관련된 불만을 피하는 데 도움이 될 것입니다.

제로에서 하나로, 공공 제품으로 나아가기

지난 주, 우리는 Risc Zero 팀의 엔지니어와 함께 Risc Zero zkVM이 지원하는 셔플 SDK를 사용하여 완전히 체인 상에 구축된 카드 게임의 테스트 회의를 마쳤습니다. 게임은 수용 가능한 응답 시간으로 셔플, 컷, 플립 등의 과정을 보여주었습니다. 가장 중요한 것은 게임이 매우 재미있다는 것입니다. Risc Zero 팀은 곧 출시될 버전이 큰 정수를 지원할 것이라고 언급했으며, 이는 SDK의 성능을 크게 향상시킬 수 있습니다.

Risc Zero의 ZK VM은 일반 개발자가 선호하는 언어로 zk 게임을 작성하는 부담을 덜어주었으며, 개발자는 저수준 언어를 사용하여 복잡한 암호학 관련 회로를 처리할 필요가 없습니다. 우리는 지금 더 많은 개발자 도구를 통해 이 기술의 대규모 채택을 더욱 촉진하고 있습니다.

Zypher는 Risc Zero 기반 게임 개발자를 위해 다양한 오픈 소스, 원스톱 SDK 서비스를 제공하고 있습니다. Shuffle SDK, 고도로 사용자 정의된 Rollup SDK 등의 내장 서비스를 통해 Web2 개발자는 기존 소프트웨어 개발 주기를 근본적으로 변경하지 않고도 논리적으로 상호 운용 가능한 체인 상 게임을 직접 구축할 수 있습니다. Zypher는 이를 "공공 오픈 소스 제품"의 집합으로 구상하여 ZK의 채택을 상대적으로 "니치"한 서사에서 웹3 분야의 수백만 사용자에게 더 널리 사용되도록 전환하고자 합니다.

이번 협력은 체인 상 게임의 미래를 향한 흥미로운 첫 걸음입니다. 이는 가스 비용과 EVM에 제한되지 않는 새로운 세대의 게임을 위한 기반을 마련합니다. 이는 Zypher Games와 같은 세계적 팀이 RISC Zero zkVM을 사용하여 혁신적이고 효율적인 ZK 기반 애플리케이션을 구축하는 방법을 보여줍니다.

• Steven Li, Risc Zero 성장 담당

Risc Zero와의 전략적 파트너십을 시작하면서, 우리는 체인 상 게임의 새로운 혁신을 이끌게 되어 매우 기쁩니다. 그들이 Risc Zero zkVM 및 Bonsai 시장 개발에서 이룬 선구적인 노력은 우리가 체인 상 계산을 처리하는 방식을 근본적으로 변화시켜 더 효율적이고 확장 가능하며 안전한 게임을 위한 길을 열었습니다. 우리는 양측의 협력을 통해 전 세계 사용자에게 혜택을 주는 혁신적인 솔루션을 창출할 수 있다고 믿습니다.

• Neo Sun, Zypher Games CTO

Zypher Games에 대하여

Zypher Games는 주권 Layer 3 롤업부터 ZK-as-a-service SDK에 이르는 다양한 ZKP 기반 게임 엔진을 포함하여 차세대 자율 세계 인프라를 구축하고 있습니다. 우리의 기술은 탈중앙화 게임에 필요한 조합 가능성, 프로그래머블성, 확장성 및 암호학적 원리를 제공합니다. 이는 게임 개발자가 확장성, 공정성 및 게임 전략의 복잡성을 강조하여 풍부하고 상호작용하는 체인 상 세계를 창조할 수 있는 능력을 부여합니다.