06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月23日消息，特朗普家族关联的WorldLibertyFinancial与Spacecoin达成战略合作并进行代币互换，拟将DeFi与卫星互联网结合，用于偏远地区支付、结算等；加密卫星初创公司Spacecoin以低轨卫星提供“无许可”上网，WLFi将以USD1稳定币(市值约32亿美元)及借贷服务配套。Spacecoin称已发射3颗低轨卫星，WLFi将以合规DeFi工具支持在线用户交易。
2 分钟前
火讯财经讯，1月23日消息，加密托管公司BitGo(BTGO)IPO定价18美元，首日股价一度涨约20%，盘中估值最高约26亿美元；公司及股东合计售出1180万股募资约2.13亿美元，并披露2025年前三季度盈利3500万美元、托管资产约1040亿美元。
2 分钟前
火讯财经讯，1月23日消息，据第一财经报道，TikTok发布公告称，已成立TikTok美国数据安全合资有限责任公司（TikTokUSDSJointVentureLLC）。该合资公司将负责TikTok美国的数据保护、算法安全、内容审核及软件保障。公告提到，TikTok美国数据安全合资公司中，甲⻣⽂、银湖资本、MGX各持股15%。其他投资⽅包括海纳国际集团关联企业Vastmere战略投资有限责任公司、AlphaWavePartners等多家企业。其中，字节跳动保留19.9%的股份，仍为合资公司最大单一股东。合资公司还将由一个七人组成的董事会管理，董事会成员包括TikTokCEO周受资等。
2 分钟前
火讯财经讯，1月23日消息，据央视报道，美国总统特朗普在空军一号上发表讲话时表示，他的政府正在密切关注伊朗。他警告称，美国有一支“庞大的舰队”正朝伊朗驶来。当被记者问到对伊朗加征的“二级关税”时，他表示，美国政府将对所有与伊朗进行贸易往来的国家加征25%的关税，这项措施很快就会生效。特朗普所谓“二级关税”并非专业术语，实质上是一种货币制裁手段，施加于那些与美国“不待见”国家有贸易往来的国家。
32 分钟前
火讯财经讯，1月23日消息，OnchainLens监测显示，巨鲸地址0xfb7从FalconX再买入20,013枚ETH，约5900万美元；其ETH持仓增至80,115枚，估值约2.3655亿美元。
32 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
