StarkNet上线由Cairo通用计算支持的递归证明

金色财经报道，区块链扩展解决方案提供商StarkWare宣布推出递归证明，可以在链下捆绑数千万个 NFT铸造交易，以帮助简化以太坊链上交易处理。不过StarkWare 总裁兼联合创始人 Eli Ben-Sasson 表示，目前还没有以“千万计”的 NFT 铸币放入单个递归证明中，但技术已经到位，目前 StarkWare的其StarkEx 扩展引擎和 StarkNet 已经启用递归证明。（coindesk）

9月11日消息，零知识证明技术开发公司StarkWare宣布编程语言Cairo1.0版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持StarkNet的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。 此外Cairo1.0也会影响Regenesis，StarkWare将在未来几周内发布有关Regenesis的更多信息。 注：Cairo语言是StarkNet的原生智能合约语言，于2020年推出。

据官方消息，StarkNet-devnet v0.2.6发布，主要更新内容包括支持Cairo-lang与StarkNet 0.9.1、在预部署账户中使用Openzeppelin 0.2.1。

金色财经报道，StarkNet 宣布推出 Cairo 1.0-alpha.2 版本，其新功能包括：词典、合约中的事件、映射存储变量、特征支持、类型推断和方法。目前，团队正致力于使 Cairo 1.0 与之前的 Cairo 完全兼容，并开发支持在 Cairo 1.0 中编写合约的 StarkNet v0.11.0。

金色财经报道，加密金融应用Nebeus宣布推出第一张由VISA支持的Nebeus卡，在欧洲市场上都可以使用。Nebeus卡允许用户消费在Nebeus IBANs上的资金。在其他功能中，客户能够收到他们的工资，进行第三方支付。与Nebeus Crypto账户连接可为加密货币投资转移资金。

金色财经报道，比特币软件公司Synonym推出了Bitkit，这是一款新的比特币钱包应用程序，具有可携带的网络配置文件和无密码的网络账户。 Bitkit与lightning兼容，并利用了Synonym的Slashtags协议。Slashtags是一个使用比特币加密种子创建可移植的网页简介(可以跨多个平台使用)、自动更新联系人、联系人支付首选项和无需密码的身份验证的系统。（coindesk）