Skip to main content

Documentation Index

Fetch the complete documentation index at: https://wp.farlabs.ai/llms.txt

Use this file to discover all available pages before exploring further.

The current security runtime provides strong statistical guarantees through continuous verification. FAR AI’s roadmap integrates zero-knowledge cryptographic proofs to upgrade these guarantees from statistical to mathematical and to address a specific trust problem that cannot be solved by verification alone. That problem is the bilateral standoff between a node and the orchestrator at the moment a job completes. The node has finished computing and wants to be paid before releasing the response. The orchestrator wants to confirm the response is correct before authorizing payment. Without a third mechanism, each side has a legitimate reason not to move first: the orchestrator could refuse to pay once it holds the answer, and the node could collect payment and deliver garbage. Neither party should have to take that risk on faith. Zero-knowledge proofs collapse this deadlock. A node can prove, cryptographically, that it is holding a correct response to the developer’s request without revealing the response itself. The orchestrator verifies the proof, authorizes payment, and the response is released atomically with settlement. Neither side moves first. Neither side is exposed. FAR AI’s ZK roadmap is designed around two distinct guarantees:
  • FAR-ZK Lazy - dispute resolution. When a developer challenges a node’s response, the node settles the dispute by producing a ZK proof of correct execution. The orchestrator adjudicates without ever seeing the developer’s prompt. The prompt stays private from the FAR AI orchestrator, and disputes are resolved automatically rather than arbitrated.
  • FAR-ZK Eager - payment atomicity. Every completed job is accompanied by a proof of possession and correctness, produced before the response is revealed. The orchestrator authorizes payment against the proof; response and payment unlock together. The bilateral standoff described above cannot arise.
It is important to be precise about what these proofs guarantee. The executing node necessarily receives and processes the developer’s prompt in order to compute the response that is true of any inference system. What ZK guarantees is that the prompt and response stay hidden from the FAR AI orchestrator. A developer’s request is not visible to FAR Labs in order to settle a dispute or authorize a payment. Extending this guarantee to the executing node itself requires additional cryptographic machinery, described in Section 10.