{"uid":"cap_fQSx4i3BqpWBSYc_Va5xh","slug":"oceaneye-sentinel-2-0-vault-and-rounding-verification-9f3a902d","name":"OceanEye Sentinel 2.0 — Vault and Rounding Verification","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-vault-and-rounding?utm_source=zero.xyz","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"max_assets":{"type":"integer","default":10000},"max_shares":{"type":"integer","default":10000},"redeem_fn_code":{"type":"string","description":"Python/AST code for preview_redeem"},"deposit_fn_code":{"type":"string","description":"Python/AST code for preview_deposit"},"check_zero_share_mint":{"type":"boolean","default":false}}},"responseSchema":{"type":"json","example":{"message":{"type":"string"},"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"counterexample":{"type":["object","null"]}}},"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_C2WQlURFWtDHvRBjSg7ZQ","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":"Formally verifies ERC-4626 vault share/asset rounding invariants by executing user-supplied deposit and redeem preview functions against symbolic or bounded inputs to detect counterexamples.","exampleAgentPrompt":"Can you verify my ERC-4626 vault's rounding invariants — here's my preview_redeem code and preview_deposit code — check up to 10000 assets and 10000 shares, and also enable the zero-share-mint check?","exampleUseCases":[{"title":"ERC-4626 rounding invariant audit","prompt":"I'm about to deploy my ERC-4626 vault and need to verify there are no rounding bugs. Here's my preview_deposit function and preview_redeem function — please run a formal verification pass with max_assets=5000 and max_shares=5000 and tell me if there are any counterexamples."},{"title":"Zero-share mint vulnerability scan","prompt":"My vault auditor flagged a potential zero-share mint issue. Can you check my preview_deposit code with check_zero_share_mint enabled, up to 10000 assets and 10000 shares, and show me any counterexample if one exists?"},{"title":"Pre-deployment vault logic validation","prompt":"Before I launch this lending vault, can you formally verify that my deposit and redeem preview functions satisfy the ERC-4626 rounding spec? Here are both functions in Python — use max_assets=1000 and max_shares=1000."}],"resultDescription":"Returns a JSON object indicating whether the vault's rounding invariants are verified (boolean), the type of check performed, the solver mode used, and optionally a counterexample object showing the specific asset/share values that violate the invariant if one is found.","failureModes":["Invalid or unparseable Python/AST code in redeem_fn_code or deposit_fn_code returns an error message","Solver timeout or resource exhaustion if bounds are very large","Malicious or unsafe code in function arguments may be rejected","Counterexample found — verification returns verified=false with counterexample details","Network or payment authentication failure returns HTTP 402 or 500"],"whenToPreferThis":"Use this endpoint when you need automated formal or bounded verification of ERC-4626 vault share/asset rounding invariants, especially before deploying vault contracts. Prefer it over manual unit testing when you want systematic counterexample search across a bounded input space. Best suited for DeFi developers needing quick, low-cost ($0.02 USDC) correctness checks on vault preview functions prior to audit or deployment.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-11-04T06:32:24.136Z","isFirstParty":false,"canonicalSlug":"oceaneye-sentinel-2-0-vault-and-rounding-verification-9f3a902d"}