编程语言

ChainCatcher 消息，据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 在 X 平台发文称，这将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。 据介绍，该语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。交易意图允许用户说明想要完成的目标，而将具体步骤交给应用处理，例如交易者可以要求在最终价格满足设定条件时才将一种代币兑换为另一种，而无需说明具体路径。 携带证明的数据可为信息附加密码学证据，证明其符合特定规则，其他应用无需重新计算即可验证。Groth16 则是一种广泛使用的证明系统，可生成体积小、验证速度快的证明，在不暴露隐私数据的前提下证明条件已满足。 三者结合后，开发者可以构建协调交易、检查复杂条件并在服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。目前 Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约，而 Hoskinson 旗下 Input Output Global 构建的隐私区块链 Midnight 拥有自己的语言 Compact。该新语言的名称、公开代码及发布日期目前均未公布。

ChainCatcher 消息，Vitalik 在 X 平台发文表示，一种值得尝试的新型“高级编程语言”是编译为 Lean（或 HOL 等）的语言，重点是尽可能让人类更容易阅读定义和定理。 而不是证明，因为证明只要正确即可，关键在于定义和定理本身。 其设想用途是，AI 输出一大段证明，而读者需要尽可能轻松地理解这些输出中实际被证明了哪些精确主张。

ChainCatcher 消息，Cardity 团队推出了一种新的 UTXO 智能编程语言，可用于在类似比特币的区块链（例如狗狗币）上构建去中心化协议。该语言采用类似 Solidity 的语法，易于理解，专为代币、DAO、投票、DeFi 等应用设计。开发者可以通过 .car 文件将协议部署到 UTXO 中。Cardity 的核心实现已开源，可在 GitHub 查看。

ChainCatcher 消息，Starknet 在社交媒体上表示，Cairo V2.3.0 从候选发行版本转变为正式发行版本，新版本包括性能改进、bug 修复，以及帮助处理组件依赖关系的新内联宏。 此前消息，Starknet 宣布其编程语言 Cairo V2.3.0 版本引入组件（component）。

ChainCatcher 消息，以太坊编程语言 Vyper 发布有关上周漏洞事件的事后分析报告。报告指出 7 月 30 日由于 Vyper 编译器中的潜在漏洞，多个 Curve 流动性池被利用，该漏洞本身是一个未正确实施的重入防护，受影响的 Vype 版本包括 v0.2.15、v0.2.16 和 v0.3.0。 Vyper 称，该漏洞已于 v0.3.1 版本修复并测试，v0.3.1 及更高版本是安全的。然而，当时并没有意识到会影响使用了易受攻击版本的编译器的协议，也没有及时通知下游的协议。

ChainCatcher 消息，以太坊编程语言 Vyper 发推称，Vyper 0.2.15、0.2.16 和 0.3.0 版本受到重入锁故障的影响，调查仍在进行中。

ChainCatcher 消息，以太坊编程语言 Solidity 推出 Solidity 编译器 0.8.19 版本，最新版本包括一系列改进，以及引入用户定义值类型定义运算符，防止运行时字节码中的死代码。@sifislag 报告的内部库函数和通过模块调用的自由函数的问题已在此版本中得到修复。团队建议使用低于 0.8.0 的 Solidity 版本的用户进行升级。（来源链接）

ChainCatcher 消息，以太坊编程语言 Solidity 发布最新版本的 Solidity 编译器 Solidity 0.8.18，新版本的功能包括：禁用 CBOR 元数据、支持巴黎硬分叉、弃用 selfdestruct、从 Yul 生成 EVM 字节码。团队建议所有 Solidity 开发人员升级到版本 0.8.18 以利用这些改进和优化。（来源链接）

ChainCatcher 消息，StarkWare 宣布开源其编程语言 Cairo 1.0，作为 StarkNet 堆栈开源的第一步。StarkNet 尚不支持 Cairo 1.0，会于明年第一季度在进行支持。Cairo 1.0 编译器的首个版本计划于明年第一季度初推出，重点在 Cairo 1.0 中支持 StarkNet 的所有现有功能，也正在扩展 Cairo 1.0 编译器功能。（来源链接）

ChainCatcher 消息，以太坊二层网络 ZkSync 发推宣布，已将 Java、Go 和 Python 编程语言集成至其软件开发工具包 (SDK) ，开发人员可以访问和使用他们习惯的编码语言，并启用新的用例，例如“移动或特定于硬件的应用程序” 。该团队表示，未来将继续扩展到其他编程语言。 ChainCatcher 此前报道，10 月 31 日，zkSync 2.0 主网第一阶段 Baby Alpha 已上线，主网预计 2023 年初向全部用户开放。（来源链接）

链捕手消息，根据 Solana 基金会 GitHub 页面信息显示，团队已将 Move 语言纳入开发战略，旨在提高开发人员兴趣，推动社区开发活动。 据悉，Move 是由 Meta（原 Facebook）创建的一种编程语言，目前已成为 Web3 开发人员首选的编程语言之一。（来源链接）

链捕手消息，以太坊智能合约编程语言 Solidity 发布 V0.8.14 版，修复了两个重要漏洞，第一个漏洞与直接来自 calldata 的 ABI 编码嵌套数组有关；第二个漏洞是在某些继承结构中触发的，可能导致存储器指标被解释为 calldata 指标。（来源链接）