EIP-712:类型化结构化数据的哈希与签名

1. 引言

以太坊 EIP-712: 类型化结构化数据的哈希与签名,是一种用于对类型化结构化数据(而不仅仅是字节串)进行哈希和签名 的标准。

其包括:

  • 编码函数正确性的理论框架,
  • 类似于 Solidity 结构体并兼容的结构化数据规范,
  • 对这些结构实例的安全哈希算法,
  • 将这些实例安全地包含在可签名消息集合中的方法,
  • 一种可扩展的域分离机制,
  • 新的 RPC 调用 eth_signTypedData
  • EVM 中该哈希算法的优化实现。

该标准不包含重放保护机制。

2. 动机

如果只关注字节串,数据签名已经是一个被解决的问题。不幸的是,在现实世界中,人们关心的是复杂且有意义的消息。对结构化数据进行哈希并非易事,错误可能会导致系统安全性的丧失。

因此,“don’t roll your own crypto 不要自己实现加密算法”这一原则适用。相反,需要使用经过同行评审和充分测试的标准方法。本 EIP 旨在成为这样的标准。

本 EIP 旨在改善链下消息签名在链上的可用性。链下消息签名的采用正在增加,因为它节省了 Gas 并减少了区块链上的交易数量。目前,已签名的消息是一个不透明的十六进制字符串,用户无法理解消息的组成内容。
在这里插入图片描述

在此,概述了一种方案,以编码数据及其结构,使其在签名时可供用户验证。下面是根据本提案,用户在签署消息时可能会看到的示例界面。
在这里插入图片描述

3. 规范

可签名消息集合从交易和字节串 𝕋 ∪ 𝔹⁸ⁿ 扩展到包括结构化数据 𝕊。新的可签名消息集合为 𝕋 ∪ 𝔹⁸ⁿ ∪ 𝕊。这些消息被编码为适合哈希和签名的字节串,如下所示:

  • encode(transaction : 𝕋) = RLP_encode(transaction)
  • encode(message : 𝔹⁸ⁿ) = "\x19Ethereum Signed Message:\n" ‖ len(message) ‖ message
    其中 len(message)message 字节数的 非零填充 ASCII 十进制编码。
  • encode(domainSeparator : 𝔹²⁵⁶, message : 𝕊) = "\x19\x01" ‖ domainSeparator ‖ hashStruct(message)
    其中 domainSeparatorhashStruct(message) 定义如下。

此编码是确定性的,因为其组成部分是确定性的。该编码是单射的,因为三种情况的首字节总是不同。(RLP_encode(transaction) 不会以 \x19 开头。)

此编码符合 EIP-191 规范。其中,“版本字节” 固定为 0x01,“版本特定数据” 是 32 字节的域分隔符 domainSeparator,“要签名的数据” 是 32 字节的 hashStruct(message)

3.1 类型化结构化数据 𝕊 的定义

为了定义所有结构化数据的集合,首先定义可接受的类型。类似于 ABIv2,这些类型与 Solidity 类型密切相关。采用 Solidity 语法有助于解释定义。该标准特定于以太坊虚拟机(EVM),但旨在不依赖于更高级别的语言。如:

struct Mail {address from;address to;string contents;
}

其中:

  • 定义:struct 结构体类型
    结构体类型的名称是一个有效的标识符,包含零个或多个成员变量。成员变量具有成员类型和名称。
  • 定义:member 成员类型
    成员类型可以是原子类型、动态类型或引用类型。
  • 定义:原子类型
    原子类型包括 bytes1bytes32uint8uint256int8int256booladdress。这些类型与 Solidity 定义相对应。需要注意的是,没有 uintint 的别名。此外,合约地址始终是 address。本标准不支持定点数类型,未来版本可能会增加新的原子类型。
  • 定义:动态类型
    动态类型包括 bytesstring。这些类型在类型声明方面类似于原子类型,但它们的编码方式不同。
  • 定义:引用类型
    引用类型包括数组和结构体。数组可以是固定大小的 Type[n] 或动态大小的 Type[]。结构体是对其他结构体的引用,通过其名称标识。本标准支持递归结构体类型。
  • 定义:结构化类型数据 𝕊
    𝕊 包含所有结构体类型的所有实例。

3.2 hashStruct 的定义

hashStruct 函数定义如下:

  • hashStruct(s : 𝕊) = keccak256(typeHash ‖ encodeData(s))
    其中 typeHash = keccak256(encodeType(typeOf(s)))

注意:对于给定的结构体类型,typeHash 是一个常量,无需在运行时计算。

3.3 encodeType 的定义

结构体类型编码为 name ‖ "(" ‖ member₁ ‖ "," ‖ member₂ ‖ "," ‖ … ‖ memberₙ ")",其中每个成员的表示形式为 type ‖ " " ‖ name

如,上述 Mail 结构体的编码为 Mail(address from,address to,string contents)

