梳理思路，设计方案

模型定义

定义方案需要满足的性质
- 安全性
  - 链增长
  - 链质量
  - 公共前缀
定义编辑操作的正确性：不被通过的编辑请求是恶意的，即投票通过的编辑是合法的；具体表现包括
- 不修改金融数据
- [LMW23]定义的编辑正确性：An honest block modified by the adversary without the approval of the committee is malicious.
腐化模型：t-温和敌手：是指敌手腐化一个节点需要一定的时间来完成. 敌手发布对目标节点的腐化指令, 经过t时间后, 目标节点被腐化, 受到敌手的控制, 成为恶意节点. 在实施腐化的t 时间内, 节点仍然属于诚实节点. 温和敌手是区块链协议分析中经常采用的腐化模型.
敌手模型：$n=2f+1$
- [JCH22]的方案要求门限值$t>n/4$
- [LMW23]如何确定委员会大小n，如何选举第一个委员会的成员（pow）

为什么要设计委员会
- 委员会成员进行变色龙哈希函数的密钥生成（√）
- 收集编辑请求，同意之后发出编辑的交易（√）
- 委员会内选举领导者，执行编辑（√）
- 委员会的大小，先定死
委员会内投票还是所有节点参与投票
- 委员会内投票：需要考虑委员会成员的安全性
- 所有节点投票，投票周期长，更加公平，超过门限就可以（√）
  - 门限是否设置为50%，保证安全性但是可能没有这么多节点在线

协议流程

委员会大小$t$

计算PoW $H(ini_ran|PK|IP|nonce)\leq 2^{-D}$，D是困难系数

委员会内领导者选举采用VRF

暂定使用JCH22的方案

任何节点$P_i$想要修改区块$B_j$内的第$k$个交易，正常发起交易（上链后才能编辑），支付交易费和保证金

委员会节点打包交易发现有编辑交易后，在委员会内部发送编辑请求$req=(height,last_hash’,addr_{tx},tx,m_root,seq)$

委员会节点向所有全节点广播编辑请求，同意编辑的全节点向委员会返回$(ID(P_i),sig(P_i,seq),seq)$

委员会收集投票总数sum，$sum>0.5n$且$sum>t$则恢复密钥，执行编辑

领导者生成区块$B_j$编辑后的区块$B^\star_j$，头部修改为$(prev_hash,last_hash’,acc)$，acc是更新后RSA累加器的值

验证出块者是否在委员会内，是否为领导者

检查是否为合法区块

更新，类似于定期执行$(t,n)\to(t’,n’)$秘密分享