零知识虚拟机（zkVM）让开发者能够证明任意程序正确运行，而证明编写者无需接触证明电路。这种便利是有代价的：客户程序执行的每一条 RISC-V 指令都会增加证明者必须做的工作。通用 zkVM 解释器会为每一条指令重新推导相同的解码和分发簿记...
你不需要懂得很多数学也能成为一名成功的安全研究员。但如果你想看到矩阵，你需要变得精通数学。 关于数学是被发现的还是被发明的，一直存在着古老的哲学辩论。小时候，我两者都不想做。数学感觉很抽象，与现实脱节，像是一套需要记住的任意规则。很长...
鸿途知科网
