06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，11月8日消息，欧易OKX行情显示，ETH刚刚突破2900美元，现报2900.75美元/枚，日内涨幅1.86%。
1 小时前
火讯财经讯，11月8日消息，欧易OKX行情显示，BTC刚刚突破76000美元，现报76056.70美元/枚，日内涨幅2.36%。
5 小时前
火讯财经讯，11月7日消息，据TheBlock报道，曾帮助协调发布以太坊的技术专家VinayGupta表示，他正寻求向当选总统唐纳德·特朗普的过渡团队推行理智的加密政策。此外，受到特朗普在选举日取得压倒性胜利的部分启发，Gupta正考虑将自己和他在英国的区块链公司Mattereum的团队迁往美国。他补充道：“我们计划很快将人员（包括我）调往华盛顿特区，以帮助美国的加密货币转型。”VinayGupta说，他的计划的一部分包括复制他在英国帮助制定的一些政策，包括最近提出的议会法案，该法案试图将加密资产正式定义为财产，以及成功推动该国将智能合约承认为“实际合约”。
5 小时前
火讯财经讯，11月7日消息，Coinbase国际站在X平台发文宣布，Coinbase国际站和CoinbaseAdvanced将新增对Raydium永续期货合约的支持，RAY-PERP市场预计将于北京时间2024年11月14日17:30或之后开放。
5 小时前
火讯财经讯，11月7日消息，Greeks.live宏观研究员Adam在X平台发文称，大选行情迅速降温，尽管比特币和以太坊涨势都很强势，加密市场情绪乐观，但是期权市场正在明显的获利平仓，结束大选博弈。BTC末日期权已经跌破50%，各主要期限IV也有明显下降，ETH得益于今天的大涨，回落幅度低于BTC。 大户已经开始布局年底行情甚至是明年的春季行情，今天BTC大宗交易成交12亿，ETH大宗交易成交6亿，都是以卖权为主，这也是今天IV大降的主要动力，近几天的大宗交易值得关注，巨鲸们开始行动了。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
