06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，3月2日消息，据Bitcoin.com报道，南非税务局SARS自3月1日起启用加密资产报告框架（CARF）并扩展自动信息交换（AEOI）规则，要求本国crypto资产服务商按国际标准上报详细交易数据，并与逾120个司法辖区进行账户信息自动交换。监管机构将通过模式识别和数据匹配比对纳税申报与链上、境外交易记录，从被动依赖自愿披露转向主动、数据驱动稽查。税务专家称，利用多钱包、境外交易所和离岸结构规避税务监管的“隐身空间”基本消失，持有未申报数字资产或离岸财富的纳税人面临更高定向审计风险，建议通过自愿披露项目（VDP）主动合规。
14 分钟前
火讯财经讯，3月2日消息，据Binance公告，币安于2026-03-0316:00(UTC+8)开放BNB/USD、ETH/USD、SOL/USD现货交易；同一时间上线这些交易对的SpotAlgoOrders交易机器人，并为BTC/U开放现货网格交易和现货定投。受地区合规限制，加拿大、美国及其属地、荷兰、伊朗等地区用户目前不可交易上述现货交易对。
14 分钟前
火讯财经讯，3月2日消息，当地时间3月2日，在相关区域受伊朗袭击波及后，美国驻科威特大使馆已关闭。
44 分钟前
火讯财经讯，3月2日消息，伊朗革命卫队通过短信警告民众不要举行抗议活动。
1 小时前
火讯财经讯，3月2日消息，去中心化预测市场平台Opinion正式上线OPN代币空投查询及申领网站Opinion.foundation，用户现可通过该网站查看自身在S1赛季的空投分配情况。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
