zksecurity 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文深入探讨了在 Circom 中编程时可能遇到的常见陷阱，包括错误地使用 assert、不正确地处理 hints (即 <-- 运算符)，以及由于有限域算术导致的别名攻击。文章提供了具体的代码示例和避免这些陷阱的方法，强调了在 Circom 电路开发中进行严格约束和安全编码的重要性。

circom 零知识证明 R1CS 约束别名攻击有限域算术

发布于 2025-06-25 18:18 阅读(35) 点赞(0)

本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。

BitVM UTXO模型电路抽象一次性签名 Covenant Taproot

发布于 2025-03-04 18:49 阅读(9) 点赞(0)

10 篇塑造现代零知识证明的必读论文

ZKP

发布于 2024-11-13 16:49 阅读(2482) 点赞(0) ( 76 )

发布于 2024-11-13 16:45 阅读(916) 点赞(0) ( 6 )