... Discourse 推出 Solidity 论坛，供开发人员讨论 Solidity 编程语言的设计、Solidity 编译器、Solidity 文档以及 Solidity 版本等问题。不过，紧急的 Solidity 支持问题、错误或漏洞报告、以太坊研究的具体讨论以及提案 EIP 等不在该论坛讨论范围之内。来源链接免责声明：作为区块链信息平台，本站所发布文章仅代...
知识:以太坊,Solidity,项目进展
...坊开发者发布 Solidity 0.7.0 版本。官方表示，Solidity 0.7.0 是对 Solidity 语言和编译器的重大更新。该版本删除了外部存储映射功能、关键词「var」、并且构造函数不再需要默认可见性（Visibility），另外还进行了一些语法更改。官方建议升级所有代码以使其与 Solidity v.0.7.0 兼容。来源链接
知识:以太坊,技术,智能合约,Solidity
...活跃的国产开源联盟链社区，FISCO BOCS无缝支持Solidity合约，并提供从开发、编译、部署到调用的全链路工具和完整解决方案，使智能合约和区块链应用开发变得简单。除此之外，基于大量探索和实践，FISCO BCOS不仅支持Solidity合约，还支持Precompiled合约，并在用户层提供CRUD合约接口。面向库表开发的CRUD合...
知识:合约,智能合约,智能合约开发,以太坊
...活跃的国产开源联盟链社区，FISCO BOCS无缝支持Solidity合约，并提供从开发、编译、部署到调用的全链路工具和完整解决方案，使智能合约和区块链应用开发变得简单。除此之外，基于大量探索和实践，FISCO BCOS不仅支持Solidity合约，还支持Precompiled合约，并在用户层提供CRUD合约接口。面向库表开发的CRUD合...
知识:智能合约,开发
在过去的几个月中，我们一直在对solc（标准的Solidity智能合约编译器）进行模糊测试，我们已经发现了近20个（现在大部分已经修复）新的bug。其中一些是症状或触发器略与的现有bug不同，但绝大多数是编译器中以前未报告的bug。这是一次非常成功的模糊测试，据我们所知，这是有史以来最成功的针对so...
知识:智能合约,软件
...的 Vyper 合约经过了严格的测试、审查和形式化验证，但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间，发现了多个编译器 bug (并进行了修复)。除了形式化验证，Suhabe Bugrara?(ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查，这引发了对正式的规范进...
知识:合约,以太坊基金会,主网上线,以太坊
...创建，并在内部用于项目管理，不可编辑或删除。· build/：项目数据，例如编译器工件和单元测试结果· reports/：在GUI中使用的JSON报告文件编译smart_contract.sol在contracts目录中复制您的智能合约。编译contracts/项目子文件夹中的所有合同源：每次编译器运行时，布朗尼都会将每个合同源的哈希值与现有已编...
知识:智能合约,布朗尼,以太坊,火星号精选
...进行智能合约开发的第一步很可能是使用Remix在线IDE。这是一款非常出色的编译工具，可让你快速地访问Solidity编译器，因此您可以更快上手学习该语言。一旦你对于使用Solidity充满信心，您就会希望在桌面IDE的本地环境中进行开发。将代码放在项目目录中，在本地运行，允许快速开发，并允许使用版本...
知识:智能合约
...约。 与12月份发布的0.8版相比，此新版本虽然带来了一些较小的改进，提供编译器内和语言内的优化设置。Solidity的新版本已在编程语言的官方博客中发布。 在本文中，更改，更正和从0.8.1版开始执行的新语句。语言的更改要求那些希望使用它的用户将其编译器更新为新版本0.8.1。Solidity 0.8.1的显着变化S...
知识:智能合约,以太坊网络,以太坊生态系统,加密货币
...，zkEVM 的指令集已经得到最终确定，而且在电路和执行环境中都已实现。在编译器方面，无论是用 Solidity 还是 Zinc 编写的智能合约都可以被编译成 zkEVM 字节码。在核心基础设施方面，全节点整合已经完成，能够成功部署并执行编译后的智能合约。虽然 zkEVM 和核心 2.0 基础设施已准备公开，但是我们还...
知识:智能合约,区块,以太坊,合约
...的 Vyper 合约经过了严格的测试、审查和形式化验证，但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间，发现了多个编译器 bug (并进行了修复)。除了形式化验证，Suhabe Bugrara (ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查，这引发了对正式的规范进...
知识:形式化验证,测试网
...的 Vyper 合约经过了严格的测试、审查和形式化验证，但仍然存在着对 Vyper 编译器目前的安全性的潜在担忧。在最初的 Vyper 字节码验证期间，发现了多个编译器 bug (并进行了修复)。除了形式化验证，Suhabe Bugrara(ConsenSys 的研发人员) 还对 Vyper 存款合约和形式化验证进行了审查，这引发了对正式的规范进...
知识:形式化验证,以太坊,测试网
...一个uint的数据。所以再说一遍：合约就是由函数和数据构成。Solidity 是一门编译型语言，代码被编译为以太坊虚拟机字节码之后，再部署到以太坊网络。用人话来说就是。至今为止，我们学的Solidity代码都是人类的语言（很像英语），计算机根本无法识别。所以需要下面的工具编译（compile）。（就是把...
知识:合约,以太坊,智能合约,以太坊客户端
...lidity的方法。”Fe，发音为“ fee”（源自英语中的“ commission”），是对Vyper编译器的重写而诞生的，Vyper编译器是迄今为止唯一可替代Solidity的编程语言。 Vyper旨在对与以太坊虚拟机（EVM）兼容的智能合约进行编码，最初由Vitalik Buterin构思。Burgdorf补充说，重写Vyper的最初想法是拥有替代编译器。 随时...
知识:智能合约,以太坊,区块链的,以太坊生态系统
...系结构组成。为了部署智能合同，所有高级的以太坊智能合同代码必须首先编译成机器可读的代码(称为字节码)。这个字节码代码（一系列单字节操作码和可选参数）然后由EVM通过后进先出的栈安排进行处理。该操作类似于Java虚拟机(JVM) ，其中每条指令都以单字节操作码和参数开始，如果有参数的话，...
知识:字节,以太,指令,合约