Prove computation
without the risk.
Execute deterministic workloads anchored on the Solana blockchain. If it's verified, settle instantly with cryptographic finality. If it's tampered, the chain catches and slashes it.
- Computation requests
- —
- Verified
- —
- Frauds caught
- —
- Verifier attestations
- —
How Verity works
Commit, execute, sign, re-execute, dispute: the same optimistic-verification idea behind rollup fraud proofs, applied to everyday computations.
- 1
Commit
The requester commits SHA-256 hashes of the exact WASM program and canonical JSON input on Solana, with a bounty in escrow.
- 2
Execute
A staked provider runs the program in a deterministic sandbox: no I/O, no clock, no randomness, metered fuel.
- 3
Receipt
The provider signs a receipt (output hash, trace root, fuel) with Ed25519. Solana checks the signature on-chain.
- 4
Re-execute
Independent verifiers, and you in your own browser, re-run the same program on the same input and attest the result.
- 5
Dispute
If the hashes disagree, anyone can stake a challenge. A verifier quorum settles it and the dishonest side is slashed.
What you get
Verify in your browser
Re-execute any result locally and compare hashes against the chain. You never have to trust our server.
Input & output integrity
Every stored artifact is content-addressed and re-hashed on display. Tampering shows up as a red banner.
Tamper-evident records
Requests, receipts, attestations and disputes live on Solana. The off-chain audit log is hash-chained and anchored on-chain.
Execution traceability
A Merkle trace of each run pinpoints the first divergent step, and every lifecycle event links to its transaction.
Adversarially tested
Malicious providers, swapped programs, forged signatures, tampered blobs and lazy verifiers are all caught.
Zero-knowledge proofs
Payroll results can be proven with a Groth16 proof verified on Solana, with no re-execution needed.
Happening now
The latest entries in the hash-chained audit log, each linked to its Solana transaction.
Loading…
Rule sets ready to run
Deterministic WebAssembly programs with integer-only maths, so every machine and browser computes bit-identical output.
Loading rule sets…
Don't trust the provider. Check the work.
Sign in with Google, connect a devnet wallet, and submit your first verifiable computation.