feat: update with mainnet details

README.md

@@ -24,7 +24,7 @@ such that it remains valid but one of its public inputs differs.
 ### Criteria
 
 There is a challenge contract deployed at
-[`0x4575d05f604ec912148c79e79Be09659186d63fA`](https://etherscan.io/address/0x4575d05f604ec912148c79e79Be09659186d63fA)
+[`0x4af905A972eab5020F965889EAd5bB4a20c1C2c3`](https://etherscan.io/address/0x4af905A972eab5020F965889EAd5bB4a20c1C2c3)
 on the Ethereum mainnet. It exposes a `solve()` function which accepts a
 Groth16 proof. The proof corresponds to the circuit described below. `solve()`
 will call a verifier function which will use the caller's Ethereum address as
@@ -89,7 +89,7 @@ Step 2: Do some magic on proof such that script runs with no errors and you will
 ```
 
 Next, navigate to the verifier contract page on 
-[`Etherscan`](https://etherscan.io/address/0x5cf96D3b9f85A0B1C478eaCe65970B246e2283b7),
+[`Etherscan`](https://etherscan.io/address/0x4af905A972eab5020F965889EAd5bB4a20c1C2c3),
 connect your web3 wallet (using the account whose address is the first public
 input), and submit the above formatted proof to the `solve()` textbox. Click on
 "Write" to submit your transaction.

package.json

@@ -14,7 +14,7 @@
 		"deploy:puzzle:mainnet": "hardhat --network mainnet deploy:puzzle",
 		"verify:puzzle:kovan": "hardhat verify --network kovan contrat_address https://gateway.pinata.cloud/ipfs/QmYsrePrBhoWdxJD5oDSeuviCknQcfqoggDg6LkghaTw85 11000000000",
 		"verify:puzzle:rinkeby": "hardhat verify --network rinkeby 0xCdF6f07c62bAc17e811c2F05f988ab12137e1D57 ipfs://QmVS2eXrFkPKt8szXuTwYauRg27JekMPbBrtg3QpksRchT 100000000000",
-		"verify:puzzle:mainnet": "hardhat verify --network mainnet 0x4575d05f604ec912148c79e79Be09659186d63fA ipfs://QmNqAuUbFWUoQoyTWmzj1DGEEGnwgsQDZiMQLjtBpTp356 100000000000",
+		"verify:puzzle:mainnet": "hardhat verify --network mainnet 0x4af905A972eab5020F965889EAd5bB4a20c1C2c3 ipfs://QmPagd4H4oqVudZCGiDxf17HuZRHBqQjjY7sZ5QuWuW47t 100000000000",
 		"test": "hardhat test",
 		"test:report-gas": "REPORT_GAS=true hardhat test",
 		"test:coverage": "hardhat coverage",

tasks/deploy-puzzle.ts

@@ -6,7 +6,7 @@ task("deploy:puzzle", "Deploy a Puzzle contract")
   .setAction(async ({ logs }, hre): Promise<Contract> => {
 
     const ethers = hre.ethers;
-    const uri = "ipfs://QmVS2eXrFkPKt8szXuTwYauRg27JekMPbBrtg3QpksRchT";
+    const uri = "ipfs://QmPagd4H4oqVudZCGiDxf17HuZRHBqQjjY7sZ5QuWuW47t";
     const refundingGasPrice = BigInt("100000000000");
 
     const PuzzleFactory = await ethers.getContractFactory("Puzzle")
@@ -15,7 +15,7 @@ task("deploy:puzzle", "Deploy a Puzzle contract")
     logs && console.log(`Puzzle contract has been deployed to: ${puzzle.address}`)
 
     // put some eher at the beggining
-    let provider = new ethers.providers.InfuraProvider("rinkeby");
+    let provider = new ethers.providers.InfuraProvider("mainnet");
     const owner = new ethers.Wallet(`0x${process.env.BACKEND_PRIVATE_KEY}`, provider);
     let tx = {
       to: puzzle.address,