如果结构体类型引用了其他结构体类型(这些结构体类型又进一步引用其他结构体类型),则收集所有引用的结构体类型,按名称排序,并附加到编码中。如:

Transaction(Person from,Person to,Asset tx)Asset(address token,uint256 amount)Person(address wallet,string name)

3.4 domainSeparator 的定义

domainSeparator = hashStruct(eip712Domain)

其中 eip712Domain 的类型是 EIP712Domain 结构体,包含以下字段之一或多个。这些字段用于区分不同的签名域。未使用的字段不会包含在结构体类型中。

  • string name 签名域的用户可读名称,如 DApp 或协议的名称。
  • string version 当前签名域的主要版本。不同版本的签名不兼容。
  • uint256 chainId EIP-155 的链 ID。
  • address verifyingContract 用于验证签名的合约地址。
  • bytes32 salt 作为协议的区分标识符。

未来的标准扩展可能会增加新的字段,用户代理可据此提供更多安全措施或提示用户。

3.5 eth_signTypedData JSON RPC 规范说明

eth_signTypedData 方法被添加到以太坊 JSON-RPC,类似于 eth_sign 方法。

3.5.1 eth_signTypedData

该签名方法计算以太坊特定的签名:
sign(keccak256("\x19\x01" ‖ domainSeparator ‖ hashStruct(message))),如上所定义。

注意:用于签名的地址必须是解锁状态。

其中参数:

  • 1)Address - 20 字节 - 用于签名消息的账户地址。
  • 2)TypedData - 需要签名的结构化数据。

结构化数据是一个包含类型信息、域分隔符参数和消息对象的 JSON 对象。
以下是 TypedData 参数的 JSON Schema 定义:

{"type": "object","properties": {"types": {"type": "object","properties": {"EIP712Domain": {"type": "array"}},"additionalProperties": {"type": "array","items": {"type": "object","properties": {"name": {"type": "string"},"type": {"type": "string"}},"required": ["name", "type"]}},"required": ["EIP712Domain"]},"primaryType": {"type": "string"},"domain": {"type": "object"},"message": {"type": "object"}},"required": ["types", "primaryType", "domain", "message"]
}

返回值为:

  • 返回 DATA 类型,即签名结果。
    eth_sign 方法相同,签名是一个以 0x 开头的 65 字节十六进制字符串,编码了以太坊黄皮书附录 F 中的 rsv 参数,采用大端字节序格式:
  • 字节 0-31:包含 r 参数
  • 字节 32-63:包含 s 参数
  • 最后一个字节:包含 v 参数

注意v 参数包括链 ID,符合 EIP-155 的规范。

示例:

  • 请求:

    curl -X POST --data '{"jsonrpc":"2.0","method":"eth_signTypedData","params":["0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826", {"types":{"EIP712Domain":[{"name":"name","type":"string"},{"name":"version","type":"string"},{"name":"chainId","type":"uint256"},{"name":"verifyingContract","type":"address"}],"Person":[{"name":"name","type":"string"},{"name":"wallet","type":"address"}],"Mail":[{"name":"from","type":"Person"},{"name":"to","type":"Person"},{"name":"contents","type":"string"}]},"primaryType":"Mail","domain":{"name":"Ether Mail","version":"1","chainId":1,"verifyingContract":"0xCcCCccccCCCCcCCCCCCcCcCccCcCCCcCcccccccC"},"message":{"from":{"name":"Cow","wallet":"0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826"},"to":{"name":"Bob","wallet":"0xbBbBBBBbbBBBbbbBbbBbbbbBBbBbbbbBbBbbBBbB"},"contents":"Hello, Bob!"}}],"id":1}'
    
  • 返回结果:

    {"id": 1,"jsonrpc": "2.0","result": "0x4355c47d63924e8a72e509b65029052eb6c299d53a04e167c5775fd466751c9d07299936d304c153f6443dfa05f40ff007d72911b6f72307f996231605b915621c"
    }
    

一个示例展示如何使用 Solidity 的 ecrecover 来验证 eth_signTypedData 计算出的签名,代码可参考 Example.js。
该合约已部署在 Ropsten 和 Rinkeby 测试网络上。

