1. 问题的提出
Ceil( )是ABAP的向上取整函数,然在在使用中,还是要留意数据类型的问题哦。先看下面代码:
DATA lv_result_1 TYPE i.
DATA lv_result_2 TYPE i.
DATA lv_count_1 TYPE i VALUE 3600.
DATA lv_count_2 TYPE i VALUE 3001.
DATA…
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…