06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月18日消息，据金十报道，摩根大通证实，美国总统特朗普的说法属实，即特朗普未提供CEO戴蒙美联储主席职位。
7 分钟前
火讯财经讯，1月18日消息，据Lookonchain监测，过去一年，Tron新增发行了227亿枚USDT，USDT总供应量达到824亿枚。与此同时，Tron的USDT持有者在过去一年增加了1100万，总持有者数量超过7060万。
1 小时前
火讯财经讯，1月18日消息，a16zcrypto管理合伙人ChrisDixon在X平台表示，加密货币开发者需要清晰明确的规则。过去五年，共和党、民主党和特朗普政府与加密行业的各方人士密切合作，致力于保护去中心化、支持开发者，并为创业者提供公平的竞争机会。《CLARITY法案》的核心正是如此。它并不完美，在正式成为法律之前还需要进行一些修改。但如果希望美国继续保持其作为全球构建加密货币未来最佳之地的地位，现在正是推进《CLARITY法案》的最佳时机。
1 小时前
火讯财经讯，1月18日消息，据欧易OKX行情显示，日内涨幅排名靠前的几个代币为：THETA现报0.347美元，日内涨幅2.09%；CHZ现报0.0628美元，日内涨幅1.72%；ZRO现报1.738美元，日内涨幅1.70%；TRX现报0.318美元，日内涨幅1.09%；LEO现报9.072美元，日内涨幅1.04%。 此外，日内跌幅排名靠前的几个代币为：RON现报0.180美元，日内跌幅9.07%；ILV现报6.587美元，日内跌幅8.56%；APE现报0.224美元，日内跌幅7.84%；ENJ现报0.0337美元，日内跌幅6.67%；BLUR现报0.0372美元，日内跌幅6.57%。
2 小时前
火讯财经讯，1月18日消息，据TechCabal报道，尼日利亚证券交易委员会（SEC）发布新规，根据新框架，运营交易场所并保障用户数字资产的数字资产交易所和数字资产托管机构，必须维持2亿奈拉（约140万美元）的最低资本要求，高于之前的5亿奈拉。其他类别中，数字资产发行平台（DAOP）及RWA代币化平台最低资本要求为10亿奈拉，数字资产中介及相关服务机构要求在3亿至5亿奈拉不等。新规要求相关机构须在2027年6月30日前达标，否则可能面临暂停或撤销牌照。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