// using ethereumjs-util 7.1.3
const ethUtil = require('ethereumjs-util');// using ethereumjs-abi 0.6.9
const abi = require('ethereumjs-abi');// using chai 4.3.4
const chai = require('chai');const typedData = {types: {EIP712Domain: [{ name: 'name', type: 'string' },{ name: 'version', type: 'string' },{ name: 'chainId', type: 'uint256' },{ name: 'verifyingContract', type: 'address' },],Person: [{ name: 'name', type: 'string' },{ name: 'wallet', type: 'address' }],Mail: [{ name: 'from', type: 'Person' },{ name: 'to', type: 'Person' },{ name: 'contents', type: 'string' }],},primaryType: 'Mail',domain: {name: 'Ether Mail',version: '1',chainId: 1,verifyingContract: '0xCcCCccccCCCCcCCCCCCcCcCccCcCCCcCcccccccC',},message: {from: {name: 'Cow',wallet: '0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826',},to: {name: 'Bob',wallet: '0xbBbBBBBbbBBBbbbBbbBbbbbBBbBbbbbBbBbbBBbB',},contents: 'Hello, Bob!',},
};const types = typedData.types;// Recursively finds all the dependencies of a type
function dependencies(primaryType, found = []) {if (found.includes(primaryType)) {return found;}if (types[primaryType] === undefined) {return found;}found.push(primaryType);for (let field of types[primaryType]) {for (let dep of dependencies(field.type, found)) {if (!found.includes(dep)) {found.push(dep);}}}return found;
}function encodeType(primaryType) {// Get dependencies primary first, then alphabeticallet deps = dependencies(primaryType);deps = deps.filter(t => t != primaryType);deps = [primaryType].concat(deps.sort());// Format as a string with fieldslet result = '';for (let type of deps) {result += `${type}(${types[type].map(({ name, type }) => `${type} ${name}`).join(',')})`;}return result;
}function typeHash(primaryType) {return ethUtil.keccakFromString(encodeType(primaryType), 256);
}function encodeData(primaryType, data) {let encTypes = [];let encValues = [];// Add typehashencTypes.push('bytes32');encValues.push(typeHash(primaryType));// Add field contentsfor (let field of types[primaryType]) {let value = data[field.name];if (field.type == 'string' || field.type == 'bytes') {encTypes.push('bytes32');value = ethUtil.keccakFromString(value, 256);encValues.push(value);} else if (types[field.type] !== undefined) {encTypes.push('bytes32');value = ethUtil.keccak256(encodeData(field.type, value));encValues.push(value);} else if (field.type.lastIndexOf(']') === field.type.length - 1) {throw 'TODO: Arrays currently unimplemented in encodeData';} else {encTypes.push(field.type);encValues.push(value);}}return abi.rawEncode(encTypes, encValues);
}function structHash(primaryType, data) {return ethUtil.keccak256(encodeData(primaryType, data));
}function signHash() {return ethUtil.keccak256(Buffer.concat([Buffer.from('1901', 'hex'),structHash('EIP712Domain', typedData.domain),structHash(typedData.primaryType, typedData.message),]),);
}const privateKey = ethUtil.keccakFromString('cow', 256);
const address = ethUtil.privateToAddress(privateKey);
const sig = ethUtil.ecsign(signHash(), privateKey);const expect = chai.expect;
expect(encodeType('Mail')).to.equal('Mail(Person from,Person to,string contents)Person(string name,address wallet)');
expect(ethUtil.bufferToHex(typeHash('Mail'))).to.equal('0xa0cedeb2dc280ba39b857546d74f5549c3a1d7bdc2dd96bf881f76108e23dac2',
);
expect(ethUtil.bufferToHex(encodeData(typedData.primaryType, typedData.message))).to.equal('0xa0cedeb2dc280ba39b857546d74f5549c3a1d7bdc2dd96bf881f76108e23dac2fc71e5fa27ff56c350aa531bc129ebdf613b772b6604664f5d8dbe21b85eb0c8cd54f074a4af31b4411ff6a60c9719dbd559c221c8ac3492d9d872b041d703d1b5aadf3154a261abdd9086fc627b61efca26ae5702701d05cd2305f7c52a2fc8',
);
expect(ethUtil.bufferToHex(structHash(typedData.primaryType, typedData.message))).to.equal('0xc52c0ee5d84264471806290a3f2c4cecfc5490626bf912d01f240d7a274b371e',
);
expect(ethUtil.bufferToHex(structHash('EIP712Domain', typedData.domain))).to.equal('0xf2cee375fa42b42143804025fc449deafd50cc031ca257e0b194a650a912090f',
);
expect(ethUtil.bufferToHex(signHash())).to.equal('0xbe609aee343fb3c4b28e1df9e632fca64fcfaede20f02e86244efddf30957bd2');
expect(ethUtil.bufferToHex(address)).to.equal('0xcd2a3d9f938e13cd947ec05abc7fe734df8dd826');
expect(sig.v).to.equal(28);
expect(ethUtil.bufferToHex(sig.r)).to.equal('0x4355c47d63924e8a72e509b65029052eb6c299d53a04e167c5775fd466751c9d');
expect(ethUtil.bufferToHex(sig.s)).to.equal('0x07299936d304c153f6443dfa05f40ff007d72911b6f72307f996231605b91562');

3.5.2 personal_signTypedData

还应有一个对应的 personal_signTypedData 方法,该方法接受账户的密码作为最后一个参数。

3.6 Web3 API 规范

在 Web3.js 版本 1 中新增了两个方法,与 web3.eth.signweb3.eth.personal.sign 方法对应。

3.6.1 web3.eth.signTypedData

web3.eth.signTypedData(typedData, address [, callback])

