文件名称：snarky:OCaml DSL用于可验证的计算
文件大小：30.64MB
文件格式：ZIP
更新时间：2024-05-18 16:45:18
HTML
狡猾的 snarky是用于编写R1CS SNARK的OCaml前端。 它在后端SNARK库之上是模块化的，并带有来自后端。 免责声明：此代码尚未经过全面审核，不应在生产系统中使用。 CAVEAT该存储库包含大量过时的代码。 Mina项目的早期版本（此代码的主要用户）使用src/实现的C / C ++后端； 该代码中的大多数不再使用。 例外是src/intf和src/base 。 原有代码将不会在Bazel下构建； .bazelignore文件列出了包含此类代码的软件包。 有关更多信息，请参见下面的部分。 首先通过运行或按照的说明安装libsnark的依赖项。 然后，确保已安装 。 最后，通过运行安装snarky及其依赖项 opam pin add git@github.com:o1-labs/snarky.git 然后对提示回答是。 带注释的示例是开始学习如何使用库的最佳位置。