proofs.
Proof-of-compute, without the hand-waving.
A proof-of-compute is a small, cheap-to-check claim that a big, expensive computation actually happened. We use a mix of optimistic checkpoints and zk proofs, depending on the job.
optimisticcheckpoint re-run
zkrecursive, for critical jobs
check timemilliseconds
challenge window1 hour
Most jobs run optimistically and settle instantly. If a checker suspects fraud, it re-runs a slice and slashes the node on a mismatch.