> ## Documentation Index
> Fetch the complete documentation index at: https://kwala.network/docs/llms.txt
> Use this file to discover all available pages before exploring further.

# Verifier nodes

> Learn about verifier nodes in the Kwala network

Verifier nodes are lightweight, independently deployed actors responsible for ensuring fidelity of automation. They provide the trust layer that makes Kwala's decentralized execution verifiable and tamper-proof.

While execution nodes process workflows and perform actions, verifier nodes act as independent auditors. They ensure that every workflow execution adheres strictly to the user's signed intent and the defined workflow logic.

## Role of verifier nodes

Verifier nodes perform four primary functions in the Kwala network:

| Function | Description |
| - | - |
| **Re-compute workflow logic** | Independently execute workflow logic based on the original user intent |
| **Compare outputs** | Compare actual output of executor nodes with expected outcome |
| **File disputes** | Submit disputes to the arbitration contract on Kwala's decentralized ledger in case of deviation |
| **Periodic auditing** | Run periodically or via randomly assigned rounds for high-value workflows |

## Verification process

**1. Execution proof retrieval**

Verifier nodes retrieve execution proofs submitted by executor nodes from Kwala's decentralized ledger. These proofs contain all inputs, outputs, and state transitions from the workflow execution.

**2. Intent reconstruction**

The verifier retrieves the original user-signed workflow intent from the chain and reconstructs the expected execution path.

**3. Independent re-computation**

Using the same inputs and trigger data, the verifier independently re-computes the workflow logic to determine the expected outcome.

**4. Result comparison**

The verifier compares its computed result against the executor's submitted proof. Any discrepancy triggers the dispute process.

**5. Dispute or attestation**

If results match, the verifier attests to the execution validity. If results differ, the verifier files a dispute to the arbitration contract.

## Security guarantees

Verifier nodes provide several security guarantees to the Kwala network:

* **Non-repudiation**: Users cannot deny their signed intents
* **Execution fidelity**: Executors cannot deviate from defined workflows
* **Transparency**: All verifications are recorded on-chain
* **Accountability**: Malicious actors face economic penalties

## Next steps

> **[System overview](https://kwala.network/docs/architecture/system-overview.md)**
>
> Review the complete system architecture

> **[Workflow execution](https://kwala.network/docs/concepts/workflow-execution.md)**
>
> Understand the execution lifecycle


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.