几乎所有的 Solidity 合约都有这个安全问题

几乎所有的 Solidity 合约都有这个安全问题

几乎所有的Solidity合约都有这个安全问题，有些合约比其他的更严重。这个问题是Solidity编译器固有的。考虑在Solidity中实现映射:

mapping(uint256 => bytes32) mapping1;

生成的存储地址总是在0` – 2**256-1范围内。没有数学上的保证可以确定其没有冲突。事实上，在这个范围内证明冲突的存在是很容易的。

Pseudo-Demonstration

考虑定义在N1范围内的keccak256函数k：从0到2**256-1的自然数。它在EVM中的输出也是N1。此外，N1中任何元素的输出都是有保证的，输出也不是微不足道的(否则就不能满足加密要求)；因此k不是恒等函数。另外：输出尽可能接近于单射。因此，它尽可能的会接近于双射(在不破坏密码属性的情况下证明双射应该是不可能的)。(我称之为伪双射。)

这种伪双射函数几乎在所有时间都不同于恒等函数，保证每个参数值至少有一次冲突(除了是当函数给出与恒等函数相同的输出时)。对于任何其他没有冲突的情况，它们必须有相同数量的有多于一次冲突的情况)。换句话说：伪双射函数不是排列，平均每个输入值有 1 次冲突，并且很有可能超过1次。k函数有可能与另一个输入发生1/(2**256-1)冲突