06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，9月18日消息，据官方消息，币安Alpha将在9月19日上线ArkofPanda(AOP)。符合条件的用户可于Alpha交易开放后，前往Alpha活动页面使用币安Alpha积分领取空投。具体详情将另行公布。
16 分钟前
火讯财经讯，9月18日消息，Sui生态AI项目DeAgentAI宣布已更新其官方白皮书至V2版本。 据介绍，新版白皮书主要新增了“代币经济学”与“质押机制”。代币经济学部分详细说明了$AIA的核心功能、价值捕获模型、代币分配比例及详细的释放规则。质押机制章节则阐述了$AIA的价值以及质押玩法。 此外，白皮书还公布了由多家机构出具的、针对代币合约与跨链桥等核心组件的安全审计报告。
46 分钟前
火讯财经讯，9月18日消息，据DLNews报道，DeFi借贷协议Compound社区以近70%的反对票否决了一项追回1300万美元代币的提案。这些代币于2024年8月通过“代表竞赛”计划分配给DAO代表，旨在提升治理参与度。 提案方指控该分配方案滥用财库资金，仅使内部人士受益。巨鲸“Humpy”动用价值300万美元的COMP代币支持追回。但受益代表PGov、AranaDigital等联合否决了提案。匿名代表透露，当前分配方案能有效防止像“Humpy”这样的巨鲸实施“DAO控制”——即通过积累治理权操纵投票结果。
1 小时前
火讯财经讯，9月18日消息，据Decrypt报道，一篇新的学术论文指出，预测市场平台Polymarket存在系统性定价偏差，套利者1年内从中获利超4000万美元。这份题为《解开概率森林：预测市场中的套利机会》的论文分析了2024年4月至2025年4月数据，发现超过7000个市场存在定价错误。研究指出两种主要套利模式：一是同一市场中“是/否”份额价格之和偏离1美元的理论值；二是逻辑关联市场（如“特朗普胜选”与“共和党胜选”）出现概率悖离。通过同时买卖关联合约，交易者可实现无风险收益。尽管套利活动最终会使市场价格回归有效，但研究表明定价偏差可能持续数小时。这种现象不仅存在于Polymarket，也出现在Kalshi等受监管平台。
1 小时前
火讯财经讯，9月18日消息，根据SoSoValue数据，昨日（美东时间9月17日）以太坊现货ETF总净流出188.98万美元。 昨日单日净流入最多的以太坊现货ETF为贝莱德（Blackrock）ETFETHA，单日净流入为2586.36万美元，目前ETHA历史总净流入达132.55亿美元。 其次为灰度（Grayscale）以太坊迷你信托ETFETH，单日净流入为638.20万美元，目前ETH历史总净流入达14.31亿美元。 昨日单日净流出最多的以太坊现货ETF为富达（Fidelity）ETFFETH，单日净流出为2918.92万美元，目前FETH历史总净流入达27.68亿美元。 截至发稿前，以太坊现货ETF总资产净值为297.19亿美元，ETF净资产比率（市值较以太坊总市值占比）达5.47%，历史累计净流入已达136.59亿美元。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
