1 分圆多项式的理解
互素或互质(Coprime Integers): 若整数 a a a与整数 b b b的唯一公约数为 1 1 1,则称 a a a与 b b b互素或互质(coprime integers)。因此,任何能被 a a a整除的质数都不能被 b b b整除,反之亦然。也即两者的最大公约数(G…
1. 引言
本博文主要研究的是 Benedikt Bnz 等人(standford,ethereum,berkeley) 2019年论文《Proofs for Inner Pairing Products and Applications》中的Pairing-based polynomial commitment schemes,其本质为 a generalization of two-tie…
1. 引言 上图源自 Vitalik 2021年11月博客 Halo and more: exploring incremental verification and SNARKs without pairings。
目前的多项式承诺Polynomial commitment方案主要有:
Kate polynomial commitment:具体可参见Dankrad Feist的介绍 Kate p…