@verify-network/contracts 0.0.0-stage → 0.1.0

package/dist/abi/SP1Verifier.js

@@ -0,0 +1,159 @@
+//#region abi/SP1Verifier.ts
+var SP1Verifier_default = [
+	{
+		"inputs": [],
+		"name": "InvalidExitCode",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "InvalidProof",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "InvalidVkRoot",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "ProofInvalid",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "PublicInputNotInField",
+		"type": "error"
+	},
+	{
+		"inputs": [{
+			"internalType": "bytes4",
+			"name": "received",
+			"type": "bytes4"
+		}, {
+			"internalType": "bytes4",
+			"name": "expected",
+			"type": "bytes4"
+		}],
+		"name": "WrongVerifierSelector",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "VERIFIER_HASH",
+		"outputs": [{
+			"internalType": "bytes32",
+			"name": "",
+			"type": "bytes32"
+		}],
+		"stateMutability": "pure",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "VERSION",
+		"outputs": [{
+			"internalType": "string",
+			"name": "",
+			"type": "string"
+		}],
+		"stateMutability": "pure",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "VK_ROOT",
+		"outputs": [{
+			"internalType": "bytes32",
+			"name": "",
+			"type": "bytes32"
+		}],
+		"stateMutability": "pure",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[8]",
+			"name": "proof",
+			"type": "uint256[8]"
+		}],
+		"name": "compressProof",
+		"outputs": [{
+			"internalType": "uint256[4]",
+			"name": "compressed",
+			"type": "uint256[4]"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "bytes",
+			"name": "publicValues",
+			"type": "bytes"
+		}],
+		"name": "hashPublicValues",
+		"outputs": [{
+			"internalType": "bytes32",
+			"name": "",
+			"type": "bytes32"
+		}],
+		"stateMutability": "pure",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[4]",
+			"name": "compressedProof",
+			"type": "uint256[4]"
+		}, {
+			"internalType": "uint256[5]",
+			"name": "input",
+			"type": "uint256[5]"
+		}],
+		"name": "verifyCompressedProof",
+		"outputs": [],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[8]",
+			"name": "proof",
+			"type": "uint256[8]"
+		}, {
+			"internalType": "uint256[5]",
+			"name": "input",
+			"type": "uint256[5]"
+		}],
+		"name": "verifyProof",
+		"outputs": [],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [
+			{
+				"internalType": "bytes32",
+				"name": "programVKey",
+				"type": "bytes32"
+			},
+			{
+				"internalType": "bytes",
+				"name": "publicValues",
+				"type": "bytes"
+			},
+			{
+				"internalType": "bytes",
+				"name": "proofBytes",
+				"type": "bytes"
+			}
+		],
+		"name": "verifyProof",
+		"outputs": [],
+		"stateMutability": "view",
+		"type": "function"
+	}
+];
+//#endregion
+export { SP1Verifier_default as default };

package/dist/abi/TrustedNodeEnclaveKeyVerifier.d.ts

