Fund the result.
Pay when it's verified.
Kervyxa sells verifiable software outcomes, not hours. Freeze a specification, escrow the reward, and let an isolated verifier decide who gets paid.
Describe the finished result. The Specification Builder turns it into executable checks you approve line by line.
The reward is escrowed in USDC on Solana before a solver sees it. Kervyxa sponsors the transaction fee.
Any solver submits a commit. It is frozen to an immutable sha the moment it arrives.
A Docker-isolated, network-less verifier runs every check from the contract. PASS or FAIL, per check, published.
A provisional pass waits out a fixed window. Anyone can challenge with evidence; a resolver decides.
Escrow pays the winner on-chain and a hashed Resolution Proof records exactly what happened.
Reduce API p95 latency below 150 ms
Once the first contract on this deployment settles, its real Resolution Proof replaces this placeholder: every check's verdict, the commit that won, the on-chain settlement transaction.