本文深入探讨了在 Circom 中编程时可能遇到的常见陷阱,包括错误地使用 assert、不正确地处理 hints (即 <-- 运算符),以及由于有限域算术导致的别名攻击。文章提供了具体的代码示例和避免这些陷阱的方法,强调了在 Circom 电路开发中进行严格约束和安全编码的重要性。
assert
<--
本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象,实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性,以及结合时间锁等技术,BitVM 在不修改比特币核心协议的前提下,扩展了其功能,并为高效验证复杂计算开辟了道路。
10 篇塑造现代零知识证明的必读论文