12 stories tagged with #cryptographic, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Cryptographic"
Deterministic LLM router with a cryptographic audit trail – TEIA
Contribute to felippebarcelos/teia-omega-awakening development by creating an account on GitHub.…
Show HN: BootProof – Cryptographically prove any GitHub repo boots locally
The end of "Works on my machine." BootProof is a zero-trust supervisor that boots any repo and signs cryptographic proof of what actually happened. Built for the develope…
A cryptographically verifiable state-transition engine for AI systems
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.…
I built a cryptographic audit receipt for Claude Mythos (and any AI model) — here's how it works
Anthropic's Mythos model can autonomously find zero-day vulnerabilities. Their CVD disclosure...…
Shipping Sovereign SDK: Cryptographic Forensic Receipts and the End of the AI "Prose Tax"
As I've been working through my content on Sovereign Systems and Inference Patterns, I find that we,...…
Tensor Cryptographic Behavioural Audit (TCBA)
TCBAPage on Physivitis . Physivitis manages 5 data types including investor documents.…
Decompiling Serial Number U-36: Python TERCOM Reconstruction, Cryptographic Logistical Forensics, and Swarm Consensus Fault Tolerance
A Technical Brief: The metallurgical, thermodynamic, cryptographic, and maritime-forensic...…
I Built a Post-Quantum Cryptographic Identity SDK for AI Agents — Here's Why It Needs to Exist
AI agents are buying concert tickets and controlling browsers. Nobody is asking who authorized them. Cord Protocol fixes that.…
Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
Autonomous AI agents that spawn sub-agent swarms create a safety gap: existing credential revocation mechanisms, OAuth~2.0 introspection, OCSP, and W3C Status Lists, require networ…
Threat Modeling Autonomous Dev Agents: How do we cryptographically prove a human actually reviewed a commit?
Cryptographic Forensics for AI Coding Agent Sessions
Agent transcripts on disk aren't evidence. Here are the cryptographic primitives needed to make a Claude Code or Codex CLI session verifiable off-host.…
Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws (Jason Nelson/Decrypt)
Jason Nelson / Decrypt : Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software f…