@@ -0,0 +1,130 @@
+//#region abi/TrustedNodeEnclaveKeyVerifier.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [];
+  readonly stateMutability: "nonpayable";
+  readonly type: "constructor";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "owner";
+    readonly type: "address";
+  }];
+  readonly name: "OwnableInvalidOwner";
+  readonly type: "error";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }];
+  readonly name: "OwnableUnauthorizedAccount";
+  readonly type: "error";
+}, {
+  readonly anonymous: false;
+  readonly inputs: readonly [{
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "previousOwner";
+    readonly type: "address";
+  }, {
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "newOwner";
+    readonly type: "address";
+  }];
+  readonly name: "OwnershipTransferred";
+  readonly type: "event";
+}, {
+  readonly anonymous: false;
+  readonly inputs: readonly [{
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "node";
+    readonly type: "address";
+  }, {
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "operator";
+    readonly type: "address";
+  }];
+  readonly name: "TrustedNodeUpdated";
+  readonly type: "event";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "owner";
+  readonly outputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "";
+    readonly type: "address";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "renounceOwnership";
+  readonly outputs: readonly [];
+  readonly stateMutability: "nonpayable";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "node";
+    readonly type: "address";
+  }, {
+    readonly internalType: "address";
+    readonly name: "operator";
+    readonly type: "address";
+  }];
+  readonly name: "setTrustedNode";
+  readonly outputs: readonly [];
+  readonly stateMutability: "nonpayable";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "newOwner";
+    readonly type: "address";
+  }];
+  readonly name: "transferOwnership";
+  readonly outputs: readonly [];
+  readonly stateMutability: "nonpayable";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "node";
+    readonly type: "address";
+  }];
+  readonly name: "trustedNodes";
+  readonly outputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "operator";
+    readonly type: "address";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "operator";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256[2]";
+    readonly name: "publicKey";
+    readonly type: "uint256[2]";
+  }, {
+    readonly internalType: "bytes";
+    readonly name: "";
+    readonly type: "bytes";
+  }];
+  readonly name: "verify";
+  readonly outputs: readonly [{
+    readonly internalType: "bool";
+    readonly name: "";
+    readonly type: "bool";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/TrustedNodeEnclaveKeyVerifier.js

@@ -0,0 +1,146 @@
+//#region abi/TrustedNodeEnclaveKeyVerifier.ts
+var TrustedNodeEnclaveKeyVerifier_default = [
+	{
+		"inputs": [],
+		"stateMutability": "nonpayable",
+		"type": "constructor"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "owner",
+			"type": "address"
+		}],
+		"name": "OwnableInvalidOwner",
+		"type": "error"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "account",
+			"type": "address"
+		}],
+		"name": "OwnableUnauthorizedAccount",
+		"type": "error"
+	},
+	{
+		"anonymous": false,
+		"inputs": [{
+			"indexed": true,
+			"internalType": "address",
+			"name": "previousOwner",
+			"type": "address"
+		}, {
+			"indexed": true,
+			"internalType": "address",
+			"name": "newOwner",
+			"type": "address"
+		}],
+		"name": "OwnershipTransferred",
+		"type": "event"
+	},
+	{
+		"anonymous": false,
+		"inputs": [{
+			"indexed": true,
+			"internalType": "address",
+			"name": "node",
+			"type": "address"
+		}, {
+			"indexed": true,
+			"internalType": "address",
+			"name": "operator",
+			"type": "address"
+		}],
+		"name": "TrustedNodeUpdated",
+		"type": "event"
+	},
+	{
+		"inputs": [],
+		"name": "owner",
+		"outputs": [{
+			"internalType": "address",
+			"name": "",
+			"type": "address"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "renounceOwnership",
+		"outputs": [],
+		"stateMutability": "nonpayable",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "node",
+			"type": "address"
+		}, {
+			"internalType": "address",
+			"name": "operator",
+			"type": "address"
+		}],
+		"name": "setTrustedNode",
+		"outputs": [],
+		"stateMutability": "nonpayable",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "newOwner",
+			"type": "address"
+		}],
+		"name": "transferOwnership",
+		"outputs": [],
+		"stateMutability": "nonpayable",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "node",
+			"type": "address"
+		}],
+		"name": "trustedNodes",
+		"outputs": [{
+			"internalType": "address",
+			"name": "operator",
+			"type": "address"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [
+			{
+				"internalType": "address",
+				"name": "operator",
+				"type": "address"
+			},
+			{
+				"internalType": "uint256[2]",
+				"name": "publicKey",
+				"type": "uint256[2]"
+			},
+			{
+				"internalType": "bytes",
+				"name": "",
+				"type": "bytes"
+			}
+		],
+		"name": "verify",
+		"outputs": [{
+			"internalType": "bool",
+			"name": "",
+			"type": "bool"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	}
+];
+//#endregion
+export { TrustedNodeEnclaveKeyVerifier_default as default };

package/dist/abi/VRF.d.ts

@@ -0,0 +1,74 @@
+//#region abi/VRF.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [];
+  readonly name: "AA";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "BB";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "GX";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "GY";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "HASH_TO_CURVE_MAX_ITERATIONS";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "NN";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "PP";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/VRF.js

@@ -0,0 +1,82 @@
+//#region abi/VRF.ts
+var VRF_default = [
+	{
+		"inputs": [],
+		"name": "AA",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "BB",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "GX",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "GY",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "HASH_TO_CURVE_MAX_ITERATIONS",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "NN",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [],
+		"name": "PP",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	}
+];
+//#endregion
+export { VRF_default as default };

package/dist/abi/Verifier.d.ts

@@ -0,0 +1,54 @@
+//#region abi/Verifier.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [];
+  readonly name: "ProofInvalid";
+  readonly type: "error";
+}, {
+  readonly inputs: readonly [];
+  readonly name: "PublicInputNotInField";
+  readonly type: "error";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "uint256[8]";
+    readonly name: "proof";
+    readonly type: "uint256[8]";
+  }];
+  readonly name: "compressProof";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256[4]";
+    readonly name: "compressed";
+    readonly type: "uint256[4]";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "uint256[4]";
+    readonly name: "compressedProof";
+    readonly type: "uint256[4]";
+  }, {
+    readonly internalType: "uint256[5]";
+    readonly name: "input";
+    readonly type: "uint256[5]";
+  }];
+  readonly name: "verifyCompressedProof";
+  readonly outputs: readonly [];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "uint256[8]";
+    readonly name: "proof";
+    readonly type: "uint256[8]";
+  }, {
+    readonly internalType: "uint256[5]";
+    readonly name: "input";
+    readonly type: "uint256[5]";
+  }];
+  readonly name: "verifyProof";
+  readonly outputs: readonly [];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/Verifier.js

@@ -0,0 +1,60 @@
+//#region abi/Verifier.ts
+var Verifier_default = [
+	{
+		"inputs": [],
+		"name": "ProofInvalid",
+		"type": "error"
+	},
+	{
+		"inputs": [],
+		"name": "PublicInputNotInField",
+		"type": "error"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[8]",
+			"name": "proof",
+			"type": "uint256[8]"
+		}],
+		"name": "compressProof",
+		"outputs": [{
+			"internalType": "uint256[4]",
+			"name": "compressed",
+			"type": "uint256[4]"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[4]",
+			"name": "compressedProof",
+			"type": "uint256[4]"
+		}, {
+			"internalType": "uint256[5]",
+			"name": "input",
+			"type": "uint256[5]"
+		}],
+		"name": "verifyCompressedProof",
+		"outputs": [],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "uint256[8]",
+			"name": "proof",
+			"type": "uint256[8]"
+		}, {
+			"internalType": "uint256[5]",
+			"name": "input",
+			"type": "uint256[5]"
+		}],
+		"name": "verifyProof",
+		"outputs": [],
+		"stateMutability": "view",
+		"type": "function"
+	}
+];
+//#endregion
+export { Verifier_default as default };