Cloudana is a decentralized compute network where the work that secures a provider's reward is the computation a user paid for. No wasted puzzle. No "just trust the provider." The matrix multiply does both jobs at once.
The hardness of Cloudana's proof comes from the full transcript of intermediate computation blocks — not from the answer. You can shortcut the answer with low-rank tricks; you cannot shortcut the transcript. So the proof is only valid if the provider genuinely did the work. And that work is the user's matrix multiply — so the same operation yields both the proof and the product.
Derive low-rank noise E, F from the block-hash seed σ. Form A+E and B+F so the work can't be precomputed.
Compute the product in r×r blocks, hashing every intermediate block into a transcript. This is the part that can't be shortcut.
z = hash(σ, transcript, H(A), H(B)). A certificate is valid when z meets the network's difficulty target.
Recover C = A·B cheaply. C is returned to the user as the answer. Reward is paid only for work backed by a real workload.
Today, a trusted orchestrator verifies each certificate by re-running it — a normal way to launch, but not "completely decentralized," and we won't call it that. Full trustlessness arrives when a zkSNARK verifies proofs on-chain and the orchestrator leaves the critical path. We'll claim decentralized verification when it's true, not before. In crypto, saying exactly where you stand is the rarest feature — so it's ours.
Install once. The node detects your CPU, GPU, and memory, classifies itself, and registers. No spec forms. No bidding. Just useful work.