/proof-systems

The proof systems used by Mina

Primary LanguageRust

This repository contains various zk-SNARK protocol implementations for recursive SNARK composition.

Bazel

Build all targets: $ bazel build //... (note: three dots)

If you change any dependencies in the Cargo.toml files:

  1. update bzl/cargo/Cargo.toml to list all deps and versions
  2. cd bzl/cargo a. cargo generate-lockfile b. cargo raze

You may also have to change the deps attribute of build targets in BUILD.bazel. For example, if you add a dependency on the ocaml package to Cargo.toml, you would add //bzl/cargo:ocaml to the deps attribute.

If you change features, you need to edit the crate_features attribute of the BUILD.bazel file accordingly.