# OceanEye Sentinel ZK & BitVec Verifier

> OceanEye Sentinel ZK & BitVec Verifier is a paid API for AI agents from sentinel.oceaneye-ai.com, paid per call via x402, $0.03/call, status unknown (last checked 2026-11-04).

Verifies zero-knowledge proofs or bit-vector constraint expressions, returning a boolean result, solver mode, and optional counterexample

## Facts

- Endpoint: POST https://sentinel.oceaneye-ai.com/x402/verify-zk-and-bitvec?utm_source=zero.xyz
- Price: $0.03/call
- Payment: x402
- Status: unknown
- Last checked: 2026-11-04
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/oceaneye-sentinel-zk-bitvec-verifier-def77e1a
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_LPiI8a8EVTl4gKvit7RSB

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability oceaneye-sentinel-zk-bitvec-verifier-def77e1a -d '<json body>'
```

Example prompt: 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?

## When to prefer this

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.

## Known failure modes

- 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

## How this service works

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.

## Output

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.

## Request schema (JSON Schema)

```json
{
 "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"
   }
  }
 }
}
```

## Response schema (JSON Schema)

```json
{
 "type": "json",
 "example": {
  "verified": {
   "type": "boolean"
  },
  "check_type": {
   "type": "string"
  },
  "solver_mode": {
   "type": "string"
  },
  "counterexample": {
   "type": [
    "object",
    "null"
   ]
  }
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/oceaneye-sentinel-zk-bitvec-verifier-def77e1a/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from sentinel.oceaneye-ai.com](https://www.zero.xyz/host/sentinel.oceaneye-ai.com/llms.txt)