06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，5月18日消息，Vitalik在X平台表示，即使部分人士对以太坊协议或生态系统中的一些事情有非常负面的看法，以太坊也没有任何试图阻止说出自己想法的文化。有些人把“开放话语”的理想当作一面旗帜，有些人则对此十分重视。
7 分钟前
火讯财经讯，5月18日消息，据TheDataNerd监测，12小时前，巨鲸0xBf1刚刚从Coinbase中提取了9.35万枚AVAX(约合341万美元)。上个月，他从Coinbase中提取了15.25万枚AVAX(约合782万美元)。他的钱包里总计有24.6万枚AVAX（约920万美元），未实现损失约206万美元。
37 分钟前
火讯财经讯，5月18日消息，据官方消息，Websea即将推出Launchpad项目MetaHeaven（MEHG），为WBS平台币持有者提供独家参与机会。 此次活动将根据用户在2024年5月19日至23日期间的WBS平均持仓量，来确定用户可投入的最大额度；最低起投额为10WBS，个人硬顶为50,000MEHG，兑换比例为1MEGH=0.01USDT；代币分配结果将于2024年5月24日18:00（GMT+8）公布，并从用户锁仓的WBS余额中扣除相应的WBS。WBS扣除成功之后，MEHG代币及剩余WBS将发放至用户的现货钱包。 据了解，MetaHeaven作为WebSeaLabs孵化的第一款Web3游戏，拥有自给自足的游戏内循环市场，及健康经济模型。MEHG是MetaHeaven的实用代币,可用于购买游戏内道具。
52 分钟前
火讯财经讯，5月18日消息，TetherCEOPaoloArdoino在X平台表示，Tether可能会投入大量资源构建基于Holepunch技术的P2P金融市场终端。当人类享受摆脱支付垄断中介的乐趣时，也可以在金融市场数据基础设施中享受同样的结果。世界上任何一家交易所都会最大限度地利用自己的数据获取收入，同时直接控制其使用情况。这种变化将使金融市场更具弹性，世界也可能变得更加美好。 此前消息，Tether、Bitfinex及Holepunch已向Web3开发平台Holepunch投入1000万美元。
1 小时前
火讯财经讯，5月18日消息，据Arkham监测，昨晚有人误将其持有的90%BTC发送给了中本聪(SatoshiNakamoto)。他们试图销毁一个ordinal来换取Pups，但却意外地把几乎整个钱包余额也转出去了，大约7,000美元的BTC。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
