gnark 是一个快速的 zk-SNARK 库，提供高级 API 来设计电路。该库为开源，并在 Apache 2.0 许可证下开发
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
