Skip to content

Commit 7fb8f18

Browse files
committed
Add proof for the 914432 blocks
1 parent b9c1abd commit 7fb8f18

File tree

10 files changed

+2993
-14
lines changed

10 files changed

+2993
-14
lines changed

contracts/verifiers/HistoryProofVerifier914432.sol

Lines changed: 2047 additions & 0 deletions
Large diffs are not rendered by default.

deploy/config/base.ts

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
import { DeployConfig, HistoricalDeployConfig } from "./types";
2+
3+
export const historicalDeployConfig: HistoricalDeployConfig = {
4+
blockHeader:
5+
"0x0000ec2480377962272e6ceefe662388c2323b08f1750e741d9900000000000000000000b8876bf9d189b5c88e4a7724032e0a1123e506fcfbbc785ac85f7546b4b63b4c12c9c468ac1102177c033abd",
6+
blockHeight: 914431n,
7+
cumulativeWork: "0x0000000000000000000000000000000000000000e2290521afb0314879068960",
8+
historyBlocksTreeRoot: "0xc6caf356aaf3a2e95ab3274f08f273097178644550d8f9b0354ef526d35a6bac",
9+
proofBlocksCount: 914432n,
10+
};

deploy/config/config.ts

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,5 +23,13 @@ export async function getHistoricalConfig(): Promise<HistoricalDeployConfig> {
2323
return (await import("./sepolia")).historicalDeployConfig;
2424
}
2525

26+
if (hre.network.name == "base") {
27+
return (await import("./base")).historicalDeployConfig;
28+
}
29+
30+
if (hre.network.name == "ethereum") {
31+
return (await import("./ethereum")).historicalDeployConfig;
32+
}
33+
2634
throw new Error(`Config for network ${hre.network.name} is not specified`);
2735
}

deploy/config/ethereum.ts

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
import { DeployConfig, HistoricalDeployConfig } from "./types";
2+
3+
export const historicalDeployConfig: HistoricalDeployConfig = {
4+
blockHeader:
5+
"0x0000ec2480377962272e6ceefe662388c2323b08f1750e741d9900000000000000000000b8876bf9d189b5c88e4a7724032e0a1123e506fcfbbc785ac85f7546b4b63b4c12c9c468ac1102177c033abd",
6+
blockHeight: 914431n,
7+
cumulativeWork: "0x0000000000000000000000000000000000000000e2290521afb0314879068960",
8+
historyBlocksTreeRoot: "0xc6caf356aaf3a2e95ab3274f08f273097178644550d8f9b0354ef526d35a6bac",
9+
proofBlocksCount: 914432n,
10+
};

deploy/config/sepolia.ts

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@ export const deployConfig: DeployConfig = {
99

1010
export const historicalDeployConfig: HistoricalDeployConfig = {
1111
blockHeader:
12-
"0x00a00220e968938e8359a569ee6572db4d84e0b4e082872d83a5010000000000000000009c9671154ec76af4d624d88a1359373f85b76328f4afe78a3e53c7be83bcf21396c3b268912b02178f54c573",
13-
blockHeight: 912383n,
14-
cumulativeWork: "0x0000000000000000000000000000000000000000de5ea5e3576fb66c630a9540",
15-
historyBlocksTreeRoot: "0xd2fde3f66540b59b7b41411d875c0ecee424d70dce15d3685566c34ed66feae3",
16-
proofBlocksCount: 912384n,
12+
"0x0000ec2480377962272e6ceefe662388c2323b08f1750e741d9900000000000000000000b8876bf9d189b5c88e4a7724032e0a1123e506fcfbbc785ac85f7546b4b63b4c12c9c468ac1102177c033abd",
13+
blockHeight: 914431n,
14+
cumulativeWork: "0x0000000000000000000000000000000000000000e2290521afb0314879068960",
15+
historyBlocksTreeRoot: "0xc6caf356aaf3a2e95ab3274f08f273097178644550d8f9b0354ef526d35a6bac",
16+
proofBlocksCount: 914432n,
1717
};

deploy/historical/1_HistoricalSPVGateway.migration.ts

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import { Deployer, Reporter } from "@solarity/hardhat-migrate";
22

3-
import { HistoryProofVerifier912384__factory, ICreateX__factory, HistoricalSPVGateway__factory } from "@ethers-v6";
3+
import { HistoryProofVerifier914432__factory, ICreateX__factory, HistoricalSPVGateway__factory } from "@ethers-v6";
44

55
import path from "path";
66
import { ethers } from "hardhat";
@@ -14,14 +14,14 @@ export = async (deployer: Deployer) => {
1414

1515
const createXDeployer = await deployer.deployed(ICreateX__factory, "0xba5Ed099633D3B313e4D5F7bdc1305d3c28ba5Ed");
1616

17-
// zero address + 00 (cross-chain redeploy protection) + 0000 + ASCII(HPV912384)
18-
const historyVerifier912384Salt = `0x0000000000000000000000000000000000000000000000485056393132333834`;
17+
// zero address + 00 (cross-chain redeploy protection) + 0000 + ASCII(HPV914432)
18+
const historyVerifier914432Salt = `0x0000000000000000000000000000000000000000000000485056393134343332`;
1919

20-
await createXDeployer.deployCreate2(historyVerifier912384Salt, HistoryProofVerifier912384__factory.bytecode);
20+
await createXDeployer.deployCreate2(historyVerifier914432Salt, HistoryProofVerifier914432__factory.bytecode);
2121

2222
const historyVerifierAddress = await createXDeployer.computeCreate2Address(
23-
getGuardedSalt(historyVerifier912384Salt),
24-
ethers.keccak256(HistoryProofVerifier912384__factory.bytecode),
23+
getGuardedSalt(historyVerifier914432Salt),
24+
ethers.keccak256(HistoryProofVerifier914432__factory.bytecode),
2525
);
2626

2727
const proofDirPath = path.join(__dirname, "./proofs", config.proofBlocksCount.toString());

deploy/historical/proofs/914432/proof_fields.json

Lines changed: 442 additions & 0 deletions
Large diffs are not rendered by default.

deploy/historical/proofs/914432/public_inputs_fields.json

Lines changed: 417 additions & 0 deletions
Large diffs are not rendered by default.

hardhat.config.ts

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,16 @@ const config: HardhatUserConfig = {
4343
accounts: privateKey(),
4444
gasMultiplier: 1.2,
4545
},
46+
ethereum: {
47+
url: `https://mainnet.infura.io/v3/${process.env.INFURA_KEY}`,
48+
accounts: privateKey(),
49+
gasMultiplier: 1.2,
50+
},
51+
base: {
52+
url: `https://base-mainnet.infura.io/v3/${process.env.INFURA_KEY}`,
53+
accounts: privateKey(),
54+
gasMultiplier: 1.2,
55+
},
4656
},
4757
solidity: {
4858
version: "0.8.28",

package-lock.json

Lines changed: 38 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)