risc0-zkvm-prove 0.6.0

RISC Zero zero-knowledge VM prove crate
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

load("//bazel/rules/cc:defs.bzl", "cc_library")

package(default_visibility = ["//visibility:public"])

cc_library(
    name = "prove",
    srcs = [
        "exec.cpp",
        "io_handler.cpp",
        "method_id.cpp",
        "riscv.cpp",
        "step.cpp",
        "step_context.cpp",
        "//risc0/zkvm/circuit:step_inc_gen",
    ],
    hdrs = [
        "exec.h",
        "method_id.h",
        "riscv.h",
        "step.h",
    ],
    linkstatic = True,
    deps = [
        "//risc0/zkp/prove",
        "//risc0/zkvm/circuit:inc",
        "//risc0/zkvm/verify",
    ],
)