PROOF-NATIVE
CRYPTOGRAPHIC VERIFICATION ARCHITECTURE
Hardware root-of-trust verification for autonomous AI agents. Ed25519 signatures bound to silicon. Every inference cryptographically proven.
Core Architecture
LIC Kernel
Lightweight Inference Constraint kernel. Hardware-bound cryptographic verification with BCM2712 silicon identity.
Rust | Ed25519 | SHA-256Sheriff Modules
Five defensive modules protecting against prompt injection, skill tampering, credential harvesting, and multi-agent collusion.
Python | FastAPI | PyO3Proof Store
Immutable ledger of cryptographic proofs. Optional anchoring to Polygon PoS for permanent audit trails.
PostgreSQL | PolygonJET Interlock
Just-Enough Thinking energy budgets. Automatic inference termination within safety bounds. Patent Claim D.
Patent 63/896,282Temporal Workflows
Durable execution for verification workflows. Automatic retry with cryptographic handoff proofs.
Temporal Cloud | Python SDKXGML Protocol
Explainable Graph Markup Language for human+AI reasoning exchange. Dual-audience transparency.
XML | Graph SemanticsF28 Cross-Provider BFT
Byzantine fault tolerance across 8+ independent LLM providers. Provider Diversity Score prevents correlated failures.
Patent 63/896,282 | NovelMulti-Provider Consensus
Claude, Gemini, Grok, Llama, Mistral, DeepSeek verified simultaneously. Cross-provider agreement weighted 2x.
8 Providers | 28+ ModelsASV Tri-Modal Architecture
Three isolated nodes with distinct responsibilities. No single point of compromise.
Forge Node
NVIDIA RTX 3060 | Knowledge
Semantic search (RAG) using FAISS/ChromaDB. Ingests raw evidence and sensitive documents. Air-gapped isolation.
Commander Node
Intel i7-13700K | Logic
Executes deterministic Rust logic. Consensus arbitrator. Cannot access raw data.
Sheriff Node
Raspberry Pi 5 | Security
Hardware root-of-trust. Signs decisions with BCM2712 OTP keys. Anchors proofs to Polygon blockchain.
Verified Evidence
Real benchmarks. Real proofs. Cryptographically anchored.
Pi 5 Edge Performance
BCM2712 SoC, measured Feb 2, 2026
Triple Formal Verification
Lean 4, Verus, Coq proof systems
Cross-Provider Consensus
F28 Byzantine Fault Tolerance
Developer Integration
Three lines to verified AI
from aevion.sheriff import verify_agent
from aevion.crypto import sign_proof_bundle
# Verify an AI agent's inference
result = verify_agent(
agent_id="agent_0x1a2b",
inference_hash="sha256:abc123...",
skill_manifest="skills.xgml"
)
# Generate signed proof bundle
if result.verified:
proof = sign_proof_bundle(
result,
signing_key=os.environ["AEVION_SIGNING_KEY"]
)
print(f"Proof: {proof.bundle_id}")
# => Proof: spb_7f8a9b2c...