阿萍的博客

阿萍的博客

CMP20 避免签名前必须 refresh

其实 keygen 之后,可以不执行 refresh 的,作者写出 refresh 是为了方案的完备性的。refresh 本应该在后台周期性执行,但是由于 refresh 中生成的 Pailli...

Arbtrum Nitro 中影响 sequencer 提交间隔的因素

结论根据 sequencer 介绍,sequencer 一般几分钟就会向 L1 提交一次 batch如果发生如下情况,则 sequencer 不会向 L1 提交 batch:没有新的 tx,不过...

如何更换 Arbitrum Nitro 的 Stake Token

Arbitrum Nitro 的 stake token 是 ETH,如何换成 ERC-20 token 呢?第一反应还是看下配置文件是否支持,很遗憾,不支持。部署界面也不支持更换 stake ...

CMP20 门限签名库源码解析

源码:cmp_ecdsa_mpc_poc假设 TSS 为 3-3gg18 vs cmp20:keygengg18采用了 Feldman VSS 协议生成多项式 $p_i(x)$计算私钥分片 $...

GG18: tss-lib 门限签名库源码解析

源码:tss-lib假设 TSS 为 3-3keygenround_1选择随机数 $u_i \in [1, n-1]$ 作为共享秘密 $sk$选择随机数 $a_i, b_i \in [1, n-...

zk-Sigma & zk-Schnorr

zk-Sigma知道 1 个秘密 $w$椭圆曲线生成元为 $G$ ,群的阶为 $| F_r |$ ;标量域为 $F_r$ ,基域为 $F_q$知道秘密 $w$,且与公开输入 $Q$ 满足离散对数...

ElGamal 和 Paillier 同态加密

ElGamal 同态加密初始化:素数群 $G$ 的阶为 $q$,生成元为 $g$密钥生成:私钥 $sk=\alpha$,公钥 $PK=h=g^{\alpha}$加密:消息为 $m \in Z_q...

Arbitrum Nitro 中的挑战逻辑

整体逻辑ChallengeManagerOne Step Proof AssumptionsDispute resolutionStaker 源码func (s *Staker) Act(ctx...

如何在 Arbitrum Nitro 增加 precompiles

当链启动后,外界可以修改合约中的内容,希望这些修改可以被节点内部感知到,但是在节点内部可以读取合约的存储吗?本人没有找到这样的方式,也没有发现 Arbitrum Nitro 有系统合约,但是它有...

如何更换 Arbitrum Nitro 的 Native Token

Arbitrum Nitro 的 native token 是 ETH,如何换成 ERC-20 token 呢?Arbitrum Nitro 有两种模式,一种是 Rollup,一种是 AnyTr...