A developer demonstrated building a Merkle tree from scratch in Python to generate and verify inclusion proofs for AI retrieval provenance, letting anyone confirm a source document was part of the set…
A developer built a small standard-library Python tool that hashes a canonicalized JSON request with SHA-256 and blocks a model send when the request is byte-identical to the previous journal entry, p…
Ethereum co-founder Vitalik Buterin publicly rejected angel investor Liron Shapira's claim that artificial intelligence could crash Bitcoin's price by more than 50% within two years, calling the proba…
A developer known as C Dragon reported completing a SHA-256 crypto accelerator chip using two AI agents and roughly 1 billion tokens, passing all 10 signoff checks on an open-source EDA stack. The pro…
BLAKE3, a secure hash function, now runs more than twice as fast on Apple Silicon after the discovery of unannounced wide-vector SIMD capabilities in Apple M4 and M5 chips, accessed via the SMSTART in…
Coinkite, the Canadian company behind the Coldcard hardware wallet, released firmware updates after a flaw allowed attackers to steal over $114 million in bitcoin, and said AI-assisted review helped c…
A Bitcoin node for Linux built entirely from AI-generated x86-64 assembly code is under active development, with all security-critical crypto (SHA-256, secp256k1, ECDSA) hand-written in assembly by an…
A developer has released AiTrace.NET, an open-source .NET library that creates tamper-proof audit trails for AI decisions by hashing each record and chaining it to the previous one. The library, avail…
A developer in Abuja, Nigeria, is building Lawyie, an AI-powered legal document generation platform aimed at bridging Africa's $10 billion legal access gap. The platform uses Groq and Streamlit, and t…
A developer has built a zero-trust AI gateway that prevents probabilistic LLMs from directly accessing corporate ledgers. The system uses a Node.js validation proxy to enforce deterministic math recon…
Wattage, an open-source token-spend profiler and cost-regression gate for AI agents, analyzes OpenTelemetry traces to identify token waste, price inefficiencies in real dollars, and prescribe fixes, i…
ZkSecurity released zk.golf, a platform for competitive optimization of zero-knowledge circuits using formal verification and AI. The platform combines Clean, a tool for machine-checkable proofs of ci…
ShareMyPage lets users publish HTML generated by LLMs like Claude or ChatGPT and share it behind per-page access control. To safely host arbitrary user HTML, the service serves untrusted content from …
A developer built LIME, a cryptographic identity layer for AI agents that provides signed JWT passports (RS256) verifiable by any website in under 10ms via a JWKS endpoint. The system uses Proof-of-Wo…
CommitBrief caches LLM reviews using content-addressed hashing, where each cache key is a SHA-256 hash of the diff, system prompt, provider, model, language, and schema version. This design ensures th…
A developer built a cryptographically verifiable agent behavior system that produces tamper-proof receipts proving an AI agent followed approved rules. The demo uses standard hashing and signatures to…
A developer built Calybris Core, a Rust crate that provides a deterministic, replayable decision kernel for systems that need to prove decisions after the fact. The crate evaluates candidates against …
A developer released Part 1 of the K501-AIONARC codebase, the Transition-Centric System, featuring canonical serialization and identity generation utilities. The code includes a strict RFC 8785 JCS en…
A developer argues that using a boolean flag for tool-call approvals in agentic systems is insecure and proposes binding approvals to specific calls via HMAC-signed tokens. The approach prevents repla…
A solo developer built AOTrust, a service that cryptographically notarizes AI agent outputs for $0.01 per proof on Base L2. It issues a 239-byte Provenance Data Record (PDR) using the HTTP 402 payment…