wordpress的latex真是难用，下面的公式看起来不容易的话，可以跳到知乎看这个：https://zhuanlan.zhihu.com/p/2003525863535313231 零知识证明（Zero-Knowledge Proof，简称ZKP）是一种神奇的密码学方法，允许一个人（证明者）向另一个人（验证者）证明自己知道某个秘密、或者某个陈述是真的，却完全不透露这个秘密本身的任何信息。它常见的作用有两个： 隐私计算：例如使用zk做登录，只需要输入证明通过验证就可以进行登录，而不用透露密码。   计算…

内存一致性校验（ Memory Consistency Checks -- MCC ）是保证zkvm在处理程序执行当中，读写的内存数据未被恶意攻击者篡改，目前主流的内存处理方式： ROM：只读内存（例如：cairo ） RAM：随机读取内存（例如：risc0，sp1） 对于MCC常见处理方式如下 ROM（只读内存） 有两个vector，分别称为reads、writes，里面存储的数据项是item = (address,value,version) 将初始化的内存数据遍历，所有项均push到writes的vector…