06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，11月28日消息，欧易OKX行情显示，BTC刚刚突破91000美元，现报91017.30美元/枚，日内涨幅0.06%。
4 小时前
火讯财经讯，11月27日消息，荷兰比特币平台Blockrise宣布获荷兰金融市场管理局（AFM）依据欧盟MiCAR授权，可在欧洲提供比特币相关服务。Blockrise为“Bitcoin‑only”平台，将向企业客户推出以比特币作抵押的贷款，起贷额2万欧元，客户保留抵押BTC所有权，且不被再质押。公司此前获200万欧元种子轮融资，现计划发起1500万欧元A轮，以扩张欧盟市场与信贷业务。
5 小时前
火讯财经讯，11月27日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓2.75亿美元，其中多单爆仓5927.55万美元，空单爆仓2.15亿美元。BTC爆仓总金额1.20亿美元，ETH爆仓总金额4013.03万美元。
5 小时前
火讯财经讯，11月27日消息，英国财政大臣里夫斯在周三发布的《秋季财政声明》中，未进一步提高去年已影响加密货币投资者的资本利得税税率。双子座(Gemini)英国合规主管AzariahNukajam对这一决定表示欢迎。“很高兴看到加密货币不会被征新税，这意味着加密货币正被视为与其他资产类别同等的存在，确保其长期成为可行的另类投资选择，”她表示。不过，Nukajam指出，英国近期的立法和监管公告(如《成文法文件草案》中针对加密货币公司的拟议新规)，再加上此次预算案声明，表明“更严格、更接近‘传统金融’模式的监管以及税务透明度要求将按计划推进”。
5 小时前
火讯财经讯，11月27日消息，PictetAssetManagement策略师LucaPaolini表示，随着经济增长放缓为美联储进一步降息铺平道路，美元明年将面临新一轮疲软。他指出，美元的利率差正在显著收窄。“我们预计美国经济会变得稍微疲软，这将使通胀压力慢慢消失。”相对而言，世界其他地区的经济增长可能会改善，尤其是欧洲和日本。除此之外，美元估值仍显偏高。Pictet预计，到2026年底，美元指数将从目前的99.55附近跌至95。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
