Recursive Gaming – EthGlobal Istanbul WIP zkApp

Recursive Gaming – EthGlobal Istanbul WIP zkApp

The project introduces a versatile recursive framework designed for turn-based games on the Mina blockchain. A demonstration featuring the game tic-tac-toe showcases the practical application of this scheme, illustrating its adaptability to games such as checkers, chess, battleships, and more. Notably, this marks the inaugural o1js application incorporating lookup tables.

Development Process
In this turn-based game structure, each move is presented as a proof. Players follow a two-step process: they initially validate the opponent’s move by verifying its proof, and subsequently, they execute their own move. These paired steps are then collectively proven, and the resulting proof is transmitted to the opponent. This iterative process continues until a conclusive state is attained, such as a player securing victory or a draw occurring. The recursive scheme captures all turns played in the final proof, which is subsequently verified on-chain to determine the game’s winner.

The included tic-tac-toe demo employs lookup tables to confirm that the board’s final state, whether a win or draw, aligns with a precommitted table encompassing all potential win and draw states. This application marks the pioneering use of lookup tables on o1js, a feature not native to the platform but exposed through the following PR: https://github.com/o1-labs/o1js/pull/1253

Click here to visit the GitHub page >
More info >

zkok-id: zkok116 Categories: , , Tags: , ,

Türkçe

Proje, Mina blockchain üzerinde tur tabanlı oyunlar için tasarlanmış çok yönlü bir recursive framework sunar. Tic-tac-toe oyununu içeren bir gösterim, bu şemanın pratik uygulamasını sergileyerek dama, satranç, deniz savaşları gibi oyunlara uyum sağlayabilirliğini gösterir.

Geliştirme Süreci: Bu tur tabanlı oyun yapısında, her hamle bir kanıt olarak sunulur. Oyuncular, iki aşamalı bir süreci takip ederler: öncelikle, rakibin hamlesini kanıtını doğrulayarak onaylarlar ve ardından kendi hamlelerini gerçekleştirirler. Bu eşleşmiş adımlar daha sonra toplu olarak kanıtlanır ve elde edilen kanıt rakibe iletilir. Bu tekrarlayan süreç, bir oyuncunun galibiyeti veya beraberlik gibi bir kesin duruma ulaşılana kadar devam eder. Recursive şema, oyunun kazananını belirlemek için zincir üzerinde doğrulanacak olan final kanıtta oynanan tüm hamleleri yakalar. İçeren tic-tac-toe demo, kazanç veya beraberlik durumlarını içeren tüm olası durumları kapsayan önceden taahhüt edilmiş bir tablo ile oyun tahtasının son durumunun eşleşip eşleşmediğini doğrulamak için lookup tablolarını kullanır. Bu uygulama, o1js üzerinde yerleşik olmayan ancak şu PR ile açığa çıkarılan lookup tablolarının öncü kullanımını işaret eder: https://github.com/o1-labs/o1js/pull/1253

Featured zkApps
MAC!
Katz
Anomix
Social Cap
zkLocus
Protokit
Pado
Wordle
zkFusion
zKeeper
Scroll to Top