06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月31日消息，据BitcoinMagazine报道，田纳西州众议员JodyBarrett提出了一项法案，旨在创建“田纳西战略比特币储备”。
4 分钟前
火讯财经讯，1月31日消息，根据SoSoValue数据，昨日（美东时间1月30日）以太坊现货ETF总净流出2.53亿美元。 昨日单日净流出最多的以太坊现货ETF为贝莱德（Blackrock）ETFETHA，单日净流出为1.57亿美元，目前ETHA历史总净流入达122.42亿美元。 其次为富达（Fidelity）ETFFETH，单日净流出为9571.20万美元，目前FETH历史总净流入达25.74亿美元。 截至发稿前，以太坊现货ETF总资产净值为158.57亿美元，ETF净资产比率（市值较以太坊总市值占比）达4.9%，历史累计净流入已达119.75亿美元。
4 分钟前
火讯财经讯，1月31日消息，根据SoSoValue数据，昨日（美东时间1月30日）比特币现货ETF总净流出5.10亿美元。 昨日单日净流入最多的比特币现货ETF为ArkInvest和21Shares的ETFARKB，单日净流入为834.34万美元，目前ARKB历史总净流入达14.83亿美元。 其次为富达(Fidelity）ETFFBTC，单日净流入为729.92万美元，目前FBTC历史总净流入达112.73亿美元。 昨日单日净流出最多的比特币现货ETF为贝莱德(Blackrock）ETFIBIT，单日净流出为5.28亿美元，目前IBIT历史总净流入达619.56亿美元。 截至发稿前，比特币现货ETF总资产净值为1069.60亿美元，ETF净资产比率（市值较比特币总市值占比）达6.38%，历史累计净流入已达550.07亿美元。
4 分钟前
火讯财经讯，1月31日消息，Jupiter宣布推出无需许可即可在Solana上交易所有资产的借贷市场JupiterOfferbook。JupiterOfferbook支持基于时间的P2P贷款，无需基于价格的清算。用户可以使用代币、RWA、NFT等资产进行借贷。
4 分钟前
火讯财经讯，1月31日消息，据央视新闻，当地时间1月31日凌晨，美国联邦政府多个部门运转资金耗尽。由于新的预算尚未通过，美国政府多个部门又陷入“停摆”。此时距离去年美国史上最长的43天政府“停摆”结束尚不足3个月，而即使目前正在国会表决的新预算能顺利通过，个别部门也只是获得了两周的拨款。也就是说，半个月后，美国政府可能又要陷入短期内第三次“停摆”。
4 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
