Topic
cryptography
Sovereign Execution Brokers: Enforcing Certificate-Bound Authority in Agentic Control Planes
A new security model called the Sovereign Execution Broker (SEB) introduces a runtime enforcement boundary that verifies certificate-bound execution contracts before allowing mutations in agentic infrastructure. By separating proposal, admission, and execution, SEB turns certified authority into a short-lived, revocable, auditable capability. The prototype was evaluated on AWS and Kubernetes.
Mitigating Legibility Tax in AI: Decoupled Prover-Verifier Games Offer Route to Verifiable Outputs
A new arXiv paper introduces Decoupled Prover-Verifier Games (DPVG) to solve the legibility tax—accuracy degradation when making AI outputs easy to verify. The method trains a separate translator model that converts a solver's correct solution into a checkable form, achieving faithful verification without sacrificing accuracy.
Technology Crypto VC Paradigm Buys the Answer to CIA's Kryptos Sculpture
Crypto venture capital firm Paradigm won an auction for the answer to the fourth panel of the Kryptos sculpture at CIA headquarters, paying nearly $1 million. The firm now oversees public submissions, charging $1 per attempt (down from Sanborn's $50) and holding decoding contests. The solution was verified via hash, and the winners have not looked at it.