数据科学每日总结--Day20--区块链

Streamlet

运行机制
  1. 锁步轮次:Streamlet的运行被划分为一个个同步的epoch(例如每个epoch持续1秒),每个epoch都遵循相同的步骤进行,确保所有节点在相同的时间点上执行相同的操作。这种锁步机制有助于保持系统的一致性和同步性。每个epoch的通信延迟是固定的,而每个轮次(round)是epoch的两倍通信延迟

  2. 领导者选举:在每个epoch开始时,通过哈希算法随机选举出一个领导者(leader)。这个领导者负责在该epoch中收集待处理的交易(Tx),并将它们组合成一个区块进行提议(propose)。

  3. 区块提议与验证:领导者提出的区块需要满足一定的条件,即该区块必须是由具有提议权的领导者签名的,并且是在当前round中提出的。其他节点在接收到提议的区块后,会进行验证。

  4. 投票与已证链:如果提议的区块扩展了最长的已证链(即该区块的父区块是已证链的最后一个区块),则节点会对该区块进行投票。一个区块在接收到至少2N/3(N为节点总数)的投票后,就被认为是已证的。已证链是由所有已证的区块组成的链

  5. 消息广播:所有节点都会重新广播它们听到的所有消息,这有助于确保信息的传播和共识的达成

  6. 无冲突投票:节点不会对处于同一高度的冲突区块进行投票,这有助于避免分叉和保持链的一致性

确认规则

在Streamlet中,确认一个区块并不是在其被公证(notarized)后立即进行,因为这样做并不安全。为了确保安全性,Streamlet采用了一种更为谨慎的确认规则。

  1. 公证:

  2. 在Streamlet中,一个区块在接收到至少2N/3(N为节点总数)的投票后被认为是已公证的

  3. 公证是区块被确认前的一个重要步骤,它确保了区块在网络中得到了一定程度的认可

  4. 确认延迟:

  5. 尽管一个区块可能已经被公证,但Streamlet并不会立即确认它

  6. 相反,Streamlet会等待一段时间,以确保没有其他潜在的冲突区块出现

  7. 这种确认延迟有助于防止由于网络延迟或拜占庭节点导致的潜在安全问题

  8. 确认规则:

  9. 在Streamlet中,一个区块的确认是基于其是否扩展了最长的已公证链

  10. 如果一个区块是已公证的,并且它扩展了最长的已公证链,那么它将被确认为有效区块

  11. 确认后的区块将成为区块链的一部分,并且不可被更改或撤销

例如,在Streamlet中,当一个玩家(或节点)观察到在已公证的区块链上存在三个具有连续轮次编号的相邻区块时,该玩家可以确认这三个区块中的第二个区块,以及该区块之前的整个前缀链,以下是解释与推理:

  1. 连续轮次编号:

  2. Streamlet的运行被划分为一系列同步的epoch(例如,每个epoch持续1秒)

  3. 在每个epoch中,都会有一个由哈希算法随机分配的leader,该leader负责发布(propose)一个新的区块给其他replica节点进行投票(vote)

  4. 因此,具有连续轮次编号的区块意味着它们是在连续的epoch中被创建和公证的

  5. 已公证区块链:

  6. 在Streamlet中,一个区块只有在接收到至少2N/3(N为节点总数)的投票后才被认为是已公证的

  7. 已公证的区块链是由一系列已公证的区块组成的链,这些区块按照它们被创建的顺序排列

  8. 确认规则的应用:

  9. 当玩家观察到三个具有连续轮次编号的相邻已公证区块时,可以推断出这三个区块是在没有分叉的情况下被连续创建的

  10. 在这种情况下,第二个区块(以及它之前的所有区块)都已经被足够多的节点验证和确认,因此可以被视为是安全的

  11. 一旦第二个区块被确认,它的整个前缀链(即它之前的所有区块)也都被间接地确认了

活性

在Streamlet中,活性是通过一系列同步的epoch(轮次)来保证的,每个epoch都会有一个由哈希算法随机分配的leader。当网络条件良好时,如果连续五个epoch的leader都是诚实的(即它们遵循协议规则并诚实地提出新区块),那么Streamlet就能够在这五个epoch内取得进展,以下是解释与推理:

  1. 诚实的leader:在Streamlet中,一个诚实的leader是指在其负责的epoch内,它会按照协议规则提出一个新的区块,并诚实地与其他replica节点交互,以确保该区块能够被正确地公证和确认

  2. 连续五个epoch:当连续五个epoch的leader都是诚实的时,这些leader会依次提出五个新的区块,并且这些区块都有可能会被其他replica节点接收到并投票公证

  3. 网络条件良好:良好的网络条件意味着这些诚实的leader提出的区块能够迅速地被其他replica节点接收到,并且这些节点之间的通信是可靠的,没有过多的延迟或丢包

  4. 取得进展:在连续五个诚实的leader提出区块,并且这些区块都被其他replica节点接收到并公证的情况下,Streamlet会取得进展。具体来说,这些区块中的第三个区块(以及它之前的两个区块,如果它们还没有被确认的话)很可能会在随后的epoch中被确认为有效区块

Defi

  • 定义:是基于区块链技术、在去中心化网络上运行的金融服务体系,旨在使用智能合约替代传统金融机构(银行、证券公司等)的中介角色,让用户直接进行金融活动,它的特点是开放、透明、无需许可,任何人都可以访问并使用。

  • 核心特征

    • 去中心化:无需依赖单一机构,所有交易和合约都由区块链上的节点共同维护

    • 无需许可:任何人只需要一个区块链钱包,就能参与

    • 透明可验证:所有交易记录与合约规则公开在链上,可被任意验证

    • 可组合性:不同 DeFi 协议可以像"乐高"一样互相组合,形成新的金融产品

  • 主要应用领域:

    • 去中心化交易所:Token兑换、流动性提供

    • 借贷平台:去中心化借贷、抵押

    • 稳定币:提供价格稳定的加密货币

    • 衍生品协议:期权、期货等

    • 资产管理:智能投资组合、收益聚合

    • 保险协议:保障智能合约或资产风险

  • 优势:

    • 全球可访问

    • 降低交易成本

    • 自动化、全天候运行

  • 风险:

    • 智能合约漏洞

    • 价格波动和清算风险

    • 流动性不足

    • 政策与监管不确定性

相关推荐
mit6.8246 小时前
[AI tradingOS] 市场数据系统 | 多交易所交易接口 | 适配器模式
人工智能·区块链
Less^_^7 小时前
DeFi 协议分析:Hyperliquid 一个去中心化的永续合约交易平台
web3·去中心化·区块链·defi
虫洞没有虫9 小时前
Go语言学习笔记(一)
笔记·go·区块链
taxunjishu11 小时前
Modbus RTU 转 Modbus TCP:物联网网关实现中药产线巴赫曼与三菱PLC互联
人工智能·物联网·tcp/ip·区块链·工业自动化
Web3VentureView13 小时前
Synbo Protocol 受邀出席ETHShanghai 2025,以共识机制重构链上融资生态
金融·web3·去中心化·区块链
Less^_^1 天前
DeFi 协议分析:Sky Protocol 基础设施协议
web3·区块链·defi
孙12~1 天前
两台虚拟机搭建多机区块链网络
linux·ubuntu·区块链·学习方法
mit6.8241 天前
[AI tradingOS] AI自动交易器 | 绩效追踪与日志
人工智能·区块链
MicroTech20252 天前
微算法科技(NASDAQ MLGO)开发基于优先级的区块链交易打包算法,提高云边协同计算环境下的交易效率
科技·区块链