@verify-network/contracts 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Verify Network
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/contracts/IDirectVrfReceiver.sol

@@ -0,0 +1,17 @@
+// SPDX-License-Identifier: MIT
+pragma solidity >=0.6.0;
+
+/// @notice What a consumer implements to receive a direct request's randomness (ADR 0026). A
+/// different selector from `IVrfReceiver.onRandomnessFulfilled`, so a consumer that never opted
+/// in cannot mistake a direct fulfillment for a request it made itself. `signer` is who signed
+/// the authorization and paid for it; what that signer may do here is the consumer's to decide.
+/// `callbackData` is what the signer committed to in the authorization, authenticated by the
+/// request id, so a bet the randomness resolves belongs in it, never after.
+interface IDirectVrfReceiver {
+    function onDirectRandomness(
+        bytes32 requestId,
+        address signer,
+        bytes32 randomness,
+        bytes calldata callbackData
+    ) external;
+}

package/contracts/IVerifyNetworkRouter.sol

@@ -0,0 +1,40 @@
+// SPDX-License-Identifier: MIT
+pragma solidity >=0.6.0;
+
+/// @notice The part of the router a consumer calls: the request overloads of `VrfFacet` and the
+/// balance functions of `BalancesFacet`. The router is one address for every facet (an EIP-2535
+/// diamond), so this is the router's address on the target chain.
+///
+/// The router stores only the id of an open request: `callbackData` is hashed into the request
+/// id, echoed back by the fulfiller, and checked by the router before it reaches
+/// `IVrfReceiver.onRandomnessFulfilled`, so a consumer may keep its whole pending state in it. At
+/// most 16 KiB (`CallbackDataTooLong` above).
+///
+/// The fee is reserved when the request is made, from the callback gas limit, the callback data's
+/// length, the gas price, and the router's premium (`ConfigFacet.pricing()`). It is taken from
+/// `msg.value` when one is sent, the excess credited to the caller's balance, and from the
+/// caller's balance on the router otherwise. The fulfillment charges the gas it took, at the gas
+/// price the request locked, and the rest of the reservation goes back to the caller's balance.
+interface IVerifyNetworkRouter {
+    /// @notice Requests randomness with the router's default callback gas limit.
+    /// @return requestId The id the callback and `RandomnessFulfilled` carry.
+    function requestRandomness(
+        bytes calldata callbackData
+    ) external payable returns (bytes32 requestId);
+
+    /// @notice Requests randomness with a chosen callback gas limit, at most the router's max.
+    /// @return requestId The id the callback and `RandomnessFulfilled` carry.
+    function requestRandomness(
+        bytes calldata callbackData,
+        uint32 callbackGasLimit
+    ) external payable returns (bytes32 requestId);
+
+    /// @notice Credits `msg.value` to `account`'s balance on the router. Anyone may fund anyone.
+    function deposit(address account) external payable;
+
+    /// @notice Pays `amount` of the caller's own balance to `recipient`.
+    function withdraw(address recipient, uint256 amount) external;
+
+    /// @notice What `account` holds on the router to pay for its requests.
+    function balanceOf(address account) external view returns (uint256);
+}

package/contracts/IVrfReceiver.sol

@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: MIT
+pragma solidity >=0.6.0;
+
+/// @notice What a consumer implements to receive randomness. `callbackData` is exactly what the
+/// consumer passed to `requestRandomness`; the router authenticated it through the request id, so
+/// the consumer may treat it as its own state. The selector is the baseline's, so existing
+/// consumers keep working.
+interface IVrfReceiver {
+    function onRandomnessFulfilled(
+        bytes32 requestId,
+        bytes32 randomness,
+        bytes calldata callbackData
+    ) external;
+}

package/dist/abi/Balances.d.ts

@@ -0,0 +1,32 @@
+//#region abi/Balances.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "balance";
+    readonly type: "uint256";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "needed";
+    readonly type: "uint256";
+  }];
+  readonly name: "InsufficientBalance";
+  readonly type: "error";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "recipient";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "amount";
+    readonly type: "uint256";
+  }];
+  readonly name: "TransferFailed";
+  readonly type: "error";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/Balances.js

@@ -0,0 +1,36 @@
+//#region abi/Balances.ts
+var Balances_default = [{
+	"inputs": [
+		{
+			"internalType": "address",
+			"name": "account",
+			"type": "address"
+		},
+		{
+			"internalType": "uint256",
+			"name": "balance",
+			"type": "uint256"
+		},
+		{
+			"internalType": "uint256",
+			"name": "needed",
+			"type": "uint256"
+		}
+	],
+	"name": "InsufficientBalance",
+	"type": "error"
+}, {
+	"inputs": [{
+		"internalType": "address",
+		"name": "recipient",
+		"type": "address"
+	}, {
+		"internalType": "uint256",
+		"name": "amount",
+		"type": "uint256"
+	}],
+	"name": "TransferFailed",
+	"type": "error"
+}];
+//#endregion
+export { Balances_default as default };

package/dist/abi/BalancesFacet.d.ts