该方法使用特定账户签名结构化数据,该账户需要是解锁状态。

其中参数:

  • 1)Object - 包含域分隔符和待签名的结构化数据,结构遵循 eth_signTypedData JSON RPC 调用中指定的 JSON-Schema。
  • 2)String|Number - 用于签名的数据的地址,或者本地钱包 web3.eth.accounts.wallet 中的地址或索引。
  • 3)Function (可选) - 可选回调函数,第一个参数返回错误对象,第二个参数返回签名结果。

注意:参数 address 也可以是 web3.eth.accounts.wallet 中的地址或索引,此时会使用该账户的私钥本地签名。

返回值为:

  • Promise 返回 String 类型的签名,与 eth_signTypedData 方法返回的结果相同。

示例:
可以参考 eth_signTypedData JSON-RPC 示例中的 typedData 值:

web3.eth.signTypedData(typedData, "0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826")
.then(console.log);
> "0x4355c47d63924e8a72e509b65029052eb6c299d53a04e167c5775fd466751c9d07299936d304c153f6443dfa05f40ff007d72911b6f72307f996231605b915621c"

3.6.2 web3.eth.personal.signTypedData

web3.eth.personal.signTypedData(typedData, address, password [, callback])

此方法与 web3.eth.signTypedData 基本相同,但额外增加了 password 参数,类似于 web3.eth.personal.sign

4. 设计原理(Rationale)

encode 函数针对新的类型扩展了新的处理方式,编码的首字节用于区分不同的情况。
因此,直接使用 domainSeparatortypeHash 作为编码的起始位置是不安全的。尽管构造一个 typeHash 作为有效 RLP 编码交易的前缀很困难,但理论上仍然可能发生。

作用域分隔符(Domain Separator)的作用有:

  • 1)防止不同 DApp 之间的签名冲突
    假设两个 DApp 恰好设计了相同的结构,如 Transfer(address from,address to,uint256 amount),但它们的签名不应该兼容。引入作用域分隔符后,DApp 开发者可以确保不会出现签名冲突。

  • 2)允许同一 DApp 内部区分不同签名用途
    在同一个 DApp 内,同一结构可能需要多种签名。如,在 Transfer 交易中,可能既需要 from 签名,也需要 to 签名。通过提供不同的作用域分隔符,可以区分这两种签名。

方案 1:使用目标合约地址作为作用域分隔符

  • 这种方法可以解决合约间的类型冲突问题,但无法区分相同结构的不同签名用途。因此,该标准建议在适当情况下使用目标合约地址。

4.1 typeHash 设计原理

typeHash 设计为 Solidity 编译时的常量,如:

bytes32 constant MAIL_TYPEHASH = keccak256("Mail(address from,address to,string contents)");

对于 typeHash,曾考虑过以下几种替代方案,但因各种原因被否决:

  • 方案 2:使用 ABIv2 函数签名
    采用 bytes4 作为哈希值的长度不足以抵抗哈希碰撞。此外,与函数签名不同,使用较长的哈希值几乎不会增加运行时成本。
  • 方案 3:将 ABIv2 函数签名扩展为 256 位
    这种方式虽然可以捕获类型信息,但无法表达函数以外的语义。例如,在 EIP-20 和 EIP-721 中,transfer(address,uint256) 产生了实际碰撞:前者的 uint256 代表的是数量,而后者代表的是唯一 ID。总体而言,ABIv2 旨在增强兼容性,而哈希标准应优先考虑不可兼容性,以避免冲突。
  • 方案 4:将 256 位 ABIv2 签名扩展为包含参数名和结构体名
    如,Mail 结构体可以被编码为: Mail(Person(string name,address wallet) from,Person(string name,address wallet) to,string contents)
    但这种方案比现有的解决方案要长得多,并且字符串的长度可能会随着输入的增加呈指数级增长(如:struct A { B a; B b; }; struct B { C a; C b; }; …)。此外,该方案不支持递归结构体类型(如:struct List { uint256 value; List next; })。
  • 方案 5:包含 natspec 文档
    这种方式在 schemaHash 中加入了更多的语义信息,进一步降低了哈希碰撞的可能性。然而,这会导致文档的扩展和修改成为破坏性变更(breaking change),违背了通常的假设。此外,这也使 schemaHash 机制变得过于冗长。

4.2 encodeData 设计原理

encodeData 允许 Solidity 轻松实现 hashStruct 方法:

function hashStruct(Mail memory mail) pure returns (bytes32 hash) {return keccak256(abi.encode(MAIL_TYPEHASH,mail.from,mail.to,keccak256(mail.contents)));
}

同时,它也可以在 EVM 内高效地进行原地计算:

