Mina 开发者常见问题解答, 例如(如何创建自定义可证明类型?)
可证明的代码为了让zk-rollup验证其操作的正确性，它必须能够证明，例如交易已正确执行。这是可能的，因为所有底层Protokitrollup代码都是使用o1js编写为zk电路。因此创建可证明的代码，从而产生zk证明。o1js是什么？o1js是由Mina背后的
什么是Protokit？Protokit是一个用于构建启用隐私的应用程序链（又名zk-roll-apps/zk-rollups）的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。该框架本身由O1JS，用于构建zkApps的SDK。得益于O1JS，所有使用Pro
longerd
King