risc0-zkp-core 0.7.0-dev.1

RISC Zero zero-knowledge proof system core crate
Documentation 
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

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

cc_library(
    name = "core",
    srcs = [
        "ntt.cpp",
        "poly.cpp",
        "sha_rng.cpp",
    ],
    hdrs = [
        "constants.h",
        "devs.h",
        "fp.h",
        "fp4.h",
        "ntt.h",
        "poly.h",
        "rou.h",
        "sha256.h",
        "sha256_cpu.h",
        "sha_rng.h",
    ],
    visibility = ["//visibility:public"],
    deps = [
        "//risc0/core",
    ],
)

risc0_rust_library_pair(
    name = "core",
    srcs = [
        "src/fp.rs",
        "src/fp4.rs",
        "src/lib.rs",
        "src/ntt.rs",
        "src/poly.rs",
        "src/rou.rs",
        "src/sha.rs",
        "src/sha_cpu.rs",
        "src/sha_rng.rs",
    ],
    crate_name = "risc0_zkp_core",
    guest_deps = [
        "@crates_guest//:anyhow",
        "@crates_guest//:bytemuck",
        "@crates_guest//:rand",
        "@crates_guest//:rand_core",
        "@crates_guest//:serde",
        "@crates_guest//:sha2",
    ],
    host_deps = [
        "@crates_host//:anyhow",
        "@crates_host//:bytemuck",
        "@crates_host//:rand",
        "@crates_host//:rand_core",
        "@crates_host//:serde",
        "@crates_host//:sha2",
    ],
    rustc_flags = ["-Coverflow-checks=on"],
    visibility = ["//visibility:public"],
)