阿萍的博客
如何在 Arbitrum Nitro 增加 precompiles
当链启动后，外界可以修改合约中的内容，希望这些修改可以被节点内部感知到，但是在节点内部可以读取合约的存储吗？本人没有找到这样的方式，也没有发现 Arbitrum Nitro 有系统合约，但是它有...
如何更换 Arbitrum Nitro 的 Native Token
Arbitrum Nitro 的 native token 是 ETH，如何换成 ERC-20 token 呢？Arbitrum Nitro 有两种模式，一种是 Rollup，一种是 AnyTr...
RSA 加密和签名
RSA（Rivest–Shamir–Adleman）是早期被广泛使用的非对称加密算法。不过后来 ECC 成为主流，因为 ECC 比 RSA 的安全性更高，密钥更短。加密：A 用 B 的公钥加密，...
如何让 Arbitrum Nitro 实现 gasless
如何让链实现 gasless，godwoken 提供了一个很好的方案，使用了简化的 ERC-4337，包括去掉了账户抽象，去掉了 bunlder，仅用到了 entrypoint 合约，并实现了 ...
Arbtrum Nitro 处理交易和收 fee 过程
每个函数中只贴出了关键代码。启动节点启动 Arb nodefunc main() { os.Exit(mainImpl()) }创建执行层func mainImpl() int { ...
STARK 中的 DEEP FRI
问题描述通过如下关系去计算一个序列$$ \begin{align} & a_0 = 3 \\ & a_{n+1} = a_n^2 \\ \end{align} $$结果需要模一个...
Kate 承诺 KZG
承诺承诺分为 3 个步骤：承诺，打开承诺，验证承诺承诺：发送方将某个值 x 封装为 y 发送给接收方。1）发送方不能改变信封中的值；2）接收方无法知道 x打开承诺：发送方揭露 x校验承诺：接收方...
PLONK 理解
程序可以转换为电路，电路上有门和线，所有会有门约束和线约束两种等式，这些等式可以限定电路的形状。门约束用来检查电路的运算是否对，线约束是限制某个门的输入必须等于另一个门的输入和或输出，也称拷贝约...
Near-Optimal Oblivious Key-Value Stores 实现
源码：https://github.com/felicityin/rb-okvs有时候需要多方协作来完成一些计算，但每方都不希望暴露自己的数据。所以目标就是确保各方仅仅了解自己的数据，而不要了解...
整数压缩算法 TurboPFor
本文讲述整数压缩算法 TurboPFor。原作者写了个示例，以方便理解：https://github.com/stapelberg/goturbopfor1 压缩后的格式以 TurboPFor2...