06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，7月3日消息，Bitwise首席投资官MattHougan表示，2025年下半年现货以太坊ETF资金流入可能大幅加速。他指出，仅6月以太坊ETF净流入资金达11.7亿美元，未来随着稳定币、代币化股票等资产迁移到以太坊网络，传统投资者的兴趣有望进一步提升。
25 分钟前
火讯财经讯，7月3日消息，据欧易OKX行情显示，日内涨幅排名靠前的几个代币为：BONK现报0.0000167美元，日内涨幅13.52%；TIA现报1.612美元，日内涨幅10.49%；WIF现报0.930美元，日内涨幅9.45%；ORDI现报8.136美元，日内涨幅8.23%；SATS现报0.0000000407美元，日内涨幅8.18%。此外，日内跌幅排名靠前的几个代币为：BSV现报24.74美元，日内跌幅0.44%。
25 分钟前
火讯财经讯，7月3日消息，据余烬监测，一名持有8年的以太坊鲸鱼在ETH价格接近2600美元时，于9小时前将4123枚ETH（约1051万美元）转入Gemini交易所。这是该地址自2024年以来最大的一笔转账。 该地址在2017年通过Gemini和Kraken以均价约569美元囤积了21662枚ETH。从2024年起，该地址开始陆续将ETH转移至Gemini，但此前多为几十至百枚的小额转账。截至目前，该鲸鱼已累计转入6361枚ETH（约1603万美元），均价约2520美元，完全覆盖其最初的成本1233万美元。 目前，该地址仍持有13538枚ETH（约3494万美元），这些资产已全部转化为利润。
25 分钟前
火讯财经讯，7月3日消息，据《金融时报》报道，PayPal联合创始人PeterThiel及其他科技亿万富翁计划成立一家名为Erebor的银行，专注服务加密货币、人工智能、制造业和国防技术等领域的初创公司。Erebor已向美国货币监理署申请国家银行执照。 该银行旨在填补硅谷银行（SVB）倒闭后留下的市场空缺。据悉，SVB曾为包括BlockFi、Circle和Avalanche在内的加密货币公司及其他风投支持的初创公司提供服务，但于2023年因金融投资失误导致破产。 Erebor由国防技术公司Anduril联合创始人PalmerLuckey牵头创建，并获得Palantir联合创始人JoeLonsdale及Thiel创立的FounderFund支持。两位联合CEO分别为软件公司Argus联合创始人OwenRapaport和前Circle顾问JacobHirshman。Erebor计划将稳定币纳入资产负债表，但尚未明确具体币种。
25 分钟前
火讯财经讯，7月3日消息，据Lookonchain监测，钱包地址3xwRKt近期斥资约160万美元买入市值仅2万美元的小市值代币$Company。与此同时，钱包地址7Hkpf3、719isQ和8mserK则大量抛售$Company，共计套现约160万美元。
25 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
