{Solidity:​log}

作者：Christian Reitwiessner 发布时间：2016年11月9日

本文最初发布在以太坊博客上。此博文提供了关于我们上周发现的存储损坏错误的调查结果更新。总而言之，该错误的严重程度远低于我们最初的预期。我们发现的少量受影响合约要么只能被所有者利用，要么利用只能导致用户界面中断，而不会影响实际的合约逻辑。我们审查的所有可利用合约/dapp都可以修复...

作者：Solidity 团队 发布时间：2016年11月1日

这是一个修复错误的版本，修复了在同一存储槽中存储多个变量时出现的存储损坏问题（详细信息）。错误修复：类型检查器：禁止导致错误使用 EXP 操作码的有符号指数。代码生成器：在存储到存储器之前正确清理高位字节。非常感谢所有帮助使此版本发布成为可能的贡献者！在这里下载 Solidity 的新版本。

作者：Christian Reitwiessner 发布时间：2016年11月1日

本文最初发布在以太坊博客上。摘要：在某些情况下，变量可能会覆盖存储中的其他变量。*受影响的 Solidity 编译器版本：*0.1.6 到 0.4.3（包括 0.4.4 预发布版本）详细说明：如果小于 256 位的存储变量可以容纳，则它们将打包到同一个 256 位槽中。如果为第一个变量分配的值大于类型允许的值，则该值将覆盖第二个变量。这意味着如果攻击者可以导致...

作者：Solidity 团队 发布时间：2016年10月25日

这是一个真正的错误修复版本，您可以从下面的更改日志中看到。最重要的修复与优化器有关，优化器在某些情况下生成了与 SHA3 操作码相关的无效代码。功能：内联汇编：支持 suicide 和 selfdestruct 操作码（注意：suicide 已弃用）。内联汇编：如果块后堆栈不平衡，则发出警告。包含 keccak256() 作为 sha3() 的别名。支持移位常数。错误修复：命令行界面：在 solc 中不允许未知选项。名称解析器：允许继承枚举定义。类型检查器：正确的类型检查...

作者：Solidity 团队 发布时间：2016年9月17日

错误修复：代码生成器：修复从可支付函数调用库函数。类型检查器：修复了关于无效数组类型的崩溃。代码生成器：修复了在版本 0.4.0 之后可见的调用 gas 错误，该错误用于输出大于输入的调用。非常感谢所有帮助使此版本发布成为可能的贡献者！在这里下载 Solidity 的新版本。

作者：Solidity 团队 发布时间：2016年9月9日

这是一个错误修复版本，修复了使用最新版本 0.4.0 编译库时出现的错误。非常感谢所有帮助使此版本发布成为可能的贡献者！在这里下载 Solidity 的新版本。

作者：Solidity 团队 发布时间：2016年9月8日

注意：版本 0.4.0 无法编译库。请升级到 0.4.1。此版本故意破坏向后兼容性，主要是为了增强一些安全功能。最重要的更改是您必须显式指定函数是否可以通过 payable 修饰符接收以太坊。此外，更多情况会导致抛出异常。升级所需的最小更改：将 payable 添加到所有想要接收以太坊的函数（包括构造函数和回退函数）。将 ` 更改为 ;` 在修饰符中。添加版本 pragma...

作者：Christian Reitwiessner 发布时间：2016年9月1日

本文最初发布在以太坊博客上。今天，我很高兴地宣布，平井洋一（github 上的 @pirapira）将加入以太坊项目担任形式化验证工程师。他拥有东京大学关于形式化并行通信过程的博士学位，并在业余时间为以太坊创建了形式化验证工具。用他自己的话说：我将加入以太坊担任形式化验证工程师。我的理由：形式化验证只有在...

作者：Solidity 团队 发布时间：2016年8月10日

这是来自新的“solidity-standalone”存储库的第一个版本。它不再依赖于 cpp-ethereum，并且可以直接从 solidity github 存储库构建。请注意，优化器在某些情况下被禁用，这可能会导致代码更大（但更正确）。功能：形式化验证：考虑合约上的外部影响。类型检查器：警告关于低级调用和发送的未使用返回值。输出：作为 AST 输出一部分的源位置和节点 ID 输出：字节码的源位置映射输出：形式...

作者：Solidity 团队 发布时间：2016年6月10日

功能：上下文相关的路径重映射（不同的模块可以在不同版本中使用相同的库）错误修复：类型检查：在从外部调用获取数据时，动态返回类型被删除，现在它们被“不可用”类型替换。类型检查：构造函数的覆盖被认为使函数成为非抽象函数。非常感谢所有帮助使此版本发布成为可能的贡献者！在这里下载 Solidity 的新版本。