阿萍的博客

2025年5月

为什么加班

如果偶尔加班,无可厚非,毕竟有时候就是会有急事。但是如果长期加班,就不正常了。加班的原因有如下几点领导决策能力太差,管理层失职,朝令夕改,上面一句话,下面跑断腿员工工作能力太差,效率不高,靠加班...

Sumcheck

什么是 Sumcheck?Sumcheck 是一种交互式证明协议(Interactive Proof Protocol, IOP),用于让证明者(Prover)向验证者(Verifier)证明一...

LogUp 在 zkVM 中的应用

Lookup (Log Derivative Lookup Argument) 是一种通过预计算表(Lookup Table)来验证某个值是否存在于特定集合中的技术。在 ZKP 中,它通常用于减...