06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月2日消息，据欧易OKX行情显示，日内涨幅排名靠前的几个代币为：ZRO现报1.249美元，日内涨幅4.17%；ATOM现报2.259美元，日内涨幅3.96%；AAVE现报170.3美元，日内涨幅3.44%；BCH现报531.9美元，日内涨幅3.40%；1INCH现报0.190美元，日内涨幅3.37%。 此外，日内跌幅排名靠前的几个代币为：CORE现报0.100美元，日内跌幅17.11%；COMP现报33.39美元，日内跌幅5.57%；GLM现报0.232美元，日内跌幅3.85%；LDO现报0.557美元，日内跌幅2.48%；APE现报0.235美元，日内跌幅1.87%。
22 分钟前
火讯财经讯，12月2日消息，据OnchainLens报道，一中本聪时代矿工钱包在沉寂逾15年后，转出50BTC（约433万美元）至5个新钱包。
22 分钟前
火讯财经讯，12月2日消息，Upbit交易所宣布将Groestlcoin（GRS）列为交易“交易注意”并暂停入金，适用于GRS/KRW与GRS/BTC。Upbit称依据DAXA联合机制与交易支持审查，GRS在公示、业务实在性与持续性等方面存在不足，可能导致用户受损。警示期为12月2日11:00至12月16日23:59（KST），期间入金不予入账且将按流程返还；审查后或延长、解除或终止交易支持，变更将另行公告。
22 分钟前
火讯财经讯，12月2日消息，据HumidiFi公告，去中心化主动流动性DEXHumidiFi将在12月5日通过Jupiter平台推出原生代币$WET，总供应量10亿枚。预售分配包括：白名单用户6%（面向HumidiFi用户与贡献者）、Jupiter质押者2%、公开预售2%。WET将用于交易返佣与平台激励，用户可质押WET享受手续费减免。该代币通过Jupiter的全新去中心化发行平台DTF进行预售。HumidiFi日交易量超10亿美元，占Solana现货交易量35%以上。
52 分钟前
火讯财经讯，12月2日消息，据OnchainLens监测，一与ParadigmCapital有关联的钱包地址向Coinbase转入6300枚ETH，按当前价格约合1760万美元。
52 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
