The first BlockDAG built for decentralized AI inference. Optimistic proofs. Unstoppable intelligence.
Three corporations control the filters of global AI. On-chain agents can't run local models. They need a decentralized inference layer.
AI providers quietly modify model outputs to align with corporate policies. No transparency, no audit trail, no recourse.
Every query passes through centralized servers. Your questions, strategies, and private data — logged, analyzed, monetized.
The model runs across thousands of sovereign miners. No kill switch. Intelligence becomes a public infrastructure.
Miners lock tokens on every response. Anyone can challenge. Cheaters lose everything. Honesty is the only profitable strategy.
Respond first, verify only when challenged. Fast, practical, cryptographically secure.
User or AI agent submits an AI_Request to the mempool with model ID and fees.
Miner runs the SLM on their GPU, publishes the response instantly, and locks a collateral as guarantee.
For 36,000 blocks (~1h), any verifier can re-run the deterministic model and dispute the result. Fraud proven on-chain via re-execution — miner's escrow is slashed.
No challenge — result is final, miner earns reward. Fraud proven — miner is slashed, challenger is rewarded.
No users yet? The protocol self-generates synthetic inference tasks derived from the previous block hash. Miners stay active, the network stays warm, infrastructure is battle-tested before the first real request.
Keryx's proof-of-work isn't arbitrary hashing — it's the model itself. To win a block, a miner's GPU must actually hold a full AI model in memory.
Mining requires a model's weights resident in VRAM. No idle hashing on a bare GPU — the work is the model.
The proof-of-work walks the resident weights — each read's location derived from the last. A partial copy can't precompute or stream fast enough: miss a fraction of the weights and you slow down by orders of magnitude.
The largest model your VRAM holds sets your tier — from EXAONE-4.0-1.2B on a 2 GB card to Kimi-Linear-48B on a 32 GB card. Heavier tier, larger block reward.
Verification is byte-exact and fully deterministic: a per-tier weight Merkle root plus Fiat-Shamir chunk openings, checked from the block header alone. Pool-safe and fork-proof — no trust in the miner.
PoM proves a miner holds the model — a hardware-enforced guarantee at the consensus level. Whether a given answer was computed honestly is the job of the optimistic OPoI challenge layer above. Two complementary guarantees: PoM secures the who, OPoI secures the what.
A fully uncensored lineup — no corporate filters, no refusals. Every model is identified by sha2-256(weight_file) — the hash extracted directly from its IPFS CID. A miner cannot fake which model it runs. Requesters set a priority_fee above the minimum to be served first.
Ultra-light and unfiltered. Runs on a 2 GB GPU — the entry tier for high-frequency agent calls and synthetic workloads.
Fast, lightweight, unfiltered. Ideal for short classification tasks, synthetic workloads, and high-frequency agent calls.
Balanced reasoning and speed, no corporate filters. Suitable for complex queries, on-chain agent decisions, and multi-step logic.
High-fidelity reasoning at scale, unrestricted. A hybrid SSM/attention architecture for deep analysis, code generation, and long-context understanding.
State-of-the-art open MoE, fully unfiltered — 48B total, 3B active per token. The Q4_K_M quant fits a single 32 GB card. Reserved for the most demanding autonomous agent workflows.
Requesters can bid above the minimum to jump the queue. Miners serve the highest-paying requests first — creating a real market for inference priority. Every fee is paid in $KRX, creating direct, measurable buy pressure from actual AI usage.
Whether for humans seeking truth without filters or autonomous agents operating on-chain, Keryx is the trustless backbone of decentralized intelligence.
Solana and Ethereum AI agents are, today, fully centralized via Web2 APIs. Smart contracts are deterministic — they cannot reason, interpret language, or make decisions, so the moment an agent has to think it calls OpenAI or Anthropic and inherits their kill switch. With Keryx, an agent broadcasts an AiRequest on-chain, a miner executes the inference, and the result comes back as a verifiable AiResponse — no HTTP call, no API key, no corporate gateway. The response is backed by real economic stake: fraudulent answers are slashable. The chain is the oracle.
Legal, medical, or political queries without corporate filters. A neutral AI that answers factually regardless of the topic.
Roadmap: users encrypt their prompt with the miner's public key before broadcasting. The miner decrypts and runs inference locally — the plaintext prompt never appears on-chain in any form. The OPoI commitment covers the result, preserving full fraud-proof guarantees on the output while keeping the query private.
Designed for long-term scarcity. Every transaction destroys value. Every block splits reward between miners, infrastructure, and protocol burn.