feat: made salt mandatory on ERC-7739 verifierDomain

Author: jxom

.changeset/tame-shoes-brake.md

@@ -0,0 +1,5 @@
+---
+"viem": patch
+---
+
+**Experimental (ERC-7739):** Added `salt` as a mandatory field of `verifierDomain`.

site/pages/experimental/erc7739/hashTypedData.md

@@ -9,13 +9,13 @@ Hashes [EIP-712](https://eips.ethereum.org/EIPS/eip-712) typed data via [ERC-773
 ## Import
 
 ```ts
-import { hashTypedData } from 'viem/experimental/solady'
+import { hashTypedData } from 'viem/experimental/erc7739'
 ```
 
 ## Usage
 
 ```ts
-import { hashTypedData } from 'viem/experimental/solady'
+import { hashTypedData } from 'viem/experimental/erc7739'
 
 hashTypedData({
   domain: {
@@ -50,10 +50,11 @@ hashTypedData({
   extensions: [],
   fields: '0x0f',
   verifierDomain: {
+    chainId: 1,
     name: 'Smart Account',
+    salt: '0x0000000000000000000000000000000000000000000000000000000000000000',
     version: '1',
     verifyingContract: '0x1234567890abcdef1234567890abcdef12345678',
-    chainId: 1,
   },
 })
 ```

src/actions/public/getEip712Domain.ts

@@ -22,7 +22,7 @@ export type GetEip712DomainParameters = {
 export type GetEip712DomainReturnType = {
   domain: RequiredBy<
     TypedDataDomain,
-    'chainId' | 'name' | 'verifyingContract' | 'version'
+    'chainId' | 'name' | 'verifyingContract' | 'salt' | 'version'
   >
   fields: Hex
   extensions: readonly bigint[]

src/experimental/erc7739/utils/hashTypedData.ts

@@ -16,7 +16,7 @@ export type HashTypedDataParameters<
 > = TypedDataDefinition<typedData, primaryType, primaryTypes> & {
   verifierDomain: RequiredBy<
     TypedDataDomain,
-    'chainId' | 'name' | 'verifyingContract' | 'version'
+    'chainId' | 'name' | 'verifyingContract' | 'salt' | 'version'
   >
 }
 

src/package.json

@@ -121,7 +121,7 @@
       "chains/utils": ["./_types/chains/utils.d.ts"],
       "ens": ["./_types/ens/index.d.ts"],
       "experimental": ["./_types/experimental/index.d.ts"],
-      "experimental/solady": ["./_types/experimental/solady/index.d.ts"],
+      "experimental/erc7739": ["./_types/experimental/erc7739/index.d.ts"],
       "node": ["./_types/node/index.d.ts"],
       "op-stack": ["./_types/op-stack/index.d.ts"],
       "siwe": ["./_types/siwe/index.d.ts"],