function hashStruct(Mail memory mail) pure returns (bytes32 hash) {// 计算子哈希bytes32 typeHash = MAIL_TYPEHASH;bytes32 contentsHash = keccak256(mail.contents);assembly {// 备份内存let temp1 := mload(sub(mail, 32))let temp2 := mload(add(mail, 128))// 写入 typeHash 和 contentsHashmstore(sub(mail, 32), typeHash)mstore(add(mail, 64), contentsHash)// 计算哈希hash := keccak256(sub(mail, 32), 128)// 恢复内存mstore(sub(mail, 32), temp1)mstore(add(mail, 64), temp2)}
}

原地计算的实现对结构体在内存中的布局做出了较强但合理的假设。具体而言,它假设结构体不会被分配到地址 32 以下的位置,成员按顺序存储,所有值都填充至 32 字节的边界,并且动态类型和引用类型以 32 字节的指针形式存储。

被否决的替代方案有:

  • 方案 6:紧凑打包(Tight Packing)
    在 Solidity 中,使用 keccak256 处理多个参数时,默认会采用紧凑打包的方式。这种方式可以最小化需要哈希的字节数,但在 EVM 中需要复杂的打包指令,因此不支持原地计算。
  • 方案 7:ABIv2 编码
    随着 abi.encode 的引入,可以使用 abi.encode 作为 encodeData 函数。然而,ABIv2 标准本身未能满足确定性安全准则。相同数据可能存在多种有效的 ABIv2 编码。此外,ABIv2 也不支持原地计算。
  • 方案 8:在 hashStruct 中省略 typeHash
    可以选择不在 hashStruct 中包含 typeHash,而是将其与域分隔符(domain separator)合并。这种方式更高效,但会导致 Solidity keccak256 哈希函数的语义不具备单射性(injective)。
  • 方案 9:支持循环数据结构
    当前标准针对树状数据结构进行了优化,但未定义循环数据结构的处理方式。要支持循环数据结构,需要维护一个栈来记录当前路径,并在检测到循环时使用栈偏移量进行替换。然而,这种方式的规范和实现都异常复杂,并且会破坏可组合性(composability),因为成员值的哈希值会依赖于遍历路径。
    同样,直接实现该标准对于有向无环图(DAG)来说也不是最优的。递归遍历成员时,可能会多次访问相同的节点。可以使用记忆化(memoization)来优化这一过程。

4.3 domainSeparator 的设计原理

由于不同的域(domain)有不同的需求,因此采用了一种可扩展的方案:DApp 指定一个 EIP712Domain 结构体类型,并创建一个 eip712Domain 实例,将其传递给用户代理(user-agent)。用户代理可以根据其中的字段采取不同的验证措施。

5. 向后兼容性(Backwards Compatibility)

当前的 RPC 调用、web3 方法以及 SomeStruct.typeHash 参数尚未被定义。定义它们不应影响现有 DApp 的行为。

在 Solidity 中,表达式 keccak256(someInstance)(其中 someInstance 是结构体类型 SomeStruct 的一个实例)是有效的语法。当前,它计算的是该实例内存地址的 keccak256 哈希值。这种行为应被视为危险的,因为在某些情况下它可能表现正确,但在其他情况下可能会导致确定性失败或单射性问题。依赖当前行为的 DApp 应被视为存在严重风险。

6. 测试用例

示例合约可以在 Example.sol 中找到,JavaScript 的签名示例可以参考 Example.js。

// 示例合约
pragma solidity ^0.4.24;contract Example {struct EIP712Domain {string  name;string  version;uint256 chainId;address verifyingContract;}struct Person {string name;address wallet;}struct Mail {Person from;Person to;string contents;}bytes32 constant EIP712DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");bytes32 constant PERSON_TYPEHASH = keccak256("Person(string name,address wallet)");bytes32 constant MAIL_TYPEHASH = keccak256("Mail(Person from,Person to,string contents)Person(string name,address wallet)");bytes32 DOMAIN_SEPARATOR;constructor () public {DOMAIN_SEPARATOR = hash(EIP712Domain({name: "Ether Mail",version: '1',chainId: 1,// verifyingContract: thisverifyingContract: 0xCcCCccccCCCCcCCCCCCcCcCccCcCCCcCcccccccC}));}function hash(EIP712Domain eip712Domain) internal pure returns (bytes32) {return keccak256(abi.encode(EIP712DOMAIN_TYPEHASH,keccak256(bytes(eip712Domain.name)),keccak256(bytes(eip712Domain.version)),eip712Domain.chainId,eip712Domain.verifyingContract));}function hash(Person person) internal pure returns (bytes32) {return keccak256(abi.encode(PERSON_TYPEHASH,keccak256(bytes(person.name)),person.wallet));}function hash(Mail mail) internal pure returns (bytes32) {return keccak256(abi.encode(MAIL_TYPEHASH,hash(mail.from),hash(mail.to),keccak256(bytes(mail.contents))));}function verify(Mail mail, uint8 v, bytes32 r, bytes32 s) internal view returns (bool) {// Note: we need to use `encodePacked` here instead of `encode`.bytes32 digest = keccak256(abi.encodePacked("\x19\x01",DOMAIN_SEPARATOR,hash(mail)));return ecrecover(digest, v, r, s) == mail.from.wallet;}function test() public view returns (bool) {// Example signed messageMail memory mail = Mail({from: Person({name: "Cow",wallet: 0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826}),to: Person({name: "Bob",wallet: 0xbBbBBBBbbBBBbbbBbbBbbbbBBbBbbbbBbBbbBBbB}),contents: "Hello, Bob!"});uint8 v = 28;bytes32 r = 0x4355c47d63924e8a72e509b65029052eb6c299d53a04e167c5775fd466751c9d;bytes32 s = 0x07299936d304c153f6443dfa05f40ff007d72911b6f72307f996231605b91562;assert(DOMAIN_SEPARATOR == 0xf2cee375fa42b42143804025fc449deafd50cc031ca257e0b194a650a912090f);assert(hash(mail) == 0xc52c0ee5d84264471806290a3f2c4cecfc5490626bf912d01f240d7a274b371e);assert(verify(mail, v, r, s));return true;}
}

