Skip to content
Open-Source Registry

cargo / hekate-verifier

hekate-verifier 0.37.0

processes
427
operations
10K
packages
41
compiler runs
37
connections
1
job time
23s
capture
136 KB
records
18K
bytes / record
7.6

Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.

clean

Build behaviournot recorded for this run

554 downloads · AGPL-3.0-only · source · home page · cargo

brakedown cryptography sumcheck verifier zk

Release 0.37.0 run f11b33c2-a094-4cf9-b1ef-e49d21cd012e · built 2026-10-07

Artifact

file · retained · product
1
ChecksDetections
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

0

No detections

No abnormal activity detected across 10K flows.

Network

1 peers
  • static.crates.io:8080
    cargo (hekate) via crates.io · build-test
    allowed

Raw data

capture
136 KB
records
17,847
bytes per record
7.6

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

Dependencies

42 packages, 0 with a build script that ran, 0 doing more than compiling
PackageVersionUsageBuild behaviour
allocator-api20.2.21observed
arrayvec0.7.8observed
blake31.8.7observed
cc1.6.0observed
cfg-if1.0.5observed
constant_time_eq0.4.2observed
cpufeatures0.3.1observed
crossbeam-deque0.8.8observed
crossbeam-epoch0.9.21observed
crossbeam-utils0.8.23observed
either1.19.0observed
equivalent1.0.2observed
find-msvc-tools0.1.14observed
foldhash0.2.0observed
hashbrown0.17.1observed
hekate-core direct0.37.0observed
hekate-crypto direct0.37.0observed
hekate-math direct0.12.0observed
hekate-program direct0.37.0observed
ld-linux-x86-64.so.2linked
libc0.2.190observed
libc.so.6linked
libgcc_s.so.1linked
libm.so.6linked
libmvec.so.1linked
pin-project-lite0.2.17observed
proc-macro21.0.107observed
quote1.0.47observed
rayon direct1.12.0observed
rayon-core1.13.0observed
serde1.0.229observed
serde_core1.0.229observed
serde_derive1.0.229observed
shlex2.0.1observed
syn2.0.119observed
syn3.0.6observed
tracing direct0.1.44observed
tracing-attributes0.1.31observed
tracing-core0.1.36observed
unicode-ident1.0.26observed
zeroize1.9.1observed
zeroize_derive1.5.0observed

1 of 1 jobs captured: build-test success · Generated 2026-10-07 · tarp 0.1.0+20261007022833-g16cc1581f632 · run f11b33c2-a094-4cf9-b1ef-e49d21cd012e