06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月24日消息，现货白银日内涨幅扩大至0.7%，首次站上72美元/盎司关口，今年累涨超43美元。
5 分钟前
火讯财经讯，12月24日消息，据彭博社报道，Crypto.com正在招聘一名量化交易员，在其体育类预测市场上进行做市操作，与客户对手盘交易。该岗位目标为“在控制风险的同时最大化利润”。虽然Crypto.com强调其内部做市团队不享有客户数据优势，但其为做市商提供3秒抢先交易窗口的规则，引发外界对其与传统博彩平台相似性及潜在利益冲突的担忧。
5 分钟前
火讯财经讯，12月24日消息，俄罗斯央行发布加密货币市场监管概念草案，拟允许合格与非合格投资者在规定下投资加密资产。非合格投资者经测试后每年最多可通过一个中介购买30万卢布（约合3800美元）以内的高流动性加密货币；合格投资者经风险测试后可不限量投资除匿名币外的任何加密货币。概念还提出加密交易将通过现有持牌机构进行，相关立法拟于2026年7月前完成，2027年7月起对非法中介施加法律责任。 昨晚曾报道，俄罗斯央行拟放宽加密货币投资限制。
35 分钟前
火讯财经讯，12月24日消息，据Lookonchain统计，TomLee旗下的Bitmine在过去24小时内再次购入67,886枚ETH，价值约2.01亿美元。
35 分钟前
火讯财经讯，12月24日消息，现货黄金首次涨破4500美元/盎司关口，今年累涨超1870美元。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
