使用 Circom 编程会遇到相当多的挑战。在审查了大量的 Circom 代码库后,我们发现了一些经常出现的反模式。 在本系列中,我们将全面概述这些问题,以帮助你避免最常见的陷阱。 当然,这不会是所有可能错误的完整列表(Circom...
近来得闲,看看RISC0的源代码。zkVM一直是想深入的话题。zkVM将零知识证明技术抽象封装。复杂的业务,通过上层语言描述,经过zkVM的执行,轻松生成证明。可是迟迟看不清,zkVM的需求。只是觉得,复杂的程序也能快速地生成证明是一件很酷...