网址:https://statebox.org
构建可视化、经过正式验证的流程语言。
Starknet排序器Madara已发布官方文档:5月9日消息,Starknet排序器Madara已发布官方文档,支持开发者启动专属的小型定制Starknet应用链。[2023/5/9 14:51:46]
Statebox 正在使用强大的数学原理,构建可视化、经过正式验证的流程语言,以防止错误发生。该语言是可视的,并允许用户在执行时检查程序的流程。这些属性使 Statebox 适用于分布式系统、区块链、工作流管理系统、应用程序编排、系统架构等。
StarkNet发布性能路线图,Mainnet alpha已升级到 v0.10.2:11月29日消息,以太坊扩容方案 StarkNet 宣布其 Mainnet alpha 已升级到 v0.10.2,并发布性能路线图,StarkNet 称路线图中一些步骤已经在 StarkNet Alpha 0.10.2 中实现。未来的性能路线图中包括定序器并行化、Cairo-VM 的新 Rust 实现、Rust 中的定序器重新实现,该路线图旨在为改进 TPS 做好准备。[2022/11/29 21:10:23]
Bitstamp将暂停所有美国客户的XRP交易及存款:金色财经报道,Bitstamp刚刚发推文宣布,鉴于美国SEC最近声称XRP是一种证券,Bitstamp将于2021年1月8日暂停所有美国客户的XRP交易和存款。其他国家不受影响。Bitstamp将密切关注不断发展的局势,并继续作出相应的调整。[2020/12/26 16:32:53]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。