Verifiability features
Intent hashing
When a user submits a workflow, the complete YAML definition is cryptographically hashed and stored on Kwala’s decentralized ledger alongside the user’s signature. This creates a non-repudiable record that:- Proves the user authorized the specific workflow
- Cannot be altered after submission
- Serves as the reference for all verification
Execution logs
All workflow executions generate detailed logs stored in Merkle-tree-based structures on Kwala’s decentralized ledger. The logged data includes:Verifier reports
Verifier nodes submit reports to Kwala’s decentralized ledger that attest to execution correctness. The reports can be zero-knowledge prrofs that verify execution without revealing sensitive data or full logs to validate workflow computation. Each verifier report includes:- Reference to the original intent hash
- Execution proof from the executor node
- Verifier’s independent computation result
- Attestation or dispute status
- Verifier node signature
Auditability
Any third party or regulator can replay and verify historical workflow executions using the public records on Kwala’s decentralized ledger. The audit process is as follows:1
Retrieve intent
Fetch the original workflow definition and user signature from Kwala’s decentralized ledger using the intent hash.
2
Retrieve execution logs
Download the Merkle-proofed execution logs for the specific workflow execution.
3
Replay execution
Using the logged trigger data and inputs, independently re-execute the workflow logic.
4
Compare results
Verify that the replayed execution matches the logged results and verifier attestations.
Benefits of public verifiability
For users- Transparency: See exactly what actions were taken on your behalf
- Accountability: Hold execution nodes responsible for their actions
- Trust: Verify without relying on any single party
- Compliance: Meet regulatory requirements for audit trails
- Risk management: Independently verify automated operations
- Due diligence: Audit third-party workflow providers
- Integrity: Ensure all participants follow the rules
- Decentralization: Remove reliance on trusted intermediaries
- Security: Detect and penalize malicious behavior
Accessing verification data
You can access verification data by using the Kwala explorer or by querying the ledger directly. Kwala Explorer The Kwala Explorer provides a user-friendly interface where you can:- View workflow execution history
- Inspect execution logs and proofs
- Verify specific transactions
- Download audit reports
- Retrieve raw execution proofs
- Verify Merkle proofs programmatically
- Build custom audit tools
- Integrate verification into applications
Next steps
Verifier nodes
Learn how verifiers validate executions
Kwala Explorer
Explore workflow executions
