{"uid":"cap_LPiI8a8EVTl4gKvit7RSB","slug":"oceaneye-sentinel-zk-bitvec-verifier-def77e1a","name":"OceanEye Sentinel ZK & BitVec Verifier","description":"OceanEye Sentinel 2.0 — Plataforma de Inteligencia Marítima Satelital con Radar SAR Sentinel-1, Segmentación SAM 3.1 (Puerta A + Control Negativo), Arena Multimodal Muse Wonder 1.0 vs Muse Spark 1.3 (n=30) y Cadena de Custodia Ed25519.","url":"https://sentinel.oceaneye-ai.com/x402/verify-zk-and-bitvec?utm_source=zero.xyz","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"expr":{"type":"string"},"mode":{"enum":["zk","bitvec"],"type":"string"},"output_var":{"type":"string"},"witness_vars":{"type":"array","items":{"type":"string"}},"public_inputs":{"type":"array","items":{"type":"string"}},"var_bitwidths":{"type":"object"},"target_bitwidth":{"type":"integer"},"constraints_exprs":{"type":"array","items":{"type":"string"}}}},"responseSchema":{"type":"json","example":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"counterexample":{"type":["object","null"]}}},"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.03","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.03/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.03","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.03","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_sdadteYBBjMEUBMXYB2tS","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.03","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Verifies zero-knowledge proofs or bit-vector constraint expressions, returning a boolean result, solver mode, and optional counterexample","exampleAgentPrompt":"Can you verify this zero-knowledge proof expression using bitvec mode — the expression is `x + y == z`, witness vars are ['x','y'], public inputs are ['z'], and the target bitwidth is 32?","exampleUseCases":[{"title":"ZK proof correctness check","prompt":"I need to verify a zero-knowledge proof where the expression is `a * b == c`, the witness variables are ['a','b'], the public inputs are ['c'], and I want to run it in zk mode with a 64-bit target bitwidth — can you check if it's valid?"},{"title":"Bitvec constraint satisfiability","prompt":"Check whether this bit-vector constraint is satisfiable in bitvec mode: expression is `x & y == 0`, var bitwidths are x:8 and y:8, target bitwidth 8 — and give me a counterexample if one exists."},{"title":"Circuit output variable validation","prompt":"Verify my constraint expression `out == in1 ^ in2` in zk mode with witness vars ['in1','in2'], output_var 'out', public inputs ['out'], and target bitwidth 16 — tell me whether it's verified and what solver mode was used."}],"resultDescription":"Returns a JSON object containing a boolean 'verified' field indicating proof/constraint validity, the 'check_type' used, the 'solver_mode' applied, and an optional 'counterexample' object (or null) if the verifier found a falsifying assignment.","failureModes":["Invalid expression syntax returns a parse error","Unsupported bitwidth values may cause solver failure","Mismatched witness vars and public inputs cause constraint resolution errors","ZK mode failures when witness values don't satisfy the circuit","Counterexample returned as null when expression is universally valid but verification fails for other reasons","Timeout for complex constraint systems with large bitwidths"],"whenToPreferThis":"Choose this endpoint when you need to verify zero-knowledge proofs or solve bit-vector constraint satisfaction problems via a hosted API, especially when you need a counterexample on failure. Prefer this over local solvers when you want a managed, pay-per-call service with no infrastructure overhead for ZK or SMT-style bit-vector checks.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-11-04T06:31:32.269Z","isFirstParty":false,"canonicalSlug":"oceaneye-sentinel-zk-bitvec-verifier-def77e1a"}