06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月19日消息，借贷平台HyperLend公布HPL代币经济模型分配，30.14%用于生态系统增长与激励，25%用于创世分配，22.5%归属核心贡献者，17.36%分配给战略投资者，5%预留作流动性。协议迄今已完成170万美元融资，投资者包括RockawayX、NoLimitHoldings、Nucleus、DuplicateCapital、Dumpster等。战略投资者在代币发行(TGE)时获得10%的股权，之后有4个月的锁定期，剩余份额将在2年内逐步解锁。质押与锁仓功能将于代币生成事件后不久启动，返利将来自储备因子并根据参与情况分配。团队强调HPL尚未正式上线，提醒用户仅信任官方渠道发布的信息。
2 小时前
火讯财经讯，1月20日消息，据Lookonchain监测，疑似某巨鲸正在抛售1.3万枚ETH（价值4,175万美元）。GalaxyDigital的OTC钱包刚刚转出1.3万枚ETH（价值4,175万美元），并已将其中6,500枚ETH（价值2,089万美元）存入币安、Bybit和OKX交易所。
2 小时前
火讯财经讯，1月19日消息，据Lookonchain监测，一个内部人士钱包（AG2GXk开头地址）在ZReaL代币上将285美元变成了62.7万美元，实现了2,200倍的回报。该钱包仅花费285美元买入6,630万枚ZReaL，随后通过四个钱包卖出1,998万枚ZReaL，获得21万美元，目前仍持有4,630万枚ZReaL（价值41.7万美元）。
2 小时前
火讯财经讯，1月19日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓8.08亿美元，其中多单爆仓7.34亿美元，空单爆仓7358.25万美元。BTC爆仓总金额2.17亿美元，ETH爆仓总金额1.38亿美元。
3 小时前
火讯财经讯，1月19日消息，据彭博社报道，英国金融科技公司Revolut已向秘鲁申请全面银行牌照，以扩大其在拉丁美洲的业务，并与该地区的主要金融科技公司展开竞争。公司表示，该牌照将使Revolut能够为秘鲁用户提供一系列本地化的产品与服务，增强用户对其财务的控制力。 秘鲁是Revolut在拉美进入的第五个国家，此前公司已在墨西哥获得银行牌照，在哥伦比亚获批设立银行，在阿根廷收购了一家银行，并在巴西持有信贷牌照。
3 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
