cargo / hekate-math
hekate-math 0.12.1
- processes
- 392
- operations
- 32K
- packages
- 129
- compiler runs
- 19
- connections
- 1
- job time
- 5m 21s
- capture
- 451 KB
- records
- 59K
- bytes / record
- 7.7
Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers, and Binius protocols.
Build behaviourhas a build scriptcompiled C/C++
Release 0.12.1 run 547aef56-cad0-438b-a4b2-f16ef868afbf · built 2026-10-10
Artifact
- libhekate_math.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ▲ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 32K flows.
Network
0 peerscargo fetched 12,099 files from static.crates.io
Dependencies
134 packages, 18 with a build script that ran, 3 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| winapi-i686-pc-windows-gnu | 0.4.0 | observed | build script, not runprebuilt objects | |
| winapi-x86_64-pc-windows-gnu | 0.4.0 | observed | build script, not runprebuilt objects | |
| wit-bindgen | 0.51.0 | observed | build script, not runprebuilt objects | |
| alloca | 0.4.0 | observed | build script | |
| anyhow | 1.0.102 | observed | build script, not run | |
| crossbeam-epoch | 0.9.20 | observed | build script | |
| crossbeam-utils | 0.8.21 | observed | build script | |
| crunchy | 0.2.4 | observed | build script, not run | |
| getrandom | 0.3.4 | observed | build script | |
| getrandom | 0.4.1 | observed | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.182 | observed | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| num-traits | 0.2.19 | observed | build script | |
| prettyplease | 0.2.37 | observed | build script, not run | |
| proc-macro2 | 1.0.106 | observed | build script | |
| quote | 1.0.44 | observed | build script | |
| rayon-core | 1.13.0 | observed | build script | |
| rustix | 1.1.4 | observed | build script | |
| rustversion | 1.0.22 | observed | build script, not runproc macro | |
| serde direct | 1.0.228 | observed | build script | |
| serde_core | 1.0.228 | observed | build script | |
| serde_derive | 1.0.228 | observed | proc macro | |
| serde_json | 1.0.149 | observed | build script | |
| verus_builtin_macros | 0.0.0-2026-08-30-0159 | observed | proc macro | |
| verus_prettyplease | 0.0.0-2026-08-09-0044 | observed | build script | |
| verus_state_machines_macros | 0.0.0-2026-08-02-0125 | observed | proc macro | |
| vstd | 0.0.0-2026-08-30-0159 | observed | build script | |
| wasm-bindgen | 0.2.114 | observed | build script, not run | |
| wasm-bindgen-macro | 0.2.114 | observed | proc macro | |
| wasm-bindgen-shared | 0.2.114 | observed | build script, not run | |
| winapi | 0.3.9 | observed | build script, not run | |
| wit-bindgen-rust | 0.51.0 | observed | build script, not run | |
| wit-bindgen-rust-macro | 0.51.0 | observed | build script, not runproc macro | |
| zerocopy | 0.8.40 | observed | build script | |
| zerocopy-derive | 0.8.40 | observed | proc macro | |
| zeroize_derive | 1.4.3 | observed | proc macro | |
| zmij | 1.0.21 | observed | build script | |
| aho-corasick | 1.1.4 | observed | ||
| anes | 0.1.6 | observed | ||
| anstyle | 1.0.13 | observed | ||
| autocfg | 1.5.0 | observed | ||
| bit-set | 0.8.0 | observed | ||
| bit-vec | 0.8.0 | observed | ||
| bitflags | 2.11.0 | observed | ||
| bumpalo | 3.20.2 | observed | ||
| cast | 0.3.0 | observed | ||
| cc | 1.2.56 | observed | ||
| cfg-if | 1.0.4 | observed | ||
| chacha20 | 0.10.0 | observed | ||
| ciborium | 0.2.2 | observed | ||
| ciborium-io | 0.2.2 | observed | ||
| ciborium-ll | 0.2.2 | observed | ||
| clap | 4.5.60 | observed | ||
| clap_builder | 4.5.60 | observed | ||
| clap_lex | 1.0.0 | observed | ||
| convert_case | 0.4.0 | observed | ||
| cpufeatures | 0.3.0 | observed | ||
| criterion | 0.8.2 | observed | ||
| criterion-plot | 0.8.2 | observed | ||
| crossbeam-deque | 0.8.6 | observed | ||
| either | 1.15.0 | observed | ||
| equivalent | 1.0.2 | observed | ||
| errno | 0.3.14 | observed | ||
| fastrand | 2.3.0 | observed | ||
| find-msvc-tools | 0.1.9 | observed | ||
| fnv | 1.0.7 | observed | ||
| foldhash | 0.1.5 | observed | ||
| half | 2.7.1 | observed | ||
| hashbrown | 0.15.5 | observed | ||
| hashbrown | 0.16.1 | observed | ||
| heck | 0.5.0 | observed | ||
| id-arena | 2.3.0 | observed | ||
| indexmap | 2.13.0 | observed | ||
| itertools | 0.13.0 | observed | ||
| itoa | 1.0.17 | observed | ||
| js-sys | 0.3.91 | observed | ||
| leb128fmt | 0.1.0 | observed | ||
| linux-raw-sys | 0.12.1 | observed | ||
| log | 0.4.29 | observed | ||
| memchr | 2.8.0 | observed | ||
| once_cell | 1.21.3 | observed | ||
| oorandom | 11.1.5 | observed | ||
| page_size | 0.6.0 | observed | ||
| plotters | 0.3.7 | observed | ||
| plotters-backend | 0.3.7 | observed | ||
| plotters-svg | 0.3.7 | observed | ||
| ppv-lite86 | 0.2.21 | observed | ||
| proptest | 1.10.0 | observed | ||
| quick-error | 1.2.3 | observed | ||
| r-efi | 5.3.0 | observed | ||
| rand | 0.10.1 | observed | ||
| rand | 0.9.2 | observed | ||
| rand_chacha | 0.9.0 | observed | ||
| rand_core | 0.10.0 | observed | ||
| rand_core | 0.9.5 | observed | ||
| rand_xorshift | 0.4.0 | observed | ||
| rayon direct | 1.11.0 | observed | ||
| regex | 1.12.3 | observed | ||
| regex-automata | 0.4.14 | observed | ||
| regex-syntax | 0.8.10 | observed | ||
| rusty-fork | 0.3.1 | observed | ||
| same-file | 1.0.6 | observed | ||
| semver | 1.0.27 | observed | ||
| shlex | 1.3.0 | observed | ||
| syn | 2.0.117 | observed | ||
| syn | 3.0.6 | observed | ||
| synstructure | 0.13.2 | observed | ||
| tempfile | 3.26.0 | observed | ||
| tinytemplate | 1.2.1 | observed | ||
| unarray | 0.1.4 | observed | ||
| unicode-ident | 1.0.24 | observed | ||
| unicode-xid | 0.2.6 | observed | ||
| verus_builtin | 0.0.0-2026-08-30-0159 | observed | ||
| verus_syn | 0.0.0-2026-08-02-0125 | observed | ||
| wait-timeout | 0.2.1 | observed | ||
| walkdir | 2.5.0 | observed | ||
| wasip2 | 1.0.2+wasi-0.2.9 | observed | ||
| wasip3 | 0.4.0+wasi-0.3.0-rc-2026-01-06 | observed | ||
| wasm-bindgen-macro-support | 0.2.114 | observed | ||
| wasm-encoder | 0.244.0 | observed | ||
| wasm-metadata | 0.244.0 | observed | ||
| wasmparser | 0.244.0 | observed | ||
| web-sys | 0.3.91 | observed | ||
| winapi-util | 0.1.11 | observed | ||
| windows-link | 0.2.1 | observed | ||
| windows-sys | 0.61.2 | observed | ||
| wit-bindgen-core | 0.51.0 | observed | ||
| wit-component | 0.244.0 | observed | ||
| wit-parser | 0.244.0 | observed | ||
| zeroize direct | 1.8.2 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-10 · tarp 0.1.0+20261009214341-g814b5de79005 · run 547aef56-cad0-438b-a4b2-f16ef868afbf