相应的JavaScript签名示例代码为:

// using ethereumjs-util 7.1.3
const ethUtil = require('ethereumjs-util');// using ethereumjs-abi 0.6.9
const abi = require('ethereumjs-abi');// using chai 4.3.4
const chai = require('chai');const typedData = {types: {EIP712Domain: [{ name: 'name', type: 'string' },{ name: 'version', type: 'string' },{ name: 'chainId', type: 'uint256' },{ name: 'verifyingContract', type: 'address' },],Person: [{ name: 'name', type: 'string' },{ name: 'wallet', type: 'address' }],Mail: [{ name: 'from', type: 'Person' },{ name: 'to', type: 'Person' },{ name: 'contents', type: 'string' }],},primaryType: 'Mail',domain: {name: 'Ether Mail',version: '1',chainId: 1,verifyingContract: '0xCcCCccccCCCCcCCCCCCcCcCccCcCCCcCcccccccC',},message: {from: {name: 'Cow',wallet: '0xCD2a3d9F938E13CD947Ec05AbC7FE734Df8DD826',},to: {name: 'Bob',wallet: '0xbBbBBBBbbBBBbbbBbbBbbbbBBbBbbbbBbBbbBBbB',},contents: 'Hello, Bob!',},
};const types = typedData.types;// Recursively finds all the dependencies of a type
function dependencies(primaryType, found = []) {if (found.includes(primaryType)) {return found;}if (types[primaryType] === undefined) {return found;}found.push(primaryType);for (let field of types[primaryType]) {for (let dep of dependencies(field.type, found)) {if (!found.includes(dep)) {found.push(dep);}}}return found;
}function encodeType(primaryType) {// Get dependencies primary first, then alphabeticallet deps = dependencies(primaryType);deps = deps.filter(t => t != primaryType);deps = [primaryType].concat(deps.sort());// Format as a string with fieldslet result = '';for (let type of deps) {result += `${type}(${types[type].map(({ name, type }) => `${type} ${name}`).join(',')})`;}return result;
}function typeHash(primaryType) {return ethUtil.keccakFromString(encodeType(primaryType), 256);
}function encodeData(primaryType, data) {let encTypes = [];let encValues = [];// Add typehashencTypes.push('bytes32');encValues.push(typeHash(primaryType));// Add field contentsfor (let field of types[primaryType]) {let value = data[field.name];if (field.type == 'string' || field.type == 'bytes') {encTypes.push('bytes32');value = ethUtil.keccakFromString(value, 256);encValues.push(value);} else if (types[field.type] !== undefined) {encTypes.push('bytes32');value = ethUtil.keccak256(encodeData(field.type, value));encValues.push(value);} else if (field.type.lastIndexOf(']') === field.type.length - 1) {throw 'TODO: Arrays currently unimplemented in encodeData';} else {encTypes.push(field.type);encValues.push(value);}}return abi.rawEncode(encTypes, encValues);
}function structHash(primaryType, data) {return ethUtil.keccak256(encodeData(primaryType, data));
}function signHash() {return ethUtil.keccak256(Buffer.concat([Buffer.from('1901', 'hex'),structHash('EIP712Domain', typedData.domain),structHash(typedData.primaryType, typedData.message),]),);
}const privateKey = ethUtil.keccakFromString('cow', 256);
const address = ethUtil.privateToAddress(privateKey);
const sig = ethUtil.ecsign(signHash(), privateKey);const expect = chai.expect;
expect(encodeType('Mail')).to.equal('Mail(Person from,Person to,string contents)Person(string name,address wallet)');
expect(ethUtil.bufferToHex(typeHash('Mail'))).to.equal('0xa0cedeb2dc280ba39b857546d74f5549c3a1d7bdc2dd96bf881f76108e23dac2',
);
expect(ethUtil.bufferToHex(encodeData(typedData.primaryType, typedData.message))).to.equal('0xa0cedeb2dc280ba39b857546d74f5549c3a1d7bdc2dd96bf881f76108e23dac2fc71e5fa27ff56c350aa531bc129ebdf613b772b6604664f5d8dbe21b85eb0c8cd54f074a4af31b4411ff6a60c9719dbd559c221c8ac3492d9d872b041d703d1b5aadf3154a261abdd9086fc627b61efca26ae5702701d05cd2305f7c52a2fc8',
);
expect(ethUtil.bufferToHex(structHash(typedData.primaryType, typedData.message))).to.equal('0xc52c0ee5d84264471806290a3f2c4cecfc5490626bf912d01f240d7a274b371e',
);
expect(ethUtil.bufferToHex(structHash('EIP712Domain', typedData.domain))).to.equal('0xf2cee375fa42b42143804025fc449deafd50cc031ca257e0b194a650a912090f',
);
expect(ethUtil.bufferToHex(signHash())).to.equal('0xbe609aee343fb3c4b28e1df9e632fca64fcfaede20f02e86244efddf30957bd2');
expect(ethUtil.bufferToHex(address)).to.equal('0xcd2a3d9f938e13cd947ec05abc7fe734df8dd826');
expect(sig.v).to.equal(28);
expect(ethUtil.bufferToHex(sig.r)).to.equal('0x4355c47d63924e8a72e509b65029052eb6c299d53a04e167c5775fd466751c9d');
expect(ethUtil.bufferToHex(sig.s)).to.equal('0x07299936d304c153f6443dfa05f40ff007d72911b6f72307f996231605b91562');

