阿萍的博客

2024年10月

Consul KV Store

读写 KV Storedemo: https://github.com/felicityin/consul-testWhat is consul’s KV store ?Consul’s KV ...

zkStark

FRI目标:检测多项式的阶小于 $d$。验证方如果认可是 $d$ 阶多项式,则认可证明方的保密数据正确。FRI 协议:快速 Reed-Solomon 近似交互式预言机证明(Fast Reed-S...

Halo2

电路:门约束、线约束、定制门、查找表Plonk / UltraPlonk 多项式承诺:KZG 承诺、Dan Boneh 承诺 + Fflonk 优化Halo2 多项式承诺:向量內积承诺。对多项式...