wordpress的latex真是难用，下面的公式看起来不容易的话，可以跳到知乎看这个：https://zhuanlan.zhihu.com/p/2003525863535313231 零知识证明（Zero-Knowledge Proof，简称ZKP）是一种神奇的密码学方法，允许一个人（证明者）向另一个人（验证者）证明自己知道某个秘密、或者某个陈述是真的，却完全不透露这个秘密本身的任何信息。它常见的作用有两个： 隐私计算：例如使用zk做登录，只需要输入证明通过验证就可以进行登录，而不用透露密码。   计算…

什么是Hotstuff共识算法 HotStuff也是一种基于拜占庭容错（BFT） 的区块链共识算法，由VMware Research团队于2019年提出，后成为Libra 区块链的核心共识协议。其核心创新在于通过线性视图切换（Linear View Change） 和门限签名（Threshold Signatures） 实现高效流水线化处理，大幅降低传统BFT算法的通信复杂度。 这里主要有两个关键的优化点： 引入了门限签名减少通信复杂度。门限签名：允许一组参与者合作生成一个有效的数字签名，但只要达到预定的门限数量（…

多项式的表达有两种方式：点值表达与系数表达，例如：对于多项式 \(f(x)=x^3-2x^2+1\)，使用系数表达就是\([1,-2,0,1]\)，每一项对应相应幂次的系数。其点值表达可以表示为\([(1,0),(2,1),(3,10),(4,33)]\)，这些点是\(f(x)\)在点\(1,2,3,4\)处的取值。 多项式插值的基本定理指出，对于\(n+1\)个互不相同的点\((x_0, y_0), (x_1, y_1), \ldots, (x_n, y_n)\)，存在唯一 一个次数不超过\(n\) 的多项式 \…

  前言 在传统的以太坊生态系统中，有两种类型的账户：外部拥有账户（EOA）和合约账户（CA）。EOA 是用户直接控制的，通常与私钥相关联，而合约账户则由代码控制。账户抽象的目标是将这两种账户类型融合，使任何账户都可以由代码控制，从而增加操作的灵活性以及更多可能得扩展。 EIP-4337提案到ERC-4337协议是以太坊账户抽象从提议到落地的关键，该提案避免了修改以太坊的共识层。以太坊基金会在 3 月 1 日的 WalletCon 活动上宣布称，以太坊智能合约 ERC-4337 已经部署、测试，将正式开启…

前言 “可扩展性、去中心化、安全性”被称为区块链的不可能三角，以太坊强调去中心化与安全性，这使得以太坊处理交易的速率非常慢。目前已知的BTC处理交易的TPS大约为7，以太坊的TPS约为27。较慢的速率导致在交易量暴增的情况下，会出现网络拥堵与gas费较高的情况。 以太坊的效率与gas费较高成了亟需解决的问题，开发者也提出了各种各样的方案，包括：闪电网络、侧链、plasama、L2等。其中以L2中的zk rollup最引人关注（也有另一种基于op rollup），其中更是有被称为zk四大天王----polygon、s…