ZkComputations

Screenshots

Problem Statement

ZkComputations is a platform where everyone can list a large computation problem and set a reward for the one who solves it. This platform could be used for incentivizing public good movements on different blockchain communities. You can imagine multiple grants for funding the next prime number or Mersenne prime discovery or solving np-hard problem which is ultimately improving the whole cryptography sector.

Solution

How it works?Solution Seeker X wants to find the answer of Large Computation Problem.X generates a verifier contract and deploys itThe verifier contract is funded by X with some amount that will be used for potential rewardThe Problem desciption is posted on ZkComputations UI appProblem Solver Y tries to solve the big computation problemIf Y finds the solution then Y generates the proof off-chain using zokratesY send transaction to Verifier Contract containing the proof and withdraws half of the amountY is insentivized to reveal the actual solution to X (via email or on-chain) in order to receive the rest of the rewardX can verify the actual solution and then send the extraReward to Y, otherwise his rating goes down and money are locked foreverIf X and Y finish the flow end to end this constitutes a Nash equilibriumThis process addresses several key challenges:Establishing a platform for tackling significant computational problems. Incentivizing participants to contribute solutions by offering rewards. Safeguarding participants from front-running attempts. Ensuring that the solution submitter can verify their reward eligibility. Conducting on-chain verification of substantial computations. Ultimately, making the solution to complex computations publicly accessible, thereby contributing to the public good.Technologies employed include:Zokrates, a toolkit for zkSNARKs on the Ethereum network.Zero-knowledge proofs.Solidity smart contracts.Base blockchain and Arbitrum blockchainFrontend Application - nextjs