06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月16日消息，根据SoSoValue数据，昨日（美东时间1月15日）Solana现货ETF总净流入894万美元。 昨日（美东时间1月15日）净流入最多的现货SOLETF为GrayscaleSOLETFGSOL，单日净流入489万美元，历史总净流入达1.21亿美元。 其次为BitwiseSOLETFBSOL，单日净流入281万美元，历史总净流入达6.80亿美元。 截至发稿前，Solana现货ETF总资产净值为11.9亿美元，Solana净资产比率1.49%，历史累计净流入已达8.66亿美元。
20 分钟前
火讯财经讯，1月16日消息，据Cointelegraph报道，美国西弗吉尼亚州参议员ChrisRose周三向该州议会已提交一项法案，提议修改该州法典，允许州财政委员会将最多10%的资金投资于贵金属、特定数字资产和稳定币。 根据这项名为《通胀保护法案》的提案，州财政部可投资于贵金属、上一年度市值超过7500亿美元的数字资产（按目前标准仅比特币符合）以及已获得美国政府或州政府监管批准的稳定币。法案规定，所购数字资产可由合格托管人持有，或通过交易所交易产品及安全托管解决方案进行管理。若法案通过，西弗吉尼亚州将成为继得克萨斯、亚利桑那和新罕布什尔之后，又一个允许州级持有加密资产的地区。目前该法案已提交至银行与保险委员会审议。
20 分钟前
火讯财经讯，1月16日消息，据加密KOL“vasucrypto”监测，与Kaito团队关联的0x049A开头地址于7天前向币安转移了500万枚KAITO，可能用于出售。 对此，另一位加密KOL“加密无畏”评论称：“Kaito团队提前7天出货超500万美元代币，团队与推特沟通取消API过程中，提早知道了利空出货。此外，Kaito质押的解锁也在这几天迎来了高峰。关于团队提前知晓消息，这一点在Kaito创始人YuHu的公告中也有提到，其与推特进行了沟通。” 此前消息，Kaito将逐步下线Yaps和激励排行榜，并推出KaitoStudio。
20 分钟前
火讯财经讯，1月16日消息，据Cointelegraph报道，美国银行（BankofAmerica）首席执行官BrianMoynihan在财报电话会议中警告称，若允许发行方支付利息，计息稳定币可能从美国银行系统吸走高达6万亿美元存款。 Moynihan援引美国财政部引用的研究指出，大量银行存款可能因此类产品而转向稳定币。他表示，这类产品运作模式将更接近货币市场共同基金，资金将存放于现金、央行准备金或短期国债中，而非用于放贷。他认为，这种存款迁移将使银行存款规模收缩，从而削弱信贷供给能力，尤其会严重影响更依赖银行贷款而非资本市场的中小型企业，并可能推高整体借贷成本。
20 分钟前
火讯财经讯，1月16日消息，根据SoSoValue数据，昨日（美东时间1月15日）XRP现货ETF总净流入1706万美元。 昨日（美东时间1月15日）净流入最多的现货XRPETF为GrayscaleXRPETFGXRP，单日净流入720万美元，历史总净流入达2.87亿美元。其次为BitwiseXRPETFXRP，单日净流入716万美元，历史总净流入达3.10亿美元。 截至发稿前，XRP现货ETF总资产净值为15.1亿美元，XRP净资产比率1.21%，历史累计净流入已达12.7亿美元。
50 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
