ZK_F1 Protocol
The protocol implements a decentralized, trustless racing protocol that combines NFTs,ZK-proofs and a Commit-Reveal for Secrecy.
Project Information
At a Glance
The protocol implements a decentralized, trustless racing protocol that combines NFTs,ZK-proofs and a Commit-Reveal for Secrecy.
Description
Our project solves the core problem of trust and privacy online gaming using blockchain technology. The ZK-proofs guarantee that the player followed the rules and the contracts verifies it impartially. We're combining the NFTs (for ownership) ZK-Snarks (for private game logic) and Commit-Reveal (for race strategy). We've used the Gemini AI for Coding Support and the relations between all the parts of our protocol.
Technical Details
This protocol is a hybrid on-chain/off-chain architecture for a trustless dApp. On-chain, smart contracts manage the public ledger. Car.sol is an ERC721 NFT contract storing a Poseidon commitment (hash) to a user's secret flags. Pairing.sol provides EVM precompiles for ZK verification. SpeedVerifier.sol and TrainVerifier.sol are guardians with hardcoded Verifying Keys. Race.sol is the main logic contract, inheriting from the verifiers. Off-chain, the client runs .zok circuits (train.zok for +/- 19 range checks, speed.zok for the secret formula) and uses a proving.key to generate proofs.
Team
6Luca Nestore
Giuseppe Scarfo
Giulia Verrigni
Rahmet Abdella Mohammed
Carmine Mirra
Abel Ataklti Belay