mariiazhvanko 的文章

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

本文深入探讨了Zero-Knowledge Proof（ZKP）及其在去中心化系统中的应用，重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR（抽象电路中间表示），从而实现ZKP所需的数学约束，涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。

zero-knowledge proofs Noir ACIR Pedersen hash 电路开发

发布于 2025-03-25 13:35 阅读(1023) 点赞(0) ( 51 )

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。

circom Noir 零知识证明电路生态系统工具

发布于 2025-03-08 12:33 阅读(591) 点赞(0) ( 14 )