{"uid":"cap_7hrj5fJxB_JHeMl8bM1oA","slug":"lucid-oracle-zk-proof-verification-service-ae7d66eb","name":"Lucid Oracle ZK Proof Verification Service","description":"Verify zero-knowledge proof","url":"https://lucid-oracle-production.up.railway.app/api/verify-proof","method":"POST","headers":{},"bodySchema":{"type":"object","required":["proof","circuit","publicSignals"],"properties":{"proof":{"type":"object","description":"The zk-SNARK proof to verify (Groth16 format)"},"circuit":{"enum":["hashPreimage","rangeProof","customArithmetic"],"type":"string","description":"Circuit type used"},"publicSignals":{"type":"array","description":"Public signals from proof generation"}}},"responseSchema":{"success":{"type":"boolean"},"metadata":{"type":"object","properties":{"circuit":{"type":"string"},"verifiedAt":{"type":"number"},"executionTime":{"type":"number"}}},"verified":{"type":"boolean","description":"Whether the proof is valid"}},"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.02","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.02/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.02","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.02","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_UJSvlw7MC1CD1KQoIZ8jr","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.02","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Verifies a zero-knowledge proof (Groth16 format) against a specified circuit and public signals, returning whether the proof is valid","exampleAgentPrompt":"Can you verify this Groth16 zk-SNARK proof I generated from the 'age_check' circuit — here's the proof object and the public signals [1, 0] — I need to know if it's valid before I proceed.","exampleUseCases":[{"title":"Validate proof before on-chain transaction","prompt":"I have a Groth16 proof from our 'balance_check' circuit and the public signals [1, 500000] — can you verify it's valid before I submit the transaction on-chain? I don't want to waste gas on a bad proof."},{"title":"Confirm ZK identity credential validity","prompt":"A user just submitted a zero-knowledge proof claiming they passed our KYC circuit — here's the proof object and public signals [1, 0] — can you check if this proof is actually valid before I grant them access?"},{"title":"Audit stored ZK proof correctness","prompt":"We have a batch of Groth16 proofs stored from last week's 'voting_eligibility' circuit runs — can you verify this one against its public signals [1, 18] and tell me if it still checks out as valid?"}],"resultDescription":"Returns a JSON object with a 'verified' boolean indicating proof validity, a 'success' boolean for the API call status, and metadata including the circuit name, Unix timestamp of verification, and execution time in milliseconds.","failureModes":["Invalid or malformed proof object returns verified: false or error","Unsupported circuit type returns error or unrecognized circuit response","Mismatched public signals (wrong count or values) causes verification failure","Malformed JSON in request body returns HTTP 400","Service unavailability returns HTTP 500 or timeout","Proof in wrong format (not Groth16) may cause parsing error"],"whenToPreferThis":"Choose this endpoint when you need to cryptographically verify an existing Groth16 zk-SNARK proof against known public signals and a circuit type — specifically as the verification step after proof generation, not for generating proofs. Use this when you need a definitive valid/invalid determination before accepting or acting on a ZK proof in your application.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-09-16T00:34:53.736Z","isFirstParty":false}