06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，3月4日消息，据DLNews报道，巴西央行发布新规，要求持牌加密交易平台自2027年1月1日起每日提交报告，证明有足够资金应对黑客攻击等风险，并按照商业银行标准执行数据保护与保密义务。新规还要求交易所将自有法币与加密资产账户和客户资产账户完全分离，并按照专门会计手册将加密资产计入资产负债表。此外，监管机构将对跨境转账设置限制和审核，提高链上资金流向可追踪性，以遏制利用加密资产进行洗钱、逃税和资助犯罪活动。
1 小时前
火讯财经讯，3月3日消息，预测市场平台Kalshi宣布与奢侈手表交易平台Bezel合作，上线可交易Rolex（劳力士）、Omega（欧米茄）、Cartier（卡地亚）、Tudor（帝舵）等知名腕表价格走势的合约。
1 小时前
火讯财经讯，3月3日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓3.23亿美元，其中多单爆仓2.15亿美元，空单爆仓1.09亿美元。BTC爆仓总金额1.23亿美元，ETH爆仓总金额6289.89万美元。
1 小时前
火讯财经讯，3月3日消息，据Politico：美国总统特朗普称伊朗的“发射装置正在耗尽”。
1 小时前
火讯财经讯，3月3日消息，据CoinDesk报道，美国商品期货交易委员会（CFTC）主席MikeSelig表示，该机构将在未来数周内发布政策，为加密永续合约在美国合规落地提供指引，并推动“专业级”永续期货在美推出。他称上一届政府的监管态度将大量流动性和业务推向离岸，当前正通过与美国证券交易委员会（SEC）合作的“ProjectCrypto”推进统一路径。Selig还透露，CFTC将对DeFi开发者监管方式及预测市场（如Polymarket、Kalshi）发布“近期”指引，并着手通过正式规则制定程序赋予相关监管立场更长期的法律基础。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
