mirror of
https://github.com/ruvnet/RuVector.git
synced 2026-05-23 21:25:02 +00:00
45eaff391a
Introduces ruvector-verified and ruvector-verified-wasm crates providing proof-carrying vector operations with sub-microsecond overhead. Includes ADR-045, 10 exotic application examples (weapons filter, medical diagnostics, financial routing, agent contracts, sensor swarm, quantization proof, verified memory, vector signatures, simulation integrity, legal forensics), rvf-kernel-optimized example, CI workflow, and root README integration. Co-Authored-By: claude-flow <ruv@ruv.net>
38 lines
1.1 KiB
TOML
38 lines
1.1 KiB
TOML
[package]
|
|
name = "rvf-kernel-optimized"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
rust-version = "1.77"
|
|
license = "MIT"
|
|
description = "Hyper-optimized RVF example: Linux kernel embedding with ruvector-verified formal proofs"
|
|
publish = false
|
|
|
|
[dependencies]
|
|
# Formal verification + ultra-optimizations (FastTermArena, gated routing, pools, cache)
|
|
ruvector-verified = { path = "../../crates/ruvector-verified", features = ["ultra", "hnsw-proofs"] }
|
|
|
|
# RVF stack
|
|
rvf-types = { path = "../../crates/rvf/rvf-types", features = ["std"] }
|
|
rvf-runtime = { path = "../../crates/rvf/rvf-runtime" }
|
|
rvf-kernel = { path = "../../crates/rvf/rvf-kernel" }
|
|
rvf-ebpf = { path = "../../crates/rvf/rvf-ebpf" }
|
|
rvf-quant = { path = "../../crates/rvf/rvf-quant", features = ["std"] }
|
|
|
|
# Utilities
|
|
rand = { workspace = true }
|
|
anyhow = { workspace = true }
|
|
tracing = { workspace = true }
|
|
tracing-subscriber = { workspace = true }
|
|
tempfile = "3"
|
|
|
|
[dev-dependencies]
|
|
criterion = { workspace = true }
|
|
tempfile = "3"
|
|
|
|
[[bin]]
|
|
name = "rvf-kernel-opt"
|
|
path = "src/main.rs"
|
|
|
|
[[bench]]
|
|
name = "verified_rvf"
|
|
harness = false
|