System Status
Operational
Base Mainnet Connected
USDC Reserve
Loading...
Available for refunds
Total Coverage
$0
Active policies
Total Policies
0
Since inception
Claims Paid
$0
Via zkEngine proofs
Recent Policies
No policies yet
Recent Claims
No claims yet
How It Works

1. Agents Buy Insurance
Agents pay a premium (1% of coverage amount) via x402 agent-to-agent payment (EIP-712 signed). Payment is verified before policy issuance.

2. zkEngine Generates Proofs
When an agent submits a claim, zkEngine analyzes the HTTP response and generates a zero-knowledge proof (~22s). The proof cryptographically certifies that failure conditions were met (e.g., status >= 500, empty response) without exposing the actual response data.

3. Refund + Proof Publication
Two on-chain transactions on Base Mainnet:
• 💰 Refund TX: Standard USDC transfer to agent
• 🔐 Proof TX: Proof data published for public audit (claim_id, proof_hash, public_inputs)

💡 Three On-Chain Transactions: Premium payment (x402), Refund (USDC), Proof publication (data). All viewable on Basescan.

# Failure Detection Logic (proven in zero-knowledge) def detect_failure(http_status, body_length): if http_status >= 500: # Server error return True if body_length == 0: # Empty response return True return False