几乎所有的 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不是恒等函数。另外：输出尽可能接近于单射。因此，它尽可能的会接近于双射(在不破坏密码属性的情况下证明双射应该是不可能的)。(我称之为伪双射。)这种伪双射函数几乎在所有时间 ………………………………