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

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

cc_library(
    name = "verify",
    srcs = [
        "fri.cpp",
        "merkle.cpp",
        "taps.cpp",
        "verify.cpp",
    ],
    hdrs = [
        "fri.h",
        "merkle.h",
        "read_iop.h",
        "taps.h",
        "verify.h",
    ],
    linkstatic = True,
    deps = [
        "//risc0/zkp/core",
    ],
)