@@ -0,0 +1,110 @@
+//#region abi/BalancesFacet.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "balance";
+    readonly type: "uint256";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "needed";
+    readonly type: "uint256";
+  }];
+  readonly name: "InsufficientBalance";
+  readonly type: "error";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "recipient";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "amount";
+    readonly type: "uint256";
+  }];
+  readonly name: "TransferFailed";
+  readonly type: "error";
+}, {
+  readonly anonymous: false;
+  readonly inputs: readonly [{
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }, {
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "from";
+    readonly type: "address";
+  }, {
+    readonly indexed: false;
+    readonly internalType: "uint256";
+    readonly name: "amount";
+    readonly type: "uint256";
+  }];
+  readonly name: "Deposited";
+  readonly type: "event";
+}, {
+  readonly anonymous: false;
+  readonly inputs: readonly [{
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }, {
+    readonly indexed: true;
+    readonly internalType: "address";
+    readonly name: "recipient";
+    readonly type: "address";
+  }, {
+    readonly indexed: false;
+    readonly internalType: "uint256";
+    readonly name: "amount";
+    readonly type: "uint256";
+  }];
+  readonly name: "Withdrawn";
+  readonly type: "event";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }];
+  readonly name: "balanceOf";
+  readonly outputs: readonly [{
+    readonly internalType: "uint256";
+    readonly name: "";
+    readonly type: "uint256";
+  }];
+  readonly stateMutability: "view";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "account";
+    readonly type: "address";
+  }];
+  readonly name: "deposit";
+  readonly outputs: readonly [];
+  readonly stateMutability: "payable";
+  readonly type: "function";
+}, {
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "recipient";
+    readonly type: "address";
+  }, {
+    readonly internalType: "uint256";
+    readonly name: "amount";
+    readonly type: "uint256";
+  }];
+  readonly name: "withdraw";
+  readonly outputs: readonly [];
+  readonly stateMutability: "nonpayable";
+  readonly type: "function";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/BalancesFacet.js

@@ -0,0 +1,130 @@
+//#region abi/BalancesFacet.ts
+var BalancesFacet_default = [
+	{
+		"inputs": [
+			{
+				"internalType": "address",
+				"name": "account",
+				"type": "address"
+			},
+			{
+				"internalType": "uint256",
+				"name": "balance",
+				"type": "uint256"
+			},
+			{
+				"internalType": "uint256",
+				"name": "needed",
+				"type": "uint256"
+			}
+		],
+		"name": "InsufficientBalance",
+		"type": "error"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "recipient",
+			"type": "address"
+		}, {
+			"internalType": "uint256",
+			"name": "amount",
+			"type": "uint256"
+		}],
+		"name": "TransferFailed",
+		"type": "error"
+	},
+	{
+		"anonymous": false,
+		"inputs": [
+			{
+				"indexed": true,
+				"internalType": "address",
+				"name": "account",
+				"type": "address"
+			},
+			{
+				"indexed": true,
+				"internalType": "address",
+				"name": "from",
+				"type": "address"
+			},
+			{
+				"indexed": false,
+				"internalType": "uint256",
+				"name": "amount",
+				"type": "uint256"
+			}
+		],
+		"name": "Deposited",
+		"type": "event"
+	},
+	{
+		"anonymous": false,
+		"inputs": [
+			{
+				"indexed": true,
+				"internalType": "address",
+				"name": "account",
+				"type": "address"
+			},
+			{
+				"indexed": true,
+				"internalType": "address",
+				"name": "recipient",
+				"type": "address"
+			},
+			{
+				"indexed": false,
+				"internalType": "uint256",
+				"name": "amount",
+				"type": "uint256"
+			}
+		],
+		"name": "Withdrawn",
+		"type": "event"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "account",
+			"type": "address"
+		}],
+		"name": "balanceOf",
+		"outputs": [{
+			"internalType": "uint256",
+			"name": "",
+			"type": "uint256"
+		}],
+		"stateMutability": "view",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "account",
+			"type": "address"
+		}],
+		"name": "deposit",
+		"outputs": [],
+		"stateMutability": "payable",
+		"type": "function"
+	},
+	{
+		"inputs": [{
+			"internalType": "address",
+			"name": "recipient",
+			"type": "address"
+		}, {
+			"internalType": "uint256",
+			"name": "amount",
+			"type": "uint256"
+		}],
+		"name": "withdraw",
+		"outputs": [],
+		"stateMutability": "nonpayable",
+		"type": "function"
+	}
+];
+//#endregion
+export { BalancesFacet_default as default };

package/dist/abi/Config.d.ts

@@ -0,0 +1,12 @@
+//#region abi/Config.d.ts
+declare const _default: readonly [{
+  readonly inputs: readonly [{
+    readonly internalType: "address";
+    readonly name: "verifier";
+    readonly type: "address";
+  }];
+  readonly name: "VerifierWithoutCode";
+  readonly type: "error";
+}];
+//#endregion
+export { _default as default };

package/dist/abi/Config.js

@@ -0,0 +1,12 @@
+//#region abi/Config.ts
+var Config_default = [{
+	"inputs": [{
+		"internalType": "address",
+		"name": "verifier",
+		"type": "address"
+	}],
+	"name": "VerifierWithoutCode",
+	"type": "error"
+}];
+//#endregion
+export { Config_default as default };