load("//bazel/rules/risc0:defs.bzl", "risc0_rust_library_pair")

risc0_rust_library_pair(
    name = "verify",
    srcs = [
        "src/lib.rs",
        "src/zkp/merkle.rs",
        "src/zkp/mod.rs",
        "src/zkp/prove/fri.rs",
        "src/zkp/prove/merkle.rs",
        "src/zkp/prove/mod.rs",
        "src/zkp/prove/poly_group.rs",
        "src/zkp/prove/write_iop.rs",
        "src/zkp/taps.rs",
        "src/zkp/verify/fri.rs",
        "src/zkp/verify/merkle.rs",
        "src/zkp/verify/mod.rs",
        "src/zkp/verify/read_iop.rs",
        "src/zkvm/mod.rs",
        "src/zkvm/poly_op.rs",
        "src/zkvm/poly_ops.rs",
        "src/zkvm/prove/circuit.rs",
        "src/zkvm/prove/exec.rs",
        "src/zkvm/prove/io.rs",
        "src/zkvm/prove/mod.rs",
        "src/zkvm/prove/prover.rs",
        "src/zkvm/prove/step.rs",
        "src/zkvm/prove/step_context.rs",
        "src/zkvm/receipt.rs",
        "src/zkvm/taps.rs",
        "src/zkvm/verify/circuit.rs",
        "src/zkvm/verify/mod.rs",
    ],
    crate_name = "risc0_zkvm_verify",
    guest_deps = [
        "//risc0/zkp/rust/core:core_guest",
        "@crates_guest//:anyhow",
        "@crates_guest//:array-init",
        "@crates_guest//:bytemuck",
        "@crates_guest//:rand",
        "@crates_guest//:rand_core",
        "@crates_guest//:serde",
        "@crates_guest//:sha2",
    ],
    guest_features = ["verify"],
    host_deps = [
        "//risc0/zkp/rust/core:core_host",
        "//risc0/zkp/rust/hal",
        "@crates_host//:anyhow",
        "@crates_host//:array-init",
        "@crates_host//:bytemuck",
        "@crates_host//:rand",
        "@crates_host//:rand_core",
        "@crates_host//:serde",
        "@crates_host//:sha2",
    ],
    host_features = [
        "prove",
        "verify",
    ],
    host_proc_macro_deps = [
        "@crates_host//:paste",
    ],
    rustc_flags = ["-Coverflow-checks=on"],
    visibility = ["//visibility:public"],
)