7. 安全性考量(Security Considerations)

7.1 重放攻击(Replay Attacks)

本标准仅涉及消息签名和签名验证。在许多实际应用中,签名消息用于授权某项操作,如代币交换。实施者必须确保应用程序在收到相同的签名消息两次时能够正确处理。如,重复的消息应被拒绝,或者授权的操作应具有幂等性。具体实现方式取决于应用场景,超出了本标准的范围。

7.2 交易抢跑攻击(Frontrunning Attacks)

可靠地广播签名的机制取决于具体的应用,超出了本标准的范围。当签名被广播到区块链并用于合约时,应用程序必须能够防范抢跑攻击。在这种攻击中,攻击者拦截签名并在原始预期用途发生之前将其提交到合约。应用程序应确保在攻击者率先提交签名时仍能正确处理,如拒绝该签名,或仅产生与签名者预期完全相同的效果。

参考资料

[1] EIP-712: Typed structured data hashing and signing – A procedure for hashing and signing of typed structured data as opposed to just bytestrings.

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/web/74551.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

contourformer:实时的轮廓分割transformer

论文地址:https://arxiv.org/abs/2501.17688 github:https://github.com/talebolano/Contourformer 模型结构 框架建立在 D-FINE 对象检测模型之上,并将边界框的回归扩展到轮廓的回归。为了实现高效的训练,Contourformer 采用迭代方法进行轮廓变形,并引入降噪机制来加速…

【JavaScript】原型链 prototype 和 this 关键字的练习(老虎机)

这个老虎机练习主要考察JavaScript中的原型链(prototype)和this关键字的使用。 主要思路 创建三个轮盘(reels)实例:我们需要创建3个独立的轮盘对象,它们都委托(delegate)到基础的ree…

vue项目data functions should return an object

在vue项目中提示错误,data functions should return an object Message.error(err)错了,Message.error()是element-ui的组件,只能接受字符串,不能接受对象。 改为Message.error(err.message)就好了 我的错误是 Message.error(er…

leetcode刷题 - 数组理论基础

数组是内存空间连续存储、相同类型数据的集合。遍历方式:下标索引 下标:从 0 开始 数组的元素不能删除,只能覆盖 定义一维数组: int arr0[10]; int arr1[10] { 100, 90,80,70,60,50,40,30,20,10 }; int arr2[ ] { 100,90,80,7…

状态机思想编程练习

状态机实现LED流水灯 本次实验,我们将利用状态机的思想来进行Verilog编程实现一个LED流水灯,并通过Modelsim来进行模拟仿真,再到DE2-115开发板上进行验证。 ​ 首先进行主要代码的编写。 module led (input sys_clk,input sys_…

数据结构|排序算法(一)快速排序

一、排序概念 排序是数据结构中的一个重要概念,它是指将一组数据元素按照特定的顺序进行排列的过程,默认是从小到大排序。 常见的八大排序算法: 插入排序、希尔排序、冒泡排序、快速排序、选择排序、堆排序、归并排序、基数排序 二、快速…

如何确保MQ消息队列不丢失:Java实现与流程分析

前言 在分布式系统中,消息队列(Message Queue, MQ)是核心组件之一,用于解耦系统、异步处理和削峰填谷。然而,消息的可靠性传递是使用MQ时需要重点考虑的问题。如果消息在传输过程中丢失,可能会导致数据不一…

关于termux运行pc交叉编译的aarch64 elf的问题

在Linux系统上交叉编译Nim程序到Android Termux环境需要特殊处理,以下是详细的解决方案: 问题根源分析 ​​ABI不兼容​​ Android使用bionic libc而非标准glibc,直接编译的Linux ARM二进制无法直接运行 ​​动态链接错误​​ 默认编译会链…

为PXIe控制器配置NI Linux实时操作系统安装软件

一、升级BIOS 使用NI Linux Real-Time操作系统的PXI硬件支持页面来确定NI Linux Real-Time是否支持您的PXIe控制器,以及是否需要更新控制器BIOS。 按照BIOS下载页面上的“安装说明”部分安装BIOS更新。 注意:NI在NI 2020软件版本中删除对cRIO的Phar Lap和…

《汽车噪声控制》课程作业

作业内容 在MATLAB绘制给出单个正弦波或余弦波的时域图和频域图 绘制实测数据的时域图和频域图 图1 单个正弦波的时频图 图1 单个正弦波的时频图 % 正弦波参数设置 f0 1000; % 信号频率 1kHz Fs 16384; % 采样频率 16kHz T 0.05; % 信号持续时间 0.05秒 A 0.8; % 信号幅度…

Baklib内容中台AI技术协同应用

内容中台与AI协同创新 在数字化转型进程中,内容中台通过人工智能技术的深度整合,正重塑企业信息管理范式。以Baklib内容中台为例,其通过智能语义分析引擎解析用户意图,结合知识图谱构建技术动态关联碎片化信息,实现从…

压测工具开发实战篇(二)——构建侧边栏以及设置图标字体

你好,我是安然无虞。 文章目录 构建侧边栏QtAwesome使用调整侧边栏宽度了解: sizePolicy属性伪状态 在阅读本文之前, 有需要的老铁可以先回顾一下上篇文章: 压测工具开发(一)——使用Qt Designer构建简单界面 构建侧边栏 我们要实现类似于下面这样的侧边栏功能: …

Axure RP9.0教程: 查询条件隐藏与显示(综合了动态面板状态切换及展开收缩效果实现)

文章目录 引言I 原型显示/隐藏搜索框思路步骤详细操作II 若依 ruoyi 显示/隐藏搜索框 & 显示隐藏列自定义设置显示隐藏列显示/隐藏搜索框引言 数据筛选有大量的查询条件时,可以选择查询隐藏效果。 I 原型显示/隐藏搜索框 综合了动态面板状态切换及展开收缩效果实现 思…

解锁工业通信:Profibus DP到ModbusTCP网关指南!

解锁工业通信:Profibus DP到ModbusTCP网关指南! 在工业自动化领域,随着技术的不断进步和应用场景的日益复杂,不同设备和系统之间的通讯协议兼容性问题成为了工程师们面临的一大挑战。尤其是在Profibus DP和Modbus/TCP这两种广泛应…

3维格式转换(二)

基于python的三维模型演化可视化 本项目的主要内容为总结了3种不同的可视化方案( trimesh + matplotlib 库、 pyvista 库、 vedo 库),并通过案例对可视化效果进行展示,最终通过模型动态演化案例给出最佳效果的可视化方案 本期结构图为 本期博客结构图 0 环境搭建 项目开…

docker导出image再导入到其它docker中

导出image docker save -o gxc_tenant.tar vue_tenant:1.0 eitc_tenant:1.0 redis:latest docker.io/mysql:8.0 minio/minio导入image docker load -i gxc_tenant.tar

Spring-IOC部分

Spring-IOC部分 1.SpringBean的配置详解(Bean标签) (1)scope 默认情况下,单纯的Spring环境Bean的作用范围有两个:Singleton和Prototype singleton:单例,默认值,Spring…

人工智能爬虫导致维基共享资源带宽需求激增 50%

2025 年 4 月 1 日,维基媒体基金会在博文中表示,自 2024 年 1 月以来,维基共享资源下载多媒体的带宽消耗激增 50%,这一变化趋势主要由用于 AI 训练数据集的网络爬虫导致。以下是具体分析1: 爬虫流量特征与数据存储模式…

2007-2019年各省地方财政交通运输支出数据

2007-2019年各省地方财政交通运输支出数据 1、时间:2007-2019年 2、来源:国家统计局、统计年鉴 3、指标:行政区划代码、地区、年份、地方财政交通运输支出 4、范围:31省 5、指标说明:地方财政交通运输支出是指地方…

【爬虫开发】爬虫开发从0到1全知识教程第14篇:scrapy爬虫框架,介绍【附代码文档】

本教程的知识点为:爬虫概要 爬虫基础 爬虫概述 知识点: 1. 爬虫的概念 requests模块 requests模块 知识点: 1. requests模块介绍 1.1 requests模块的作用: 数据提取概要 数据提取概述 知识点 1. 响应内容的分类 知识点&#xff1a…