超级链共识矩阵 10.4. 超级链共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

超级链共识矩阵 10.4. 超级链共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

超级链共识矩阵 10.4. 超级链共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

超级链共识矩阵 10.4. 超级链共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

10.4. XuperChain 共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 i0; 10 } 11 /* export: '_add' */ 12 u32 (*export__add)(wasm_rt_handle_t*, u32, u32); 13 14 static void init_exports(wasm_rt_handle_t* h) { 15 /* export: '_add' */ 16 export__add = (&_add); 17 } 1 typedef struct { 2 void* user_ctx; 3 wasm_rt_gas_t gas; 4 u32 g0; 5 uint32_t call_stack_depth; 6 }wasm_rt_handle_t; 7 8 9 void* new_handle(void* user_ctx) { 10 wasm_rt_handle_t*

超级链共识矩阵 10.4. 超级链共识主流程 10.5. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. XPoA共识 13.1. 介绍 13.2. 技术细节 13.3. 整体代码 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

超级链共识框架概览 10.3. 超级链共识主流程 10.4. 接口介绍 11. Chained-BFT共识公共组件 11.1. 概述 11.2. 核心数据结构 11.3. Smr 11.4. Safety Rule 11.5. PacemakerInterface 12. XPoS共识 12.1. 介绍 13. Single及PoW共识 13.1. 介绍 13.2. 算法流程 13.3 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 3.3.2. 11 12 13 14 15 16 typedef struct { void* user_ctx; wasm_rt_gas_t gas; u32 g0; uint32_t call_stack_depth; }wasm_rt_handle_t; void* new_handle(void* user_ctx) { wasm_rt_handle_t* h = (*g_rt_ops

维护节点链的chained-bft共识状态机； 2. 在外层共识的驱动下发起 NewView 和 NewProposal 等消息并更新本地状 态； 3. 处理其他验证节点的消息并更新本地状态； Safety Rule Safety Rule 是一个验证节点是否要接受一个新的Proposal的安全性规则，主要 有三条： 1. 判断当前Proposal的View值是否大于本地locked Proposal的View值； 验证当前Proposal的ProposalMsg是否有效； 当一个验证节点收到一个新的提案时，如果满足上述 Safety Rule 的认证， 则会给这个提案进行投票，否则拒绝这次提案。 PacemakerInterface Hotstuff算法的一大特点就是将共识的liveness和safety分开。 PacemakerInterface是Hotstuff算法Pacemaker的接口定义，外层共识通过实现 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 加载运行

维护节点链的chained-bft共识状态机； 2. 在外层共识的驱动下发起 NewView 和 NewProposal 等消息并更新本地状 态； 3. 处理其他验证节点的消息并更新本地状态； Safety Rule Safety Rule 是一个验证节点是否要接受一个新的Proposal的安全性规则，主要 有三条： 1. 判断当前Proposal的View值是否大于本地locked Proposal的View值； 验证当前Proposal的ProposalMsg是否有效； 当一个验证节点收到一个新的提案时，如果满足上述 Safety Rule 的认证， 则会给这个提案进行投票，否则拒绝这次提案。 PacemakerInterface Hotstuff算法的一大特点就是将共识的liveness和safety分开。 PacemakerInterface是Hotstuff算法Pacemaker的接口定义，外层共识通过实现 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 加载运行

维护节点链的chained-bft共识状态机； 2. 在外层共识的驱动下发起 NewView 和 NewProposal 等消息并更新本地状 态； 3. 处理其他验证节点的消息并更新本地状态； Safety Rule Safety Rule 是一个验证节点是否要接受一个新的Proposal的安全性规则，主要 有三条： 1. 判断当前Proposal的View值是否大于本地locked Proposal的View值； 验证当前Proposal的ProposalMsg是否有效； 当一个验证节点收到一个新的提案时，如果满足上述 Safety Rule 的认证， 则会给这个提案进行投票，否则拒绝这次提案。 PacemakerInterface Hotstuff算法的一大特点就是将共识的liveness和safety分开。 PacemakerInterface是Hotstuff算法Pacemaker的接口定义，外层共识通过实现 FUNC_EPILOGUE; return i0; } /* export: '_add' */ u32 (*export__add)(wasm_rt_handle_t*, u32, u32); static void init_exports(wasm_rt_handle_t* h) { /* export: '_add' */ export__add = (&_add); } 加载运行