Veda
Onchain Capital Allocator
TVL $1.9B
Type Onchain Capital Allocator
Chains Ink, Ethereum, Optimism, Hyperliquid L1, Monad +8
View on DeFiLlama ↗
Control Exit Autonomy Open Access Verifiable
- Tier silver Weak AI consensus on all dimensions
- Verifiability green Verified source + multiple recognized audits
- Control orange 4-of-6 Safe controls T1 drain, no timelock
- Ability to exit tentative Exits pausable indefinitely, queued up to 7 days
- Autonomy tentative Mutable deps, rate providers, no timelocks
- Open Access tentative Deny-list and pause by 4-of-6 Safe
Control criteria
About
Veda provides BoringVault-based onchain vault infrastructure. Users deposit supported assets through a Teller and receive vault shares representing a claim on assets custodied in the BoringVault or deployed into DeFi positions. Curators and strategists allocate capital through Manager Merkle roots and DecoderAndSanitizer constraints, while the Accountant publishes exchange rates with onchain rate-limit and bounds checks. Exits use instant-withdrawal variants when available or a solver-based withdrawal queue.
Risk analysis
One card per dimension, sorted by severity. Only Verifiability and Autonomy carry automated signals in Phase 0. See methodology for scope.
Audit a dimension yourself · DEFI@home Contribute an LLM-run assessment — any model, any dimension. Three agreeing runs merge automatically into the public record.
DEFI@home is a distributed audit network modeled on SETI@home: instead of CPU cycles, it crowdsources LLM reasoning. Paste a slice prompt into Claude, ChatGPT, Gemini, or any browsing-capable model, and submit the JSON output as a pull request. The quorum bot merges it once ≥3 independent runs (from different models) reach the same grade — no single model, and no single contributor, can move the needle alone. How it works →
- Address discovery 4 addresses on file
· 1 run Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: DISCOVERY You are a cataloguer, not a judge. Your job is to surface every contract address that could plausibly belong to this protocol's control or fund-holding surface, each backed by a citation. `grade` is ALWAYS `"unknown"` for discovery submissions — there is no green/orange/red rubric here. The five evaluation slices that run after you (control, ability-to-exit, autonomy, open-access, verifiability) consume your output via the addressBook ratchet — every address you record becomes a pre-built surfacer URL on the next run; every address you miss costs them a tool call. Width beats depth. A `role: "other"` entry with one cited URL beats omitting it. Downstream slices will discard out-of-scope entries; they cannot rediscover what you fail to enumerate without paying the same cost again. (Step 0 capability probe lives in the preamble — those rules apply here.) ### MANDATORY INSPECTION CHECKLIST (every D-code below must appear in evidence[] OR unknowns[]) - **D1. Block-explorer name-tag search per chain.** For each chain in `protocol.chains`, search the canonical block explorer for the protocol's name tag — `https://etherscan.io/searchHandler?term=<query>` and the per-chain explorers (basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network). When direct fetch is blocked, use `site:<explorer> <protocol_name>` via search grounding. Record every address that surfaces with the protocol's tag, plus neighbouring "Token Contract" / "Multisig" / "Timelock" labels. - **D2. Official deployments doc.** From `protocol.website` and the docs site, locate the canonical "Deployed contracts" / "Addresses" / "Contracts" / "Deployments" page (often at `/docs/deployments`, `/docs/addresses`, `/dashboard/contracts`). Cite the URL, record every address listed with its named role, and set `protocol_metadata.deployed_contracts_doc` to this URL. - **D3. Audit PDFs.** From `protocol.audit_links` (and any audits surfaced by D2), open each. Most reports include a "Scope" / "Contracts in scope" address table in the first 5 pages. Extract every in-scope address with its labelled role. If the audit predates the current deployment, record the addresses anyway with role suffixed `(audit-era)` so downstream slices know to re-verify. - **D4. GitHub deployment artifacts.** From `protocol.github`, walk the repo at a pinned commit SHA looking for: Foundry `broadcast/<script>/<chainId>/run-latest.json` (`transactions[].contractAddress` per chainId); hardhat-deploy `deployments/<network>/<Contract>.json` (`address` field); manual indexes (`deployments.json`, `addresses.json`, `contracts.json`, `networks.json`); markdown indexes (`docs/deployments.md`, `README.md` tables). Cite the file URL with the commit SHA; pin SHAs (`?ref=<sha>`) so the citation is content-addressed. - **D5. Multi-chain enumeration.** If `protocol.chains.length > 1`, repeat D1–D4 per chain. Cross-chain deployments of the same logical contract get SEPARATE `admin_addresses[]` entries — one per chain. The chain field is part of the identity; do not collapse. If a chain has zero results, record `"D5: chain <name>: zero addresses surfaced from <sources tried>"` in unknowns[]. - **D6. Factory-discovered children.** For factory addresses surfaced in D1–D4, fetch the enumeration view via the read API (`/api/contract/read?...&method=allPools` / `getPool` / `getMarket` / `getVault`) and record each child with role like `"pool (from factory <0xFactory>)"`. **Cap at 50 children per factory.** Protocols with thousands of pools (Uniswap, Sushi) need dedicated ingestion — record the factory + the cap notice in unknowns[]. - **D7. Role taxonomy.** Every `admin_addresses[]` entry's `role` uses this controlled vocabulary (free-text suffixes OK for disambiguation, e.g. `"multisig (treasury)"`, but the leading token must match): `owner | admin | proxy_admin | governor | timelock | guardian | multisig | treasury | oracle | factory | router | token | pool | vault | other` Tentative classifications are encouraged. `actor_class` ∈ `eoa | multisig | timelock | governance | unknown` — use `unknown` when you found the address but didn't read its bytecode. - **D8. Ratchet output integrity.** Every address in `admin_addresses[]` must trace to ≥1 fetched URL in evidence[]. Snippet-only sightings go in unknowns[] with a `D8` code, NOT in admin_addresses[]. ### Discovery rationale framing - `rationale.findings`: one entry per D-code, terse, factual. Per-address detail belongs in evidence[] and admin_addresses[], not here. Example: `"D1: 8 addresses surfaced from etherscan.io name-tag search for 'Aave V3'"`. - `rationale.steelman`: ALWAYS null. - `rationale.verdict`: one short line summarizing what corpora were walked and how many addresses were catalogued. - `headline`: factual and quantitative — `"24 contracts catalogued across Ethereum, Arbitrum, and Base; 6 governance/admin and 18 protocol contracts."`. - `short_headline`: under 60 chars — `"24 contracts across 3 chains"`. ### What discovery is NOT - Not a verdict slice. `grade` must be `"unknown"`. - Not exhaustive enumeration of leaf assets — record the factory + cap and move on (see D6). - Not classification of trust assumptions — whether a multisig threshold is safe / timelock delay is sufficient / proxy admin is an EOA is the control slice's job. - Not address-book reconciliation: when addressBook is non-empty, EXTEND it (find addresses prior runs missed) rather than re-cite the same addresses; re-cite only when you have new evidence for a refined role. ### protocol_metadata side-effects While walking the corpora, populate every `protocol_metadata` field you can support with citations: `github`, `docs_url`, `audits` (one per D3 audit walked), `governance_forum`, `bug_bounty_url`, `security_contact`, `deployed_contracts_doc` (URL from D2), `upgradeability` (best-effort), and `about` (2–4 sentences sourced from docs/website, not memory). Discovery is the natural home for these — evaluation slices should not have to rediscover them. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "discovery", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Verifiability
✓ 4/4 models agree
AI-only
3/4 with chat share link
Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: VERIFIABILITY Evaluate whether an outsider can independently confirm what the deployed code does. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - V1. For each address you assess: is the bytecode verified on the chain's block explorer? Record the "Contract Source Code Verified" indicator. https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... returns this as a top-level "verified" boolean plus "abiSource" ("etherscan" / "sourcify") and an inline ABI — useful when the explorer page is rate-limited. If the contract is a proxy, verify BOTH the proxy contract AND the current implementation contract. The same /api/contract/abi response auto-resolves proxies and includes a "proxy.implementation" address when present, so one call covers V1 + V6 in one shot. An explorer "Similar Match" on a well-known proxy pattern (Aragon AppProxyUpgradeable, ERC1967Proxy, OssifiableProxy, OZ TransparentUpgradeableProxy) is expected for that pattern and does NOT count as a verification gap on its own — what matters is that the implementation is independently verified. - V2. Source-to-repo correspondence: for each verified contract, attempt to find a matching commit in the linked GitHub repos. Record evidence[].commit on a match. Independent compile/bytecode-match is NOT required for green — a recognized public repo whose structure and file contents correspond to the explorer-visible source is sufficient. If you did not pin a commit SHA or run a bytecode diff, record that plainly in unknowns[] and proceed; it is a scope limit, not a downgrade signal. - V3. Audit coverage: for each URL in protocol.audit_links, open it and record: auditor name, audit date, the specific contracts / commit in scope. Flag audits that predate the current deployment by >6 months without a follow-up review. - V4. Auditor recognition: the following firms are broadly recognized in Solidity: Trail of Bits, Zellic, Spearbit, OpenZeppelin, ConsenSys Diligence, Certora (formal verification), Quantstamp, Halborn, Peckshield, Sigma Prime, ChainSecurity, Ackee Blockchain, MixBytes, Statemind. Unknown firms are orange-at-best for any green-grade claim. Name the firm explicitly in evidence[]. - V5. Post-audit drift: compare the most recent in-scope audit(s) against the currently-deployed source, weighted by what each contract does and by what the changes actually contain. SCOPE — drift only downgrades the grade when ALL of the following hold: (i) the drifting contract is fund-custody / settlement / accounting-critical (NOT a peripheral router, lens, quoter, or pure-view contract that holds no balances); (ii) the changes are material — new functions, modified access control, modified accounting, modified fund flow — and not refactors / struct relocations / import reorgs / build or CI fixes / formatting; (iii) no later audit, fix-audit, or differential audit from a recognized firm covers the changed files (audits often pin a pre-fix commit while a follow-up reviews the delta — match by file scope, not by commit-hash equality). When you cite drift as a downgrade reason, name the specific behavior change (function added, role granted, accounting formula altered) — "N commits ahead" or "+X/-Y LOC" alone is not evidence of material drift. If you have not sampled the diff content (e.g. via the GitHub compare view or the top commits in the window), record drift as an unknowns[] entry rather than auto-downgrading; commit-count and LOC are starting signals, not findings. - V6. Implementation vs proxy: a verified proxy with an unverified implementation is effectively unverified. State whether the implementation is verified separately. EVIDENCE DISCIPLINE (read before writing findings[]): - Do not assert a specific deploy-commit SHA, bytecode equivalence, or "identical to audited commit" unless you actually fetched the artifact that shows it (e.g., a deployed-addresses JSON you opened, an explorer page you read). Inferred or plausible matches belong in unknowns[], never in findings[] or evidence[]. - Evidence[] entries must correspond to pages/files you actually retrieved this run. A URL you did not open is not evidence. Then write the steel-man section per Hard Rule 11. Grade rules: - green = deployed bytecode verified on the explorer (proxy AND implementation if proxied; "Similar Match" on a standard proxy pattern is fine per V1), a public source repo exists whose contents correspond to the explorer-visible source, AND ≥1 audit from a recognized firm covering the currently-deployed contracts (≤6 months of drift OR drift was re-audited). A missing local compile-match is not a downgrade — record it in unknowns[] and still grade green if the other conditions hold. - orange = verified but with visible drift from the public repo, OR audit scope is stale relative to deployment, OR only minor / unknown-firm audits exist, OR only some of the main contracts are verified, OR proxy verified but implementation only partially verified. - red = unverified bytecode (or verified proxy with unverified implementation), OR no audit in protocol.audit_links, OR no public repo. - unknown = reserved for when the protocol's verifiability posture genuinely cannot be assessed (e.g., explorer and repo both inaccessible for this protocol). Do NOT use unknown merely because you, the analyst, could not run a particular check such as a bytecode diff — that goes in unknowns[] while the grade is still assigned from the evidence you do have. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "verifiability", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Control
✓ 3/3 models agree
AI-only
3/3 with chat share link
Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: CONTROL Evaluate who can change the protocol's rules, how fast, and how broadly. (Step 0 capability probe and the off-chain-only fallback live in the preamble — those rules apply here.) ### MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]) - **C1.** For each address you assess: who is the contract owner / admin / pendingAdmin / governor — read these via the block explorer's "Read Contract" tab OR `https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=owner` (BARE method names: `&method=owner`, `&method=admin`, `&method=pendingOwner`, `&method=governor`). For Safes use `/api/safe/owners?chainId=<id>&address=0x...`. When a protocol has multiple major versions deployed (v2/v3/v4), perform C1 reads on the NEWEST deployment separately — newer deployments often have weaker control surfaces than the legacy core. - **C2.** Upgrade mechanism: transparent proxy / UUPS / Beacon / Diamond / immutable. Identify the proxy admin address. Check upgradeability of GOVERNANCE contracts too — a Governor / Aragon Voting / OZ Governor is often itself a proxy whose admin is the Timelock. Asymmetry: when fund-holding cores are immutable AND governance has no admin path that reaches them, an upgradable Governor/Timelock is T3-only and must NOT drag the verdict below green on that basis alone (see grade rules and the "immutable cores" caveat). Only call upgradability "mixed" if you can name a concrete function on the upgradable surface that reaches T1 or T2 on user funds. - **C3.** EXECUTION PATH (enumerate every stage, in order, with delays in seconds). The operative path is usually a chain (voting → scheduler → timelock → executor; or governor → queue → execute; or Aragon Voting → DualGovernance → EmergencyProtectedTimelock → AdminExecutor). For each stage, record (a) the contract address, (b) the delay constant name + value in seconds, (c) the URL you read it from (block-explorer Read Contract OR `/api/contract/read?...&method=MIN_DELAY&block=<n>`). Do NOT stop at the first timelock-shaped contract — if its admin is itself called by another contract, keep walking. The grading delay is the SUM OF DELAYS ON THE UNCONTESTED FAST PATH (shortest time a proposal with no opposition can go from submission to executable). Dynamic / contested extensions (veto signaling, rage quit, escrow delay) are modifiers, not the basis — note them separately. - **C4.** Enumerate EVERY multisig with reachable control — main proxy admin, emergency activation, emergency execution, reseal / pause, gate-seal committees, tiebreaker, per-module admins. For each Safe, fetch threshold + owners + version via `/api/safe/owners?chainId=<id>&address=0x...` (response includes raw eth_call data, so the URL is citable evidence). Enumerate ops/council/incentives multisigs even when off the upgrade path — record their scope so a reader can see they are NOT on the upgrade path. For each: (a) address, (b) threshold / total signers, (c) signer identities classified as insider (team, paid auditors under ongoing engagement, mandated service providers) vs non-insider (independent community members, unaffiliated researchers), (d) the specific power held (upgrade, pause, parameter, etc.). - **C5.** On-chain governance: Governor / GovernorBravo / OZ Governor / Aragon Voting with token-weighted voting? Record proposal threshold, voting period, quorum, and the timelock delay between queue and execute. Every numeric constant must come from a Read Contract call you can link to, or be in unknowns[] with the C-code. If votingDelay / votingPeriod are denominated in BLOCKS, convert to seconds at the chain's CURRENT block time (Ethereum mainnet ≈ 12s post-Merge, not the 15s in older Compound/Bravo deployments) — cite both block count and converted seconds. - **C6.** EMERGENCY POWERS: separate emergency-pause / guardian role with a different time cap or different actor than the main upgrade authority? Record it explicitly. - **C7.** POWER TIER (blast radius). For each privileged path in C3–C6, classify the WORST thing that path can do, choosing the highest applicable tier. Cite the specific function name and any on-chain bound — tier claims without a named function are unsupported. - **T1 — FUND-CRITICAL**: replace implementation of contracts holding user funds; change AMM math / accounting / collateral logic; mint unbacked debt or shares; pause withdrawals; drain user-fund treasury; change oracle to attacker-controlled source; replace upgrade admin with EOA. - **T2 — ECONOMICALLY MATERIAL**: change fee parameters within bounded ranges; redirect protocol fees; add/remove markets / collateral types; bounded inflation or token mint within hard-capped schedule; spend protocol-owned (non-user) treasury. - **T3 — GOVERNANCE-INTERNAL**: change voting rules, quorum, voting period, proposal threshold; upgrade the Governor itself; rotate Timelock admin; mint governance tokens within a capped annual schedule. - **T4 — OPERATIONAL**: incentives distribution, grants, ENS / frontend canonicalization, deployment coordination, periphery router deprecation. The grade is set by the HIGHEST tier reachable on the uncontested fast path, not the median. State the tier and the binding function in the verdict. ### Read Contract discipline (applies to C3, C4, C5) Every numeric constant cited (timelock delays, voting periods, multisig thresholds, quorum percentages) must come from EITHER (a) a block-explorer Read Contract URL, OR (b) a DeFiPunkd `/api/contract/read` or `/api/safe/owners` URL (preferred with `&block=<n>` for content-addressed evidence), OR (c) an unknowns[] entry with the C-code. Docs / blog posts are corroboration only — they cannot be the sole citation for a value that is also readable on-chain. ### Off-chain-only substitute hierarchy (when grading_basis="off-chain-only" — see preamble Rule 16) When on-chain reads were genuinely unreachable this run, eligible off-chain substitutes in priority order: 1. Linked audit PDFs (admin roles, multisig members, timelock delays usually enumerated). 2. Governance forum posts that quote constants from a successful on-chain proposal (cite post URL + linked execution-tx URL). 3. Official protocol docs pages with named addresses and roles (must be on a domain owned by the protocol). 4. GitHub README / SECURITY.md / governance/*.md at a pinned commit SHA. Forbidden substitutes: third-party blog posts, X / Twitter threads, search-result snippets, model memory. Required degradation: any C-code citing a numeric constant from docs/forum/audit prose ONLY must also carry an `unknowns[]` entry with `-offchain` suffix noting "value not re-read on-chain in this run; corroboration only". ### Grade rules (apply the timelock bar conditional on the highest C7 tier reachable on the fast path) Security Council standard (used below): a multisig qualifies as "Security Council" only if ALL of: ≥7 signers, ≥51% threshold, ≥50% non-insider signers, every signer publicly announced. Failing any criterion = NOT a Security Council, regardless of signer reputation. - **green**: highest reachable tier is T3 or T4 regardless of timelock; OR T2 reachable with uncontested-fast-path delay ≥7 days; OR T1 reachable only via immutable contracts (T1 is unreachable); OR T1 reachable with uncontested-fast-path delay ≥7 days combined with a Security Council multisig; OR T1 reachable with uncontested-fast-path delay ≥7 days through active on-chain governance with broad token distribution. - **orange**: T2 reachable with uncontested-fast-path delay >0 but <7 days; OR T1 reachable with uncontested-fast-path delay >0 but <7 days; OR a multisig failing one or more Security Council criteria sits on a T1/T2 path; OR unclear upgrade authority on a T1/T2 path; OR governance with very short timelock or low quorum on a T1/T2 path. - **red**: T1 reachable with no timelock by a single EOA or 2-of-3 multisig; OR a T1 upgrade admin that is not a smart contract you can audit. - **unknown**: completed the checklist but still cannot determine the upgrade authority OR cannot classify the highest tier reachable on the main contracts. Tiering caveats: - "Bounded" must be enforced ON-CHAIN to count as T2. A function that sets fees with no upper-bound check is T1 — cite the bound check. - Recurring T2 economic extraction (e.g. fee redirect with no rate limit) approaches T1 over time. A single proposal that can permanently redirect all future revenue is T1. - T3 assumes the governance contract cannot itself authorize a T1/T2 action without going through the same timelock. If governance can self-upgrade to bypass the timelock, T3 collapses into T1. - Do not downgrade tier by hand-waving ("realistically governance would never…"). Tier on what the contract permits, not what feels likely. Notes: - **Dynamic / dual-governance timelocks** (Lido, Compound escrow veto): the rubric grades on the uncontested path because that is the path most upgrades take. A dynamic extension that fires only under stake-weighted opposition is a real protection — name it in the green steel-man, but it does not lift an orange fast path into green; state the tension in the verdict. - **Immutable cores with upgradable governance** (Uniswap-style): if fund-holding contracts are immutable and have no admin-reachable function moving / freezing / re-routing user funds, the highest reachable tier on the upgrade path is T3 — green regardless of timelock. Don't grade this orange just because the Governor is a proxy — that's a C2 fact, not a downgrade. Downgrade only applies if you can cite a concrete function on the upgradable surface that reaches T1 or T2 (privileged hook, upgradable factory controlling fund-routing, fee-switch redirecting protocol revenue without bound). - **The 7-day bar** reflects the exit-window standard — users need notice after a queued upgrade to withdraw if they disagree. The ability-to-exit slice grades the exit side; this slice grades the delay side; both must hold for users to actually benefit from the delay. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "control", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Ability to exit
✓ 3/3 models agree
AI-only
weak orange — weak consensus margin Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: ABILITY-TO-EXIT Evaluate whether users can withdraw their funds on their own terms, even under adversarial admin conditions. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - E1. Enumerate every user-facing exit function in the main contracts: withdraw, redeem, burn, requestWithdrawal, claim, exit, etc. List them by name. Do NOT treat the contract as a monolith. - E2. For EACH exit function in E1: identify its access modifiers and any pause guards (e.g. _checkResumed, whenNotPaused, onlyRole). Functions that gate REQUEST PLACEMENT often differ from functions that CLAIM FINALIZED FUNDS — check both separately. - E3. For each pause guard: identify the role holder (which address holds PAUSE_ROLE / GUARDIAN / etc.) and the maximum pause duration. Specifically check whether PAUSE_INFINITELY (or equivalent uncapped pause) is callable, and which actor can call it (single multisig vs governance vote). For role-holder reads use https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=hasRole&args=0x...,0x... or &method=getRoleAdmin&args=0x.... For "is currently paused" checks use &method=paused or &method=isPaused&args=<resume-code>. Use the BARE method name (no parens). Cite the URL with &block=<n> in evidence[]. - E4. EMERGENCY vs GOVERNANCE pause distinction: many protocols have a fast-acting emergency pause capped at N days and a slow governance pause that can be indefinite. Record both paths separately if present, with their time caps and actor classes. - E5. Queued redemption: documented maximum queue duration, daily withdrawal caps, whether the queue itself is pausable. - E6. Forced-exit / escape-hatch / permissionless emergency-exit mechanism for adversarial-admin scenarios. - E7. Frontend dependency: confirm exit functions are directly callable on-chain (e.g. via Etherscan write tab or a generic wallet) without the project's frontend. Then write the steel-man section per Hard Rule 11. Common red-vs-orange tension on this slice: indefinite pause exists (suggests red) BUT the realistic emergency path is time-capped AND claims of already-finalized exits are not pause-gated (suggests orange). Resolve this by stating who can do what for how long, not by stopping at the worst-case sentence. Grade rules: - green = permissionless exit; pause is either absent, narrowly scoped to clearly-described emergencies with auto-expiry, or capped at ≤7 days; no frontend dependency for exit; claims of already-finalized exits are not pause-gated under any path. - orange = pausable with broad scope OR indefinite pause is reachable only through governance vote (not unilateral admin action), OR queued redemption with documented max > 7 days, OR claims-of-finalized are exempt but new-request placement can be paused indefinitely by governance. - red = exit requires admin signature, OR ANY actor (including governance) can pause CLAIMS of finalized exits indefinitely, OR there is no on-chain exit function at all (purely custodial), OR pause is held by a single EOA / 2-of-3 multisig with no time cap. - unknown = checklist incomplete after checking the sources above. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "ability-to-exit", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Autonomy
✓ 3/3 models agree
AI-only
weak orange — weak consensus margin Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: AUTONOMY Evaluate this protocol's autonomy: can a failure of anything outside its own contracts cause theft or loss of user principal, loss of unclaimed yield, or materially change the protocol's expected performance? "Autonomy" is not "has zero external touchpoints" — it is "external failures are either survivable or recoverable without user loss". This slice adapts DefiScan v1's Autonomy dimension; dependencies are one of several criteria, not the whole frame. GUARDRAILS (read before grading): - Category alone (Liquid Staking, Bridge, RWA Lending, Restaking, …) does NOT force a grade. A category is a hint about where to look; the grade must come from the concrete A1–A9 findings below. - Base-chain consensus (Ethereum PoS, the chain's validator set, the canonical Deposit Contract at 0x00000000219ab540356cBB839Cbe05303d7705Fa) is the SUBSTRATE, not a dependency, for any protocol deployed on that chain. Do not list "depends on Ethereum" as a finding. - Oracles or other integrations used by DOWNSTREAM protocols that happen to read this protocol's token (e.g. Chainlink stETH/USD consumed by Aave) are NOT this protocol's dependencies. Count only what THIS protocol's contracts call or trust on-chain. If a feed or contract appears in the protocol's docs only as reference material for third-party integrators, EXCLUDE IT ENTIRELY — do not log it as a finding even with a "peripheral" or "referenced only" caveat. - "Upgradeable admin can change things" belongs to the CONTROL slice; only count it here when the upgrade surface lets governance silently swap an external dependency (see A9). - Underlying-asset risk in opt-in, isolated markets is NOT autonomy-red on its own. When a protocol wraps third-party yield-bearing assets (LSTs, LRTs, ERC-4626 vaults, lending receipts, restaked tokens) into per-market silos that users explicitly choose, a failure of one underlying does NOT propagate to other markets and is risk the user opted into per-market. Record it under A4 with depth and propagation scope, but do not let it alone drive a red verdict — red requires an external dependency that cross-cuts the protocol or that the user did not opt into at deposit time. A failure mode that is "if the LRT you deposited is hacked, your principal in that LRT-backed market is impaired" is the underlying's autonomy story, not this protocol's; grade it on whether THIS protocol introduces additional dependencies on top. - Sub-module enumeration is mandatory before grading. If the protocol ships distinct product lines or modules (e.g., a v2 core AMM plus a newer perps/funding-rate module, a lending pool plus a separate vault layer, an L1 core plus a cross-chain extension), enumerate each in findings and grade against the WORST module weighted by its share of TVS or its blast radius. A green core does not rescue an orange/red sub-module; conversely, a small red sub-module with capped TVS may bound the overall grade to orange. Name each module by its on-chain factory or router address. If you do not know whether a module exists, that is an unknowns[] entry, not silence. EXPLICIT TVS WEIGHTING: in the verdict, state each module's approximate share of total protocol TVS (use "~X%" if exact figures unavailable; check DeFiLlama or block-explorer balances on the module's main contract) and how that share informs the weighted grade. Format: "Module A holds ~X% of TVS (grade: <g>); Module B holds ~Y% (grade: <g>); weighted overall = <grade> because <reason>." If a red sub-module holds <5% of total TVS and is capped, the overall grade may be orange; if it holds >25%, the overall grade is red. Do not let qualitative reasoning substitute for the percentages — write the numbers. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. External contract calls. Enumerate every external contract the core contracts call or read from (oracles, price feeds, AMM pools, lending pools, staking/deposit contracts, yield wrappers). For each, identify the address, the provider, and what user-facing function of this protocol would break or mis-price if that external contract paused, mis-reported, or behaved adversarially. Grep for "oracle", "aggregator", "getPrice", "latestAnswer", "chainlink", "pyth", "redstone" as a starting point. To verify an oracle is live and what it currently reports, hit https://defipunkd.com/api/contract/read?chainId=<id>&address=<oracle>&method=latestAnswer (or &method=latestRoundData, &method=getPrice, &method=description; use the BARE method name without parens) and cite the URL — the response includes blockNumber/blockHash and rawReturnData, which is stronger evidence than a docs page about which feed "should" be used. - A2. Off-chain actor committees reporting INTO the protocol. Oracle committees, guardian multisigs, DAO-selected validator sets acting as protocol reporters, exit-bus signers, fraud-proof challengers. For each, record committee size, quorum, who picks the members, and what mis-reporting could do (mint, burn, finalize withdrawal, freeze). Distinguish this from governance admins (control slice). NOTE ON STAKING PROTOCOLS: validator slashing and node-operator misbehavior are properties of the base-chain substrate, NOT external dependencies, when the operator set is diversified enough that a coordinated failure caps at <5% principal loss. Count validator/operator risk under A2 ONLY if the operator set is small, non-diversified, or lacks bonding / slashing-insurance / diversification mitigations. A curated set of 30+ independent operators with documented diversification falls under the mitigated path; a 3-operator LST does not. Do not cite the protocol's own risk disclosure as evidence that operator failure = principal loss unless you also check the diversification and bond mitigations. - A3. Bridge / cross-chain messaging dependencies. Only count bridges that carry material TVL or are required for a core user flow. For each, name the bridge operator (canonical L1↔L2, LayerZero, Wormhole, Axelar, custom multisig), the trust model (canonical, optimistic, light-client, guardian set), and what fraction of TVL or users ride on it. "wstETH exists on 15 chains" is not a finding unless material TVL sits there. Before listing any non-primary chain deployment as a dependency, verify it is still operational as of analysis_date — retired or sunset deployments (e.g., Lido-on-Terra, Lido-on-Solana) belong in unknowns[] or should be omitted, never cited as a current dependency. - A4. Nested collateral / restaking chains. For restaking / LRT / receipt-of-receipt designs: record the depth of the collateral chain, every actor with slashing or freezing power at each level, and whether a failure N levels deep propagates to user principal here. - A5. Fork lineage (silent check). If DeFiLlama's forkedFrom is non-empty, record it as one finding and move on. If empty, do NOT add a placeholder finding; it adds noise. - A6. Fallback mechanisms and circuit breakers. What catches an external failure? Sanity-check contracts on oracle reports, rebase bounds, pause paths triggered by bad prices, second-opinion oracles, max-per-block throughput caps, withdrawal queues that absorb bad reports. Record which A1–A4 risks are mitigated by which fallback, and which are unmitigated. For EACH fallback you cite, state its activation status explicitly: (i) LIVE and enforcing on-chain today, (ii) DEPLOYED but not yet wired / activated (e.g., interface exists but the address is zero or the role is unassigned), or (iii) DOCUMENTED / PROPOSED only (forum post, LIP draft, audit pending). Only (i) counts as mitigation for the grade. A fallback in state (ii) or (iii) should be noted but must not reduce the risk in your steel-man or verdict. If you cannot determine activation status, add an unknowns[] entry rather than assume it is live. - A7. Sequencer / L1-liveness dependency BEYOND the base-chain substrate. SCOPE — sequencer risk only counts here when the protocol IS its own L2/L3 appchain or app-rollup, where the sequencer is part of the protocol's own stack and a freeze is a protocol-level outage. A protocol permissionlessly deployed on a third-party L2 inherits that L2's sequencer as substrate, not an A7 dependency. Record the sequencer/DA trust model when A7 applies. - A8. Keeper / relayer / off-chain bot liveness. Protocols that need permissionless-but-necessary off-chain actors (liquidation bots, auto-compounders, deposit relayers, intent solvers). Record whether the role is permissionless, what degrades if nobody runs it (yield paused, bad debt accumulates, positions go stale), and whether the failure mode is graceful or catastrophic. - A9. Governance-mutable dependency surface. Can an admin or DAO action silently INTRODUCE a NEW EXTERNAL dependency — swap the oracle address to a different provider, register a new staking module that calls an untrusted contract, add a new bridge, route SY through a new external vault — without an exit window for users? Check the upgrade / router / module-registry contracts. Answer: which EXTERNAL dependencies are governance-mutable, who holds that power, and whether there is a timelock or exit window. SCOPE LIMIT — read carefully: A9 is about the *external dependency surface*, not the upgrade surface in general. "The proxyAdmin / EOA can upgrade the router implementation to arbitrary bytecode" is a CONTROL-slice finding (admin can rug), NOT an autonomy-A9 finding. A9 fires only when the upgrade specifically swaps out or adds a contract that THIS protocol calls or trusts (e.g., changing the oracle address from Chainlink to a malicious feed, registering a new SY adapter that points to a third-party vault, redirecting a bridge endpoint). If the only finding is "admin can change implementation," do not log it under A9 and do not let it drive the autonomy grade — note it under control instead. The autonomy-relevant version of the same upgrade key is "admin can swap [specific external address X] without timelock"; that requires identifying the specific external dependency that becomes mutable. STEEL-MAN (per Hard Rule 13): write one-sentence strongest arguments for red, orange, and green using the A1–A9 findings. IMPACTED TVS ESTIMATE: the headline MUST include a rough impacted-TVS figure — the fraction of protocol TVS that could be lost or frozen if the worst-unmitigated dependency you identified failed. Use "~X%" if exact numbers are unavailable, "<1%" for de minimis, "unclear" only if A1–A9 left the question genuinely open (in which case grade=unknown is usually correct). Do NOT substitute qualitative phrases like "significant" — give a number or bracket. GRADE ANCHORS (mapped to DefiScan v1 stages): - green = Stage 2 equivalent. Failure of any external dependency cannot cause loss of user principal or unclaimed yield. Either there are no material external dependencies, or every critical one has a documented fallback (A6) that keeps users whole. Governance cannot silently introduce new dependencies without an exit window (A9). Impacted TVS under any single-dependency failure: effectively 0. - orange = Stage 1 equivalent. Failure of some external dependency can cause loss of unclaimed yield, or can materially change expected performance (pause withdrawals, freeze positions, degrade price quality), but cannot cause loss of principal. Committee-based oracles with sanity checks, canonical-only bridges, fallback paths that exist but are incomplete, or governance-mutable dependencies protected by a ≥7-day timelock. Impacted TVS is bounded and recoverable. - red = Stage 0 equivalent. Failure of an external dependency CAN cause theft or loss of principal. Examples: single-provider oracle with no sanity check or fallback, material TVL on a non-canonical bridge with a guardian multisig, governance can hot-swap oracles or add staking modules with no timelock or exit window, unmitigated keeper-liveness dependency where positions become insolvent if bots stop. Impacted TVS is material. - unknown = checklist incomplete after inspecting source + verified contracts. Prefer unknown over guessing when A1/A6 could not be reconstructed. RESERVE unknown for cases where the CORE ARCHITECTURE itself is unverifiable — not for cases where you merely cannot enumerate every per-market dependency in a multi-market protocol. If the core router/factory/oracle architecture is verifiable on-chain and you can determine whether the core requires external dependencies, grade the architecture even when an exhaustive per-market external-dependency census is infeasible. Acknowledge the per-market gap in unknowns[] but still issue a grade. Refusing to grade a multi-market protocol because you cannot list every SY/vault/market is over-use of unknown; grade the architecture and say so. PROMPT-META CHECK (per Hard Rule 17): before finalizing, verify the verdict cites concrete contract addresses, docs, or code — not the rubric itself. If your verdict says "the protocol belongs to a category the rubric marks red", rewrite it with the A1–A9 finding that actually justifies the grade, or drop to grade=unknown. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "autonomy", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Open Access
✓ 3/3 models agree
AI-only
weak orange — weak consensus margin Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: OPEN-ACCESS Evaluate who is allowed to use the protocol and whether any of that permission is granted off-chain. Scope: this slice is about ADMISSION — who can enter, exit, or transact. Operator LIVENESS (what breaks if keepers/oracles go offline) is assessed in the dependencies slice and is out of scope for the grade here. You may note operator dependencies as context, but do not let "the protocol halts if operator X disappears" drive the access grade on its own; that belongs in dependencies. Source verification / contract verification on block explorers is assessed in the verifiability slice and is out of scope here — do NOT let "contract is unverified" drive the access grade. Framing: the smart contracts are the access layer; frontends are UX. A permissionless contract is reachable by any client (SDK, third-party UI, aggregator, wallet integration). Frontend ToS, IP geo-blocking, and wallet screening are publisher policies on one specific client — they are reported as context but do NOT determine the grade. The grade hinges on (1) what the contract itself permits, and (2) whether the protocol is practically reachable without the official publisher's cooperation. Meta-check before finalizing: if your verdict cites phrases from this prompt as evidence ("the protocol meets the 'credible alternatives' condition", "this fits the 'documented fallback' rule"), redo the verdict. The prompt describes the rubric; evidence must come from the protocol. A verdict should cite what the protocol does, not what the rubric says. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. Whitelist / allowlist modifiers in user-facing entry points. Grep for "onlyWhitelisted", "onlyRole", "allowlist", "isAccredited", "isKYCed". Note which functions are gated and who can add/remove from the list. - A2. Off-chain operators in the admission path: keepers, sequencers, privileged relayers, oracle posters whose approval is required to admit a user action (not just to keep the protocol live). For each, identify whether the role is held by a single operator, a permissioned committee, or is permissionless. Enumerate per user-facing function class (deposit vs withdraw-request vs claim-finalized vs transfer) which ones require operator approval to be admitted, and which ones admit users unconditionally. A function whose placement is unconditional but whose downstream settlement depends on an operator is an admission-permissionless function — flag the liveness dependency as context and defer its grading weight to the dependencies slice. - A3. Frontend restrictions on the official interface — record as context, not as a grade lever. Distinguish: - A3-passive: boilerplate ToS clauses (sanctions attestation, restricted-territory self-certification, VPN-circumvention prohibition, "comply with applicable law" eligibility, age of majority). - A3-active: runtime enforcement — IP-based geo-blocking, wallet-address screening against a sanctions oracle (Chainalysis, TRM, Elliptic), KYC wall, rendering-blocking jurisdiction banner. Record findings under the correct tier. Quote ToS text or banner text in evidence[].shows. These findings populate the headline and rationale but do NOT move the grade by themselves; the grade is set by A1, A2, and the A3b path check below. - A3b. Independent access paths (the operative grade input). Enumerate paths that do not require the official publisher's cooperation: - Published SDK / library / CLI for direct contract interaction. - Third-party frontends operated by separate legal entities. - Wallet-integrated access (MetaMask Swaps, Safe apps, etc.). - DEX / lending / yield aggregators that route through the contracts. Record at least one concrete link per path that exists. The protocol does NOT have to self-document these — the test is existence, not UX cost. An A3b-i redistribution of the official UI bound by the same ToS does NOT count as an independent path. - A4. Sanctions / compliance tooling at the contract level: does the protocol check addresses against OFAC lists or similar on-chain blocklists in the contract itself? (Frontend-only screening belongs in A3.) - A5. Differentiate read access vs write access: many protocols are read-permissionless (anyone can view state) but write-gated (only certain addresses can deposit/borrow). Record both. - A6. ToS / Legal links: locate them on the website and produce a VERBATIM quote of any jurisdictional, sanctions, or eligibility clause in evidence[].shows. If you cannot extract the clause text verbatim (SPA render failure, paywall, dead link, etc.), do NOT paraphrase or infer from general knowledge — record the ToS URL in unknowns[] with the reason extraction failed. Assertions about ToS content without a verbatim quote will be downweighted by reviewers. Then write the steel-man section per Hard Rule 11. Grade rules (admission-focused; liveness concerns belong in dependencies; source verification belongs in verifiability): - green = no contract-level whitelist/KYC on user entry/exit; no operator approval required to admit a user action; AND at least one independent A3b path exists (published SDK, third-party frontend, wallet integration, or aggregator routing). Frontend ToS posture and A3-active enforcement on the official UI do NOT block green when contracts are permissionless and an independent path exists — they are reported as context. - orange = contracts admit users unconditionally, BUT the protocol is operationally captured by the official publisher: no published SDK, no third-party frontend, no wallet integration, no aggregator routing. The contract is theoretically open but practically reachable only through the official UI. Also applies when admission requires approval from a permissioned committee that is governance-managed with a documented replacement procedure. - red = contract-level whitelist / KYC on user entry/exit, OR admission of a core user action requires approval from a single privileged operator or a small committee with no documented replacement procedure, OR enforces an on-chain blocklist updatable by a single party. - unknown = checklist incomplete after checking the sources above. Default-grade guidance: when contracts are fully permissionless AND any A3b independent path exists, the default grade is green regardless of frontend ToS or A3-active enforcement on the official UI. Frontend geo-blocking, sanctions-oracle wallet screening, and ToS sanctions clauses are publisher policies on one client and are reported in findings/headline as context, not as grade levers. To grade orange on operational-capture grounds, the auditor must affirmatively show that ALL independent paths are absent or also gated. Guideline on committees: where admission depends on a multi-operator committee, the relevant axes are (a) set size, (b) whether replacement/rotation is governed on-chain, (c) whether the replacement procedure is publicly documented. A large set with on-chain governance replacement should not be graded as a single-party operator even if rotation is not instantaneous. A small set with informal replacement should be treated as a single-party operator. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "open-access", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Audit all 5 dimensions · one prompt Submit run ↗
### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: CONTROL Evaluate who can change the protocol's rules, how fast, and how broadly. (Step 0 capability probe and the off-chain-only fallback live in the preamble — those rules apply here.) ### MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]) - **C1.** For each address you assess: who is the contract owner / admin / pendingAdmin / governor — read these via the block explorer's "Read Contract" tab OR `https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=owner` (BARE method names: `&method=owner`, `&method=admin`, `&method=pendingOwner`, `&method=governor`). For Safes use `/api/safe/owners?chainId=<id>&address=0x...`. When a protocol has multiple major versions deployed (v2/v3/v4), perform C1 reads on the NEWEST deployment separately — newer deployments often have weaker control surfaces than the legacy core. - **C2.** Upgrade mechanism: transparent proxy / UUPS / Beacon / Diamond / immutable. Identify the proxy admin address. Check upgradeability of GOVERNANCE contracts too — a Governor / Aragon Voting / OZ Governor is often itself a proxy whose admin is the Timelock. Asymmetry: when fund-holding cores are immutable AND governance has no admin path that reaches them, an upgradable Governor/Timelock is T3-only and must NOT drag the verdict below green on that basis alone (see grade rules and the "immutable cores" caveat). Only call upgradability "mixed" if you can name a concrete function on the upgradable surface that reaches T1 or T2 on user funds. - **C3.** EXECUTION PATH (enumerate every stage, in order, with delays in seconds). The operative path is usually a chain (voting → scheduler → timelock → executor; or governor → queue → execute; or Aragon Voting → DualGovernance → EmergencyProtectedTimelock → AdminExecutor). For each stage, record (a) the contract address, (b) the delay constant name + value in seconds, (c) the URL you read it from (block-explorer Read Contract OR `/api/contract/read?...&method=MIN_DELAY&block=<n>`). Do NOT stop at the first timelock-shaped contract — if its admin is itself called by another contract, keep walking. The grading delay is the SUM OF DELAYS ON THE UNCONTESTED FAST PATH (shortest time a proposal with no opposition can go from submission to executable). Dynamic / contested extensions (veto signaling, rage quit, escrow delay) are modifiers, not the basis — note them separately. - **C4.** Enumerate EVERY multisig with reachable control — main proxy admin, emergency activation, emergency execution, reseal / pause, gate-seal committees, tiebreaker, per-module admins. For each Safe, fetch threshold + owners + version via `/api/safe/owners?chainId=<id>&address=0x...` (response includes raw eth_call data, so the URL is citable evidence). Enumerate ops/council/incentives multisigs even when off the upgrade path — record their scope so a reader can see they are NOT on the upgrade path. For each: (a) address, (b) threshold / total signers, (c) signer identities classified as insider (team, paid auditors under ongoing engagement, mandated service providers) vs non-insider (independent community members, unaffiliated researchers), (d) the specific power held (upgrade, pause, parameter, etc.). - **C5.** On-chain governance: Governor / GovernorBravo / OZ Governor / Aragon Voting with token-weighted voting? Record proposal threshold, voting period, quorum, and the timelock delay between queue and execute. Every numeric constant must come from a Read Contract call you can link to, or be in unknowns[] with the C-code. If votingDelay / votingPeriod are denominated in BLOCKS, convert to seconds at the chain's CURRENT block time (Ethereum mainnet ≈ 12s post-Merge, not the 15s in older Compound/Bravo deployments) — cite both block count and converted seconds. - **C6.** EMERGENCY POWERS: separate emergency-pause / guardian role with a different time cap or different actor than the main upgrade authority? Record it explicitly. - **C7.** POWER TIER (blast radius). For each privileged path in C3–C6, classify the WORST thing that path can do, choosing the highest applicable tier. Cite the specific function name and any on-chain bound — tier claims without a named function are unsupported. - **T1 — FUND-CRITICAL**: replace implementation of contracts holding user funds; change AMM math / accounting / collateral logic; mint unbacked debt or shares; pause withdrawals; drain user-fund treasury; change oracle to attacker-controlled source; replace upgrade admin with EOA. - **T2 — ECONOMICALLY MATERIAL**: change fee parameters within bounded ranges; redirect protocol fees; add/remove markets / collateral types; bounded inflation or token mint within hard-capped schedule; spend protocol-owned (non-user) treasury. - **T3 — GOVERNANCE-INTERNAL**: change voting rules, quorum, voting period, proposal threshold; upgrade the Governor itself; rotate Timelock admin; mint governance tokens within a capped annual schedule. - **T4 — OPERATIONAL**: incentives distribution, grants, ENS / frontend canonicalization, deployment coordination, periphery router deprecation. The grade is set by the HIGHEST tier reachable on the uncontested fast path, not the median. State the tier and the binding function in the verdict. ### Read Contract discipline (applies to C3, C4, C5) Every numeric constant cited (timelock delays, voting periods, multisig thresholds, quorum percentages) must come from EITHER (a) a block-explorer Read Contract URL, OR (b) a DeFiPunkd `/api/contract/read` or `/api/safe/owners` URL (preferred with `&block=<n>` for content-addressed evidence), OR (c) an unknowns[] entry with the C-code. Docs / blog posts are corroboration only — they cannot be the sole citation for a value that is also readable on-chain. ### Off-chain-only substitute hierarchy (when grading_basis="off-chain-only" — see preamble Rule 16) When on-chain reads were genuinely unreachable this run, eligible off-chain substitutes in priority order: 1. Linked audit PDFs (admin roles, multisig members, timelock delays usually enumerated). 2. Governance forum posts that quote constants from a successful on-chain proposal (cite post URL + linked execution-tx URL). 3. Official protocol docs pages with named addresses and roles (must be on a domain owned by the protocol). 4. GitHub README / SECURITY.md / governance/*.md at a pinned commit SHA. Forbidden substitutes: third-party blog posts, X / Twitter threads, search-result snippets, model memory. Required degradation: any C-code citing a numeric constant from docs/forum/audit prose ONLY must also carry an `unknowns[]` entry with `-offchain` suffix noting "value not re-read on-chain in this run; corroboration only". ### Grade rules (apply the timelock bar conditional on the highest C7 tier reachable on the fast path) Security Council standard (used below): a multisig qualifies as "Security Council" only if ALL of: ≥7 signers, ≥51% threshold, ≥50% non-insider signers, every signer publicly announced. Failing any criterion = NOT a Security Council, regardless of signer reputation. - **green**: highest reachable tier is T3 or T4 regardless of timelock; OR T2 reachable with uncontested-fast-path delay ≥7 days; OR T1 reachable only via immutable contracts (T1 is unreachable); OR T1 reachable with uncontested-fast-path delay ≥7 days combined with a Security Council multisig; OR T1 reachable with uncontested-fast-path delay ≥7 days through active on-chain governance with broad token distribution. - **orange**: T2 reachable with uncontested-fast-path delay >0 but <7 days; OR T1 reachable with uncontested-fast-path delay >0 but <7 days; OR a multisig failing one or more Security Council criteria sits on a T1/T2 path; OR unclear upgrade authority on a T1/T2 path; OR governance with very short timelock or low quorum on a T1/T2 path. - **red**: T1 reachable with no timelock by a single EOA or 2-of-3 multisig; OR a T1 upgrade admin that is not a smart contract you can audit. - **unknown**: completed the checklist but still cannot determine the upgrade authority OR cannot classify the highest tier reachable on the main contracts. Tiering caveats: - "Bounded" must be enforced ON-CHAIN to count as T2. A function that sets fees with no upper-bound check is T1 — cite the bound check. - Recurring T2 economic extraction (e.g. fee redirect with no rate limit) approaches T1 over time. A single proposal that can permanently redirect all future revenue is T1. - T3 assumes the governance contract cannot itself authorize a T1/T2 action without going through the same timelock. If governance can self-upgrade to bypass the timelock, T3 collapses into T1. - Do not downgrade tier by hand-waving ("realistically governance would never…"). Tier on what the contract permits, not what feels likely. Notes: - **Dynamic / dual-governance timelocks** (Lido, Compound escrow veto): the rubric grades on the uncontested path because that is the path most upgrades take. A dynamic extension that fires only under stake-weighted opposition is a real protection — name it in the green steel-man, but it does not lift an orange fast path into green; state the tension in the verdict. - **Immutable cores with upgradable governance** (Uniswap-style): if fund-holding contracts are immutable and have no admin-reachable function moving / freezing / re-routing user funds, the highest reachable tier on the upgrade path is T3 — green regardless of timelock. Don't grade this orange just because the Governor is a proxy — that's a C2 fact, not a downgrade. Downgrade only applies if you can cite a concrete function on the upgradable surface that reaches T1 or T2 (privileged hook, upgradable factory controlling fund-routing, fee-switch redirecting protocol revenue without bound). - **The 7-day bar** reflects the exit-window standard — users need notice after a queued upgrade to withdraw if they disagree. The ability-to-exit slice grades the exit side; this slice grades the delay side; both must hold for users to actually benefit from the delay. --- ### Slice: ABILITY-TO-EXIT Evaluate whether users can withdraw their funds on their own terms, even under adversarial admin conditions. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - E1. Enumerate every user-facing exit function in the main contracts: withdraw, redeem, burn, requestWithdrawal, claim, exit, etc. List them by name. Do NOT treat the contract as a monolith. - E2. For EACH exit function in E1: identify its access modifiers and any pause guards (e.g. _checkResumed, whenNotPaused, onlyRole). Functions that gate REQUEST PLACEMENT often differ from functions that CLAIM FINALIZED FUNDS — check both separately. - E3. For each pause guard: identify the role holder (which address holds PAUSE_ROLE / GUARDIAN / etc.) and the maximum pause duration. Specifically check whether PAUSE_INFINITELY (or equivalent uncapped pause) is callable, and which actor can call it (single multisig vs governance vote). For role-holder reads use https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=hasRole&args=0x...,0x... or &method=getRoleAdmin&args=0x.... For "is currently paused" checks use &method=paused or &method=isPaused&args=<resume-code>. Use the BARE method name (no parens). Cite the URL with &block=<n> in evidence[]. - E4. EMERGENCY vs GOVERNANCE pause distinction: many protocols have a fast-acting emergency pause capped at N days and a slow governance pause that can be indefinite. Record both paths separately if present, with their time caps and actor classes. - E5. Queued redemption: documented maximum queue duration, daily withdrawal caps, whether the queue itself is pausable. - E6. Forced-exit / escape-hatch / permissionless emergency-exit mechanism for adversarial-admin scenarios. - E7. Frontend dependency: confirm exit functions are directly callable on-chain (e.g. via Etherscan write tab or a generic wallet) without the project's frontend. Then write the steel-man section per Hard Rule 11. Common red-vs-orange tension on this slice: indefinite pause exists (suggests red) BUT the realistic emergency path is time-capped AND claims of already-finalized exits are not pause-gated (suggests orange). Resolve this by stating who can do what for how long, not by stopping at the worst-case sentence. Grade rules: - green = permissionless exit; pause is either absent, narrowly scoped to clearly-described emergencies with auto-expiry, or capped at ≤7 days; no frontend dependency for exit; claims of already-finalized exits are not pause-gated under any path. - orange = pausable with broad scope OR indefinite pause is reachable only through governance vote (not unilateral admin action), OR queued redemption with documented max > 7 days, OR claims-of-finalized are exempt but new-request placement can be paused indefinitely by governance. - red = exit requires admin signature, OR ANY actor (including governance) can pause CLAIMS of finalized exits indefinitely, OR there is no on-chain exit function at all (purely custodial), OR pause is held by a single EOA / 2-of-3 multisig with no time cap. - unknown = checklist incomplete after checking the sources above. --- ### Slice: AUTONOMY Evaluate this protocol's autonomy: can a failure of anything outside its own contracts cause theft or loss of user principal, loss of unclaimed yield, or materially change the protocol's expected performance? "Autonomy" is not "has zero external touchpoints" — it is "external failures are either survivable or recoverable without user loss". This slice adapts DefiScan v1's Autonomy dimension; dependencies are one of several criteria, not the whole frame. GUARDRAILS (read before grading): - Category alone (Liquid Staking, Bridge, RWA Lending, Restaking, …) does NOT force a grade. A category is a hint about where to look; the grade must come from the concrete A1–A9 findings below. - Base-chain consensus (Ethereum PoS, the chain's validator set, the canonical Deposit Contract at 0x00000000219ab540356cBB839Cbe05303d7705Fa) is the SUBSTRATE, not a dependency, for any protocol deployed on that chain. Do not list "depends on Ethereum" as a finding. - Oracles or other integrations used by DOWNSTREAM protocols that happen to read this protocol's token (e.g. Chainlink stETH/USD consumed by Aave) are NOT this protocol's dependencies. Count only what THIS protocol's contracts call or trust on-chain. If a feed or contract appears in the protocol's docs only as reference material for third-party integrators, EXCLUDE IT ENTIRELY — do not log it as a finding even with a "peripheral" or "referenced only" caveat. - "Upgradeable admin can change things" belongs to the CONTROL slice; only count it here when the upgrade surface lets governance silently swap an external dependency (see A9). - Underlying-asset risk in opt-in, isolated markets is NOT autonomy-red on its own. When a protocol wraps third-party yield-bearing assets (LSTs, LRTs, ERC-4626 vaults, lending receipts, restaked tokens) into per-market silos that users explicitly choose, a failure of one underlying does NOT propagate to other markets and is risk the user opted into per-market. Record it under A4 with depth and propagation scope, but do not let it alone drive a red verdict — red requires an external dependency that cross-cuts the protocol or that the user did not opt into at deposit time. A failure mode that is "if the LRT you deposited is hacked, your principal in that LRT-backed market is impaired" is the underlying's autonomy story, not this protocol's; grade it on whether THIS protocol introduces additional dependencies on top. - Sub-module enumeration is mandatory before grading. If the protocol ships distinct product lines or modules (e.g., a v2 core AMM plus a newer perps/funding-rate module, a lending pool plus a separate vault layer, an L1 core plus a cross-chain extension), enumerate each in findings and grade against the WORST module weighted by its share of TVS or its blast radius. A green core does not rescue an orange/red sub-module; conversely, a small red sub-module with capped TVS may bound the overall grade to orange. Name each module by its on-chain factory or router address. If you do not know whether a module exists, that is an unknowns[] entry, not silence. EXPLICIT TVS WEIGHTING: in the verdict, state each module's approximate share of total protocol TVS (use "~X%" if exact figures unavailable; check DeFiLlama or block-explorer balances on the module's main contract) and how that share informs the weighted grade. Format: "Module A holds ~X% of TVS (grade: <g>); Module B holds ~Y% (grade: <g>); weighted overall = <grade> because <reason>." If a red sub-module holds <5% of total TVS and is capped, the overall grade may be orange; if it holds >25%, the overall grade is red. Do not let qualitative reasoning substitute for the percentages — write the numbers. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. External contract calls. Enumerate every external contract the core contracts call or read from (oracles, price feeds, AMM pools, lending pools, staking/deposit contracts, yield wrappers). For each, identify the address, the provider, and what user-facing function of this protocol would break or mis-price if that external contract paused, mis-reported, or behaved adversarially. Grep for "oracle", "aggregator", "getPrice", "latestAnswer", "chainlink", "pyth", "redstone" as a starting point. To verify an oracle is live and what it currently reports, hit https://defipunkd.com/api/contract/read?chainId=<id>&address=<oracle>&method=latestAnswer (or &method=latestRoundData, &method=getPrice, &method=description; use the BARE method name without parens) and cite the URL — the response includes blockNumber/blockHash and rawReturnData, which is stronger evidence than a docs page about which feed "should" be used. - A2. Off-chain actor committees reporting INTO the protocol. Oracle committees, guardian multisigs, DAO-selected validator sets acting as protocol reporters, exit-bus signers, fraud-proof challengers. For each, record committee size, quorum, who picks the members, and what mis-reporting could do (mint, burn, finalize withdrawal, freeze). Distinguish this from governance admins (control slice). NOTE ON STAKING PROTOCOLS: validator slashing and node-operator misbehavior are properties of the base-chain substrate, NOT external dependencies, when the operator set is diversified enough that a coordinated failure caps at <5% principal loss. Count validator/operator risk under A2 ONLY if the operator set is small, non-diversified, or lacks bonding / slashing-insurance / diversification mitigations. A curated set of 30+ independent operators with documented diversification falls under the mitigated path; a 3-operator LST does not. Do not cite the protocol's own risk disclosure as evidence that operator failure = principal loss unless you also check the diversification and bond mitigations. - A3. Bridge / cross-chain messaging dependencies. Only count bridges that carry material TVL or are required for a core user flow. For each, name the bridge operator (canonical L1↔L2, LayerZero, Wormhole, Axelar, custom multisig), the trust model (canonical, optimistic, light-client, guardian set), and what fraction of TVL or users ride on it. "wstETH exists on 15 chains" is not a finding unless material TVL sits there. Before listing any non-primary chain deployment as a dependency, verify it is still operational as of analysis_date — retired or sunset deployments (e.g., Lido-on-Terra, Lido-on-Solana) belong in unknowns[] or should be omitted, never cited as a current dependency. - A4. Nested collateral / restaking chains. For restaking / LRT / receipt-of-receipt designs: record the depth of the collateral chain, every actor with slashing or freezing power at each level, and whether a failure N levels deep propagates to user principal here. - A5. Fork lineage (silent check). If DeFiLlama's forkedFrom is non-empty, record it as one finding and move on. If empty, do NOT add a placeholder finding; it adds noise. - A6. Fallback mechanisms and circuit breakers. What catches an external failure? Sanity-check contracts on oracle reports, rebase bounds, pause paths triggered by bad prices, second-opinion oracles, max-per-block throughput caps, withdrawal queues that absorb bad reports. Record which A1–A4 risks are mitigated by which fallback, and which are unmitigated. For EACH fallback you cite, state its activation status explicitly: (i) LIVE and enforcing on-chain today, (ii) DEPLOYED but not yet wired / activated (e.g., interface exists but the address is zero or the role is unassigned), or (iii) DOCUMENTED / PROPOSED only (forum post, LIP draft, audit pending). Only (i) counts as mitigation for the grade. A fallback in state (ii) or (iii) should be noted but must not reduce the risk in your steel-man or verdict. If you cannot determine activation status, add an unknowns[] entry rather than assume it is live. - A7. Sequencer / L1-liveness dependency BEYOND the base-chain substrate. SCOPE — sequencer risk only counts here when the protocol IS its own L2/L3 appchain or app-rollup, where the sequencer is part of the protocol's own stack and a freeze is a protocol-level outage. A protocol permissionlessly deployed on a third-party L2 inherits that L2's sequencer as substrate, not an A7 dependency. Record the sequencer/DA trust model when A7 applies. - A8. Keeper / relayer / off-chain bot liveness. Protocols that need permissionless-but-necessary off-chain actors (liquidation bots, auto-compounders, deposit relayers, intent solvers). Record whether the role is permissionless, what degrades if nobody runs it (yield paused, bad debt accumulates, positions go stale), and whether the failure mode is graceful or catastrophic. - A9. Governance-mutable dependency surface. Can an admin or DAO action silently INTRODUCE a NEW EXTERNAL dependency — swap the oracle address to a different provider, register a new staking module that calls an untrusted contract, add a new bridge, route SY through a new external vault — without an exit window for users? Check the upgrade / router / module-registry contracts. Answer: which EXTERNAL dependencies are governance-mutable, who holds that power, and whether there is a timelock or exit window. SCOPE LIMIT — read carefully: A9 is about the *external dependency surface*, not the upgrade surface in general. "The proxyAdmin / EOA can upgrade the router implementation to arbitrary bytecode" is a CONTROL-slice finding (admin can rug), NOT an autonomy-A9 finding. A9 fires only when the upgrade specifically swaps out or adds a contract that THIS protocol calls or trusts (e.g., changing the oracle address from Chainlink to a malicious feed, registering a new SY adapter that points to a third-party vault, redirecting a bridge endpoint). If the only finding is "admin can change implementation," do not log it under A9 and do not let it drive the autonomy grade — note it under control instead. The autonomy-relevant version of the same upgrade key is "admin can swap [specific external address X] without timelock"; that requires identifying the specific external dependency that becomes mutable. STEEL-MAN (per Hard Rule 13): write one-sentence strongest arguments for red, orange, and green using the A1–A9 findings. IMPACTED TVS ESTIMATE: the headline MUST include a rough impacted-TVS figure — the fraction of protocol TVS that could be lost or frozen if the worst-unmitigated dependency you identified failed. Use "~X%" if exact numbers are unavailable, "<1%" for de minimis, "unclear" only if A1–A9 left the question genuinely open (in which case grade=unknown is usually correct). Do NOT substitute qualitative phrases like "significant" — give a number or bracket. GRADE ANCHORS (mapped to DefiScan v1 stages): - green = Stage 2 equivalent. Failure of any external dependency cannot cause loss of user principal or unclaimed yield. Either there are no material external dependencies, or every critical one has a documented fallback (A6) that keeps users whole. Governance cannot silently introduce new dependencies without an exit window (A9). Impacted TVS under any single-dependency failure: effectively 0. - orange = Stage 1 equivalent. Failure of some external dependency can cause loss of unclaimed yield, or can materially change expected performance (pause withdrawals, freeze positions, degrade price quality), but cannot cause loss of principal. Committee-based oracles with sanity checks, canonical-only bridges, fallback paths that exist but are incomplete, or governance-mutable dependencies protected by a ≥7-day timelock. Impacted TVS is bounded and recoverable. - red = Stage 0 equivalent. Failure of an external dependency CAN cause theft or loss of principal. Examples: single-provider oracle with no sanity check or fallback, material TVL on a non-canonical bridge with a guardian multisig, governance can hot-swap oracles or add staking modules with no timelock or exit window, unmitigated keeper-liveness dependency where positions become insolvent if bots stop. Impacted TVS is material. - unknown = checklist incomplete after inspecting source + verified contracts. Prefer unknown over guessing when A1/A6 could not be reconstructed. RESERVE unknown for cases where the CORE ARCHITECTURE itself is unverifiable — not for cases where you merely cannot enumerate every per-market dependency in a multi-market protocol. If the core router/factory/oracle architecture is verifiable on-chain and you can determine whether the core requires external dependencies, grade the architecture even when an exhaustive per-market external-dependency census is infeasible. Acknowledge the per-market gap in unknowns[] but still issue a grade. Refusing to grade a multi-market protocol because you cannot list every SY/vault/market is over-use of unknown; grade the architecture and say so. PROMPT-META CHECK (per Hard Rule 17): before finalizing, verify the verdict cites concrete contract addresses, docs, or code — not the rubric itself. If your verdict says "the protocol belongs to a category the rubric marks red", rewrite it with the A1–A9 finding that actually justifies the grade, or drop to grade=unknown. --- ### Slice: OPEN-ACCESS Evaluate who is allowed to use the protocol and whether any of that permission is granted off-chain. Scope: this slice is about ADMISSION — who can enter, exit, or transact. Operator LIVENESS (what breaks if keepers/oracles go offline) is assessed in the dependencies slice and is out of scope for the grade here. You may note operator dependencies as context, but do not let "the protocol halts if operator X disappears" drive the access grade on its own; that belongs in dependencies. Source verification / contract verification on block explorers is assessed in the verifiability slice and is out of scope here — do NOT let "contract is unverified" drive the access grade. Framing: the smart contracts are the access layer; frontends are UX. A permissionless contract is reachable by any client (SDK, third-party UI, aggregator, wallet integration). Frontend ToS, IP geo-blocking, and wallet screening are publisher policies on one specific client — they are reported as context but do NOT determine the grade. The grade hinges on (1) what the contract itself permits, and (2) whether the protocol is practically reachable without the official publisher's cooperation. Meta-check before finalizing: if your verdict cites phrases from this prompt as evidence ("the protocol meets the 'credible alternatives' condition", "this fits the 'documented fallback' rule"), redo the verdict. The prompt describes the rubric; evidence must come from the protocol. A verdict should cite what the protocol does, not what the rubric says. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. Whitelist / allowlist modifiers in user-facing entry points. Grep for "onlyWhitelisted", "onlyRole", "allowlist", "isAccredited", "isKYCed". Note which functions are gated and who can add/remove from the list. - A2. Off-chain operators in the admission path: keepers, sequencers, privileged relayers, oracle posters whose approval is required to admit a user action (not just to keep the protocol live). For each, identify whether the role is held by a single operator, a permissioned committee, or is permissionless. Enumerate per user-facing function class (deposit vs withdraw-request vs claim-finalized vs transfer) which ones require operator approval to be admitted, and which ones admit users unconditionally. A function whose placement is unconditional but whose downstream settlement depends on an operator is an admission-permissionless function — flag the liveness dependency as context and defer its grading weight to the dependencies slice. - A3. Frontend restrictions on the official interface — record as context, not as a grade lever. Distinguish: - A3-passive: boilerplate ToS clauses (sanctions attestation, restricted-territory self-certification, VPN-circumvention prohibition, "comply with applicable law" eligibility, age of majority). - A3-active: runtime enforcement — IP-based geo-blocking, wallet-address screening against a sanctions oracle (Chainalysis, TRM, Elliptic), KYC wall, rendering-blocking jurisdiction banner. Record findings under the correct tier. Quote ToS text or banner text in evidence[].shows. These findings populate the headline and rationale but do NOT move the grade by themselves; the grade is set by A1, A2, and the A3b path check below. - A3b. Independent access paths (the operative grade input). Enumerate paths that do not require the official publisher's cooperation: - Published SDK / library / CLI for direct contract interaction. - Third-party frontends operated by separate legal entities. - Wallet-integrated access (MetaMask Swaps, Safe apps, etc.). - DEX / lending / yield aggregators that route through the contracts. Record at least one concrete link per path that exists. The protocol does NOT have to self-document these — the test is existence, not UX cost. An A3b-i redistribution of the official UI bound by the same ToS does NOT count as an independent path. - A4. Sanctions / compliance tooling at the contract level: does the protocol check addresses against OFAC lists or similar on-chain blocklists in the contract itself? (Frontend-only screening belongs in A3.) - A5. Differentiate read access vs write access: many protocols are read-permissionless (anyone can view state) but write-gated (only certain addresses can deposit/borrow). Record both. - A6. ToS / Legal links: locate them on the website and produce a VERBATIM quote of any jurisdictional, sanctions, or eligibility clause in evidence[].shows. If you cannot extract the clause text verbatim (SPA render failure, paywall, dead link, etc.), do NOT paraphrase or infer from general knowledge — record the ToS URL in unknowns[] with the reason extraction failed. Assertions about ToS content without a verbatim quote will be downweighted by reviewers. Then write the steel-man section per Hard Rule 11. Grade rules (admission-focused; liveness concerns belong in dependencies; source verification belongs in verifiability): - green = no contract-level whitelist/KYC on user entry/exit; no operator approval required to admit a user action; AND at least one independent A3b path exists (published SDK, third-party frontend, wallet integration, or aggregator routing). Frontend ToS posture and A3-active enforcement on the official UI do NOT block green when contracts are permissionless and an independent path exists — they are reported as context. - orange = contracts admit users unconditionally, BUT the protocol is operationally captured by the official publisher: no published SDK, no third-party frontend, no wallet integration, no aggregator routing. The contract is theoretically open but practically reachable only through the official UI. Also applies when admission requires approval from a permissioned committee that is governance-managed with a documented replacement procedure. - red = contract-level whitelist / KYC on user entry/exit, OR admission of a core user action requires approval from a single privileged operator or a small committee with no documented replacement procedure, OR enforces an on-chain blocklist updatable by a single party. - unknown = checklist incomplete after checking the sources above. Default-grade guidance: when contracts are fully permissionless AND any A3b independent path exists, the default grade is green regardless of frontend ToS or A3-active enforcement on the official UI. Frontend geo-blocking, sanctions-oracle wallet screening, and ToS sanctions clauses are publisher policies on one client and are reported in findings/headline as context, not as grade levers. To grade orange on operational-capture grounds, the auditor must affirmatively show that ALL independent paths are absent or also gated. Guideline on committees: where admission depends on a multi-operator committee, the relevant axes are (a) set size, (b) whether replacement/rotation is governed on-chain, (c) whether the replacement procedure is publicly documented. A large set with on-chain governance replacement should not be graded as a single-party operator even if rotation is not instantaneous. A small set with informal replacement should be treated as a single-party operator. --- ### Slice: VERIFIABILITY Evaluate whether an outsider can independently confirm what the deployed code does. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - V1. For each address you assess: is the bytecode verified on the chain's block explorer? Record the "Contract Source Code Verified" indicator. https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... returns this as a top-level "verified" boolean plus "abiSource" ("etherscan" / "sourcify") and an inline ABI — useful when the explorer page is rate-limited. If the contract is a proxy, verify BOTH the proxy contract AND the current implementation contract. The same /api/contract/abi response auto-resolves proxies and includes a "proxy.implementation" address when present, so one call covers V1 + V6 in one shot. An explorer "Similar Match" on a well-known proxy pattern (Aragon AppProxyUpgradeable, ERC1967Proxy, OssifiableProxy, OZ TransparentUpgradeableProxy) is expected for that pattern and does NOT count as a verification gap on its own — what matters is that the implementation is independently verified. - V2. Source-to-repo correspondence: for each verified contract, attempt to find a matching commit in the linked GitHub repos. Record evidence[].commit on a match. Independent compile/bytecode-match is NOT required for green — a recognized public repo whose structure and file contents correspond to the explorer-visible source is sufficient. If you did not pin a commit SHA or run a bytecode diff, record that plainly in unknowns[] and proceed; it is a scope limit, not a downgrade signal. - V3. Audit coverage: for each URL in protocol.audit_links, open it and record: auditor name, audit date, the specific contracts / commit in scope. Flag audits that predate the current deployment by >6 months without a follow-up review. - V4. Auditor recognition: the following firms are broadly recognized in Solidity: Trail of Bits, Zellic, Spearbit, OpenZeppelin, ConsenSys Diligence, Certora (formal verification), Quantstamp, Halborn, Peckshield, Sigma Prime, ChainSecurity, Ackee Blockchain, MixBytes, Statemind. Unknown firms are orange-at-best for any green-grade claim. Name the firm explicitly in evidence[]. - V5. Post-audit drift: compare the most recent in-scope audit(s) against the currently-deployed source, weighted by what each contract does and by what the changes actually contain. SCOPE — drift only downgrades the grade when ALL of the following hold: (i) the drifting contract is fund-custody / settlement / accounting-critical (NOT a peripheral router, lens, quoter, or pure-view contract that holds no balances); (ii) the changes are material — new functions, modified access control, modified accounting, modified fund flow — and not refactors / struct relocations / import reorgs / build or CI fixes / formatting; (iii) no later audit, fix-audit, or differential audit from a recognized firm covers the changed files (audits often pin a pre-fix commit while a follow-up reviews the delta — match by file scope, not by commit-hash equality). When you cite drift as a downgrade reason, name the specific behavior change (function added, role granted, accounting formula altered) — "N commits ahead" or "+X/-Y LOC" alone is not evidence of material drift. If you have not sampled the diff content (e.g. via the GitHub compare view or the top commits in the window), record drift as an unknowns[] entry rather than auto-downgrading; commit-count and LOC are starting signals, not findings. - V6. Implementation vs proxy: a verified proxy with an unverified implementation is effectively unverified. State whether the implementation is verified separately. EVIDENCE DISCIPLINE (read before writing findings[]): - Do not assert a specific deploy-commit SHA, bytecode equivalence, or "identical to audited commit" unless you actually fetched the artifact that shows it (e.g., a deployed-addresses JSON you opened, an explorer page you read). Inferred or plausible matches belong in unknowns[], never in findings[] or evidence[]. - Evidence[] entries must correspond to pages/files you actually retrieved this run. A URL you did not open is not evidence. Then write the steel-man section per Hard Rule 11. Grade rules: - green = deployed bytecode verified on the explorer (proxy AND implementation if proxied; "Similar Match" on a standard proxy pattern is fine per V1), a public source repo exists whose contents correspond to the explorer-visible source, AND ≥1 audit from a recognized firm covering the currently-deployed contracts (≤6 months of drift OR drift was re-audited). A missing local compile-match is not a downgrade — record it in unknowns[] and still grade green if the other conditions hold. - orange = verified but with visible drift from the public repo, OR audit scope is stale relative to deployment, OR only minor / unknown-firm audits exist, OR only some of the main contracts are verified, OR proxy verified but implementation only partially verified. - red = unverified bytecode (or verified proxy with unverified implementation), OR no audit in protocol.audit_links, OR no public repo. - unknown = reserved for when the protocol's verifiability posture genuinely cannot be assessed (e.g., explorer and repo both inaccessible for this protocol). Do NOT use unknown merely because you, the analyst, could not run a particular check such as a bytecode diff — that goes in unknowns[] while the grade is still assigned from the evidence you do have. --- ### JSON output contract Return exactly one JSON array inside a single ```json fenced block. The array MUST contain exactly five objects, one per risk slice, in this exact order: "control", "ability-to-exit", "autonomy", "open-access", "verifiability". Do not include the discovery slice. Each object has the same shape as a normal slice submission: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "<one of: control | ability-to-exit | autonomy | open-access | verifiability>", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - Produce one complete object for each of these slices only: control, ability-to-exit, autonomy, open-access, verifiability. - Reuse the same model, chat_url, snapshot_generated_at, prompt_version, analysis_date, and slug values across all five objects. - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches that object's slice checklist prefix verbatim (C1, E2, AU3, A3b, V4a, …); unknowns[] entries are checklist-coded ("C3: …"). - Wrap the array in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links.
- BoringVault / Teller / Accountant verified on Etherscan, source corresponds to public Veda-Labs/boring-vault repo, ≥4 audits from recognized firms (Spearbit, Certora, Sigma Prime, 0xMacro)
Verdict
Choosing green because the on-chain verification posture meets every named green requirement: every assessed contract reports etherscan-verified ABI, no proxy/implementation gap exists for the fund-holding contracts, a public source repo corresponds to the deployed contract names, and the in-repo audit folder contains independent reports from at least three rubric-recognized firms (Spearbit, Certora, Sigma Prime). The orange steel-man would require a specific stale-audit claim with named files; the red steel-man would require a verification or repo gap — neither is supported by the evidence. Per V5's evidence-discipline rule, the absence of a pinned commit SHA and per-audit dates is recorded in unknowns rather than auto-downgrading.
Steelman argument
Steelman argument All assessed contracts are verified, the source maps to a public Veda-Labs/boring-vault repo whose file tree corresponds to the deployed contract names, and ≥3 recognized firms (Spearbit, Certora, Sigma Prime) plus 0xMacro have produced audit reports in the in-repo audit folder — meeting the rubric's green anchor 'verified bytecode, public source repo whose contents correspond to the explorer-visible source, AND ≥1 audit from a recognized firm.'Evidence (6)
- V1
- BoringVault (0x917cee...), Teller (0x99dE9e...), Accountant (0xbe16605B...), and RolesAuthority (0x402DFF...) all return `abiSource: etherscan` via the defipunkd API, indicating verified bytecode on Etherscan. None are EIP-1967/transparent/UUPS proxies — defipunkd does not return a `proxy.implementation` for any of them, and Etherscan's listing for the BoringVault directly displays the source. The Safe at 0xCEA80... is a standard GnosisSafeProxy v1.3.0 whose implementation is independently published (Safe canonical implementation 0xd9Db270c1B5E3Bd161E8c8503c55cEABeE709552).
- V2
- A canonical public source repo exists at https://github.com/Veda-Labs/boring-vault (a fork from the original Se7en-Seas/boring-vault by the same founding team). The repo's `src/` tree contains BoringVault.sol, TellerWithMultiAssetSupport.sol, AccountantWithRateProviders.sol, and ManagerWithMerkleVerification.sol — matching the contract names returned by Etherscan for the deployed addresses. I did not pin a commit SHA in this run.
- V3
- Audit artifacts present in https://github.com/Veda-Labs/boring-vault/tree/main/audit: spearbit-boring-vault-arctic-0.pdf, 0xmacro-boring-vault-2.pdf, 0xmacro-boring-vault-arctic-0.pdf, 0xmacro-boring-vault-arctic-1.pdf, certora-boring-vault-0.pdf, certora-boring-vault-1.pdf, sigma-prime-boring-vault-0.pdf. The protocol's external pages additionally mention Hexens and Secure3 as commissioned firms (docs.veda.tech/audits).
- V4
- Recognized firms covered in the in-repo audit folder: Spearbit, Certora (formal verification), Sigma Prime — all three appear in the prompt's recognized-firm list. 0xMacro is not on the prompt's named list but is a reputable firm and provides three audit reports here. Multiple recognized firms covering the core architecture clears the V4 bar.
- V5
- I did not run a commit-level diff between the most recent in-scope audit commit and the currently deployed source in this run — so post-audit drift is not directly characterized. The BoringVault is a small contract (~100 lines per Veda's own description and the lucidly.finance comparison), and the architecture is intentionally minimal, lowering the surface area on which drift could be material. Default to V5-not-fired absent a specific named behavior change.
- V6
- Implementation vs proxy: BoringVault, Teller, Accountant, and RolesAuthority are direct (non-proxy) deployments, so the V6 question 'is the implementation also verified?' is degenerate — there is no separate implementation contract. The Safe at 0xCEA80... is a thin GnosisSafeProxy whose implementation 0xd9Db270c1B5E3Bd161E8c8503c55cEABeE709552 is the well-known canonical Safe v1.3.0 implementation (per V1's exemption for standard proxy patterns).
Sources claude-opus-4-7 url ↗ gpt-5.5-thinking url ↗ claude-sonnet-4-6 (autorun) no url grok-4 url ↗ View raw submissions ↗ - T1 (drain via arbitrary manage()) reachable with no timelock by a 4-of-6 Safe; fails Security Council criteria
Verdict
Choosing orange because the green steel-man is defeated by a concrete bypass: BoringVault.manage(address,bytes,uint256) is a documented arbitrary-call function whose caller-eligibility lives in the RolesAuthority, and the Authority's owner — the 4-of-6 Safe — can set any address as a manage()-eligible role-holder in a single Safe transaction with no on-chain delay. That is T1 power on the fast path. It is not red because the actor is a 4-of-6 (threshold 4, six owners), which is stronger than the rubric's red anchors of 'single EOA or 2-of-3 multisig with no time cap,' but it fails the Security Council standard (≥7 signers, ≥51% threshold, ≥50% non-insider, publicly announced) at the size/membership level and is reachable with no timelock — squarely the rubric's orange anchor 'a multisig failing one or more Security Council criteria sits on a T1/T2 path.'
Steelman argument
Steelman argument The fund-holding contracts are not upgradeable; control is held by a 4-of-6 (66% threshold) Safe v1.3.0, not a single EOA or 2-of-3 — a stronger actor than the red tier's worst case — and the Merkle-verified Manager constrains the day-to-day strategist, even though the Authority owner can bypass it; the system fails Security-Council criteria but is far from the worst rugging shape.Evidence (7)
- C1
- BoringVault (0x917cee...) is a Solmate Auth contract with owner()=0x0; access is delegated to authority()=0x402DFF43b4f24b006BBD6520a11C169f81085039, a RolesAuthority whose owner()=0xCEA8039076E35a825854c5C2f85659430b06ec96. The Teller (0x99dE9e...) and Accountant (0xbe16605B...) point to the same Authority.
- C2
- BoringVault, Teller, and Accountant are non-proxy contracts (confirmed: no `proxy.implementation` returned by defipunkd ABI lookup; Etherscan listing shows compiler 0.8.21 with the BoringVault source directly verified at the address). They cannot be code-upgraded; however, the Authority can grant any role on the BoringVault and the Solmate Auth `setAuthority` write method on each module allows swapping the Authority itself.
- C3
- Execution path: 4 of 6 Safe signers co-sign Safe.execTransaction → RolesAuthority.setUserRole / setRoleCapability → privileged caller can invoke BoringVault.manage(address,bytes,uint256). No timelock contract sits between the Safe and the Authority (the Authority's owner() returns the Safe address directly; the Safe has nonce=321 and no enabled modules).
- C4
- Single Safe 0xCEA8039076E35a825854c5C2f85659430b06ec96, version 1.3.0, threshold=4, 6 owners: 0x95A2115018b84cfe0630C16CCA277E1569a84BEf, 0x4A4e996Dd8F36Dcf46b30A7F97877da922323EEb, 0x3DE2da610996eA5A72B9Af7cB8740caC48A9329f, 0x83954FBd07f8A868F4A72103e7bBCc8Ec59CeA1C, 0x544bDcBb88F2756000De227580aaad7376f3794E, 0x9eaC7114D1a1EaBc4732A886795cFD9E6E35843f. Powers held: full Authority ownership (role assignment, public-capability toggles), which transitively gives manage()-capability assignment on the BoringVault. Signer identity classification (insider vs non-insider) could not be verified from on-chain data alone.
- C5
- No on-chain governance (Governor / GovernorBravo / OZ Governor / Aragon) is present in the address book or reachable from the Authority. There is no token-weighted voting in this slice; the Safe is the sole policy actor.
- C6
- No separate emergency-pause guardian distinct from the Authority owner: Teller.pause() and Accountant.pause() are both `requiresAuth` and reachable by the same 4-of-6 Safe. No time-capped emergency role is configured separately on these modules.
- C7
- Highest reachable tier on the fast path = T1 (FUND-CRITICAL). The Safe can call RolesAuthority.setUserRole / setRoleCapability to grant any chosen address the role wired to BoringVault.manage(address,bytes,uint256). BoringVault.manage performs an arbitrary `target.call{value: value}(data)` from the vault — the ManagerWithMerkleVerification Merkle-proof check lives on a separate Manager contract and is only enforced when the Manager is the caller; the Authority owner can route manage() permission to any address, bypassing the Merkle restriction. Binding function: `BoringVault.manage(address target, bytes data, uint256 value)` (selector visible in the ABI as `manage(address,bytes,uint256)`).
- Exit via 7-day AtomicQueue; Teller.pause()/Accountant.pause() can halt deposits AND withdrawals indefinitely, gated by 4-of-6 Safe (no time cap)
Verdict
Choosing orange because the red steel-man relies on reading 'ANY actor can pause CLAIMS of finalized exits indefinitely' literally, but Teller.pause is a broad-scope halt of deposits, withdraw-request settlement, AND new placements rather than a targeted claims-only freeze, and the actor is meaningfully stronger than the explicit red anchor of 'single EOA / 2-of-3 multisig'. The green steel-man fails because there is no time cap on pause, no escape-hatch in the Teller, and the same Safe holds both pause and the T1 path identified in the control slice, so the user has no notice window against an adversarial admin. Per the rubric's orange anchor 'pausable with broad scope' applied to a non-Security-Council multisig holding the pause key, this maps to orange.
Steelman argument
Steelman argument Pause is broad-scope (it halts deposits AND withdrawals AND new request placement against the Teller) rather than a targeted claims-only pause, the actor is a 4-of-6 Safe and not a single EOA or 2-of-3, the documented queue maximum is exactly the 7-day rubric anchor (not over it), and the user's vault shares remain ERC-20-transferable so a secondary-market exit remains available; this is the 'pausable with broad scope by an unprivileged-EOA-free actor' shape.Evidence (7)
- E1
- User-facing exit functions: (a) Teller.bulkWithdraw(asset, shares, minAssets, to) — actually called by a permissioned solver; (b) the canonical user path is to submit an AtomicRequest to an AtomicQueue contract, where a solver fulfils it by calling bulkWithdraw on the user's behalf; (c) weETHs shares are themselves ERC-20-transferable (subject to deny-list hook), so a secondary-market sale is a fallback exit.
- E2
- Teller.bulkWithdraw and Teller.deposit/depositWithPermit/bulkDeposit are all `requiresAuth` (Solmate). In the deployed config the deposit selectors are set as public capabilities on the Authority, so users can call them directly; the solver role is also Authority-assigned. AtomicRequest placement is permissionless. Every settlement call reverts on `if (isPaused) revert TellerWithMultiAssetSupport__Paused()`.
- E3
- Pause guard on the Teller: `pause()` is `requiresAuth`, callable by any address the Authority allows; Authority owner = 4-of-6 Safe. No maxPauseDuration / auto-expiry exists in the ABI. The Accountant has the same pause shape and its rate-bound check auto-pauses the contract when exchange-rate movement exceeds the ±0.5% bounds (i.e., self-pauses on bad reports). Current state: Teller.isPaused()=false and Accountant.accountantState.isPaused=false at the read block.
- E4
- There is no distinct emergency-vs-governance pause path: the same Authority gates pause/unpause on the Teller and the Accountant, and the same 4-of-6 Safe is the Authority owner. There is no time-capped emergency-multisig with a different actor class.
- E5
- Documented withdrawal-queue maximum: 7 days (per ether.fi weETHs docs, 'No, it is a 7-day withdrawal period. While most withdrawals will complete well before this maximum window, this is an additional safety mechanism added by Veda'). I was not able to confirm a per-day withdrawal cap or queue-level pause on the AtomicQueue contract address itself in this run.
- E6
- No forced-exit / escape-hatch / permissionless emergency exit exists in the BoringVault or Teller ABIs. The closest fallback is the user transferring or selling their weETHs ERC-20 shares on a secondary market (subject to the BeforeTransferHook deny-list).
- E7
- Exit and request-placement functions are directly callable via a generic wallet / Etherscan write tab (the Teller's deposit/withdraw functions and the AtomicQueue's updateAtomicRequest are public-callable contract functions); no project frontend is structurally required for placement.
Why is this consensus tentative?- weak consensus margin
A fresh independent run can strengthen (or overturn) the verdict.
Run your own prompt Submit run ↗### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: ABILITY-TO-EXIT Evaluate whether users can withdraw their funds on their own terms, even under adversarial admin conditions. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - E1. Enumerate every user-facing exit function in the main contracts: withdraw, redeem, burn, requestWithdrawal, claim, exit, etc. List them by name. Do NOT treat the contract as a monolith. - E2. For EACH exit function in E1: identify its access modifiers and any pause guards (e.g. _checkResumed, whenNotPaused, onlyRole). Functions that gate REQUEST PLACEMENT often differ from functions that CLAIM FINALIZED FUNDS — check both separately. - E3. For each pause guard: identify the role holder (which address holds PAUSE_ROLE / GUARDIAN / etc.) and the maximum pause duration. Specifically check whether PAUSE_INFINITELY (or equivalent uncapped pause) is callable, and which actor can call it (single multisig vs governance vote). For role-holder reads use https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=hasRole&args=0x...,0x... or &method=getRoleAdmin&args=0x.... For "is currently paused" checks use &method=paused or &method=isPaused&args=<resume-code>. Use the BARE method name (no parens). Cite the URL with &block=<n> in evidence[]. - E4. EMERGENCY vs GOVERNANCE pause distinction: many protocols have a fast-acting emergency pause capped at N days and a slow governance pause that can be indefinite. Record both paths separately if present, with their time caps and actor classes. - E5. Queued redemption: documented maximum queue duration, daily withdrawal caps, whether the queue itself is pausable. - E6. Forced-exit / escape-hatch / permissionless emergency-exit mechanism for adversarial-admin scenarios. - E7. Frontend dependency: confirm exit functions are directly callable on-chain (e.g. via Etherscan write tab or a generic wallet) without the project's frontend. Then write the steel-man section per Hard Rule 11. Common red-vs-orange tension on this slice: indefinite pause exists (suggests red) BUT the realistic emergency path is time-capped AND claims of already-finalized exits are not pause-gated (suggests orange). Resolve this by stating who can do what for how long, not by stopping at the worst-case sentence. Grade rules: - green = permissionless exit; pause is either absent, narrowly scoped to clearly-described emergencies with auto-expiry, or capped at ≤7 days; no frontend dependency for exit; claims of already-finalized exits are not pause-gated under any path. - orange = pausable with broad scope OR indefinite pause is reachable only through governance vote (not unilateral admin action), OR queued redemption with documented max > 7 days, OR claims-of-finalized are exempt but new-request placement can be paused indefinitely by governance. - red = exit requires admin signature, OR ANY actor (including governance) can pause CLAIMS of finalized exits indefinitely, OR there is no on-chain exit function at all (purely custodial), OR pause is held by a single EOA / 2-of-3 multisig with no time cap. - unknown = checklist incomplete after checking the sources above. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "ability-to-exit", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Opt-in nested restaking dependencies (Symbiotic/Cap/FalconX) plus a governance-mutable Merkle root and rate-provider surface (A9) without timelock; impacted TVS bounded but material on the delegated portion
Verdict
Choosing orange because (i) per the rubric carve-out 'Underlying-asset risk in opt-in, isolated markets is NOT autonomy-red on its own', the Symbiotic/Cap/FalconX nested chain is product-level risk the user explicitly opted into per ether.fi's disclosure and does not by itself force red; (ii) the live Accountant rate bounds plus Merkle-restricted manage are real mitigations that satisfy the orange tier's 'documented fallback that bounds impacted TVS'; (iii) but A9 fires concretely — the Safe can call setRateProviderData and update the Merkle root in one tx with no timelock, which is the rubric's orange anchor 'governance-mutable dependencies protected by a ≥7-day timelock' specifically NOT met. TVS weighting: this is one vault (weETHs, ~22,687 shares ≈ ~$90M order-of-magnitude) of many Veda deployments; for THIS vault, impacted TVS under a worst-case unmitigated external-dependency failure is ~25–60% of vault TVS (the portion sitting in the Cap/M11/FalconX delegation), bounded by the strategist's current allocation. The architecture pattern repeats across other Veda vaults with different external dependencies, so the platform-level grade should be read as 'architecture-level orange; specific TVS impact varies per-vault.'
Steelman argument
Steelman argument The dependency chain is opt-in (disclosed in the vault's product page before deposit), the Accountant's ±0.5%/6h rate-bound + auto-pause is a live, on-chain circuit-breaker that prevents oracle manipulation from washing out unclaimed yield, and the Merkle verification system blocks the strategist from interacting with unapproved protocols at execution time — but governance can still re-shape the dependency surface without a timelock or exit window.Evidence (9)
- A1
- External calls the BoringVault makes are gated by the ManagerWithMerkleVerification — each leaf encodes (DecoderAndSanitizer, target, valueIsNonZero, selector, packedAddressArgs), and the strategist must submit a Merkle proof for every action. For the weETHs vault, the documented targets include Symbiotic vaults and (per ether.fi's risk disclosure) downstream Cap Protocol / Pareto contracts with M11 Credit as intermediary borrower and FalconX as ultimate counterparty. The Accountant reads pricing via `rateProviderData(asset)` — pinned configs route assets either as 'pegged to base (WETH)' or via an IRateProvider contract.
- A2
- Off-chain actors reporting on-chain: (i) the Accountant's `updateExchangeRate(uint96)` is called by an off-chain strategist account, with on-chain bounds of ±0.5% per update and a 6h minimum delay (allowedExchangeRateChangeUpper=10050, allowedExchangeRateChangeLower=9950, minimumUpdateDelayInSeconds=21600); (ii) the AtomicQueue solver (permissioned via the Authority) is required to settle user withdraw requests by calling bulkWithdraw on the Teller. Both roles are off-chain operational keys gated by the same 4-of-6 Safe / RolesAuthority via role assignment.
- A3
- No bridge dependency is in scope for the weETHs Ethereum mainnet deployment — it is single-chain. Veda as a platform deploys to many chains (Ink, Optimism, Plasma, Hyperliquid L1, Base, Arbitrum, Berachain, Sonic, BSC, BOB, Scroll), but the weETHs vault itself does not require a non-canonical bridge for its own operation per the read data.
- A4
- Nested-collateral chain (opt-in, disclosed): weETHs deposits → Symbiotic restaking networks (slashable) → Cap Protocol / Pareto vault → M11 Credit (intermediary borrower) → FalconX (ultimate counterparty). Per ether.fi's risk disclosure, slashing, M11 default, FalconX mishandling, or Cap Protocol smart-contract failure each could impair principal. This is per-vault, isolated risk that users explicitly opted into when depositing to this product.
- A5
- Fork lineage (silent check): the Veda-Labs/boring-vault repo is a fork of Se7en-Seas/boring-vault, the original BoringVault implementation by the same founding team — not a stale fork of an unrelated project.
- A6
- Live, on-chain fallback mechanisms: (i) Accountant rate-bound + 6h-delay check is LIVE (constants are non-zero on the live contract and the `AccountantWithRateProviders__Paused` error exists) and auto-pauses on violation; (ii) Teller shareLockPeriod is currently 0 for this vault — LIVE but configured to zero, so the documented MEV protection is not enforcing today; (iii) Merkle-restricted manage on the Manager is LIVE for strategist-originated calls but does not bind an Authority-granted alternative caller (see control slice); (iv) deny-list hook on share transfers is LIVE.
- A7
- Out of scope — the weETHs vault deploys on Ethereum L1, so consensus and sequencing are substrate, not a protocol-level A7 dependency.
- A8
- Keeper / solver / oracle-poster liveness: (i) if the strategist stops calling updateExchangeRate, the published rate goes stale but the Accountant's `getRateSafe()` will continue returning the last-published rate (no on-chain forced-pause for stale data was visible in the ABI's view methods), degrading rate quality; (ii) if the AtomicQueue solver stops settling requests, queued users wait beyond the 7-day target — withdrawals stall but the user's claim isn't destroyed. Neither failure causes immediate principal loss.
- A9
- Governance-mutable external dependency surface: the Safe / Authority owner can (i) call Accountant.setRateProviderData(asset, isPegged, rateProvider) to swap the IRateProvider address for any supported asset, with no on-chain timelock or exit window; (ii) update the Manager's Merkle root to add new target contracts the BoringVault may call; (iii) addAsset / removeAsset on the Teller to register new external assets and their accounting paths. All three are `requiresAuth` and reachable in a single Safe transaction.
Why is this consensus tentative?- weak consensus margin
A fresh independent run can strengthen (or overturn) the verdict.
Run your own prompt Submit run ↗### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: AUTONOMY Evaluate this protocol's autonomy: can a failure of anything outside its own contracts cause theft or loss of user principal, loss of unclaimed yield, or materially change the protocol's expected performance? "Autonomy" is not "has zero external touchpoints" — it is "external failures are either survivable or recoverable without user loss". This slice adapts DefiScan v1's Autonomy dimension; dependencies are one of several criteria, not the whole frame. GUARDRAILS (read before grading): - Category alone (Liquid Staking, Bridge, RWA Lending, Restaking, …) does NOT force a grade. A category is a hint about where to look; the grade must come from the concrete A1–A9 findings below. - Base-chain consensus (Ethereum PoS, the chain's validator set, the canonical Deposit Contract at 0x00000000219ab540356cBB839Cbe05303d7705Fa) is the SUBSTRATE, not a dependency, for any protocol deployed on that chain. Do not list "depends on Ethereum" as a finding. - Oracles or other integrations used by DOWNSTREAM protocols that happen to read this protocol's token (e.g. Chainlink stETH/USD consumed by Aave) are NOT this protocol's dependencies. Count only what THIS protocol's contracts call or trust on-chain. If a feed or contract appears in the protocol's docs only as reference material for third-party integrators, EXCLUDE IT ENTIRELY — do not log it as a finding even with a "peripheral" or "referenced only" caveat. - "Upgradeable admin can change things" belongs to the CONTROL slice; only count it here when the upgrade surface lets governance silently swap an external dependency (see A9). - Underlying-asset risk in opt-in, isolated markets is NOT autonomy-red on its own. When a protocol wraps third-party yield-bearing assets (LSTs, LRTs, ERC-4626 vaults, lending receipts, restaked tokens) into per-market silos that users explicitly choose, a failure of one underlying does NOT propagate to other markets and is risk the user opted into per-market. Record it under A4 with depth and propagation scope, but do not let it alone drive a red verdict — red requires an external dependency that cross-cuts the protocol or that the user did not opt into at deposit time. A failure mode that is "if the LRT you deposited is hacked, your principal in that LRT-backed market is impaired" is the underlying's autonomy story, not this protocol's; grade it on whether THIS protocol introduces additional dependencies on top. - Sub-module enumeration is mandatory before grading. If the protocol ships distinct product lines or modules (e.g., a v2 core AMM plus a newer perps/funding-rate module, a lending pool plus a separate vault layer, an L1 core plus a cross-chain extension), enumerate each in findings and grade against the WORST module weighted by its share of TVS or its blast radius. A green core does not rescue an orange/red sub-module; conversely, a small red sub-module with capped TVS may bound the overall grade to orange. Name each module by its on-chain factory or router address. If you do not know whether a module exists, that is an unknowns[] entry, not silence. EXPLICIT TVS WEIGHTING: in the verdict, state each module's approximate share of total protocol TVS (use "~X%" if exact figures unavailable; check DeFiLlama or block-explorer balances on the module's main contract) and how that share informs the weighted grade. Format: "Module A holds ~X% of TVS (grade: <g>); Module B holds ~Y% (grade: <g>); weighted overall = <grade> because <reason>." If a red sub-module holds <5% of total TVS and is capped, the overall grade may be orange; if it holds >25%, the overall grade is red. Do not let qualitative reasoning substitute for the percentages — write the numbers. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. External contract calls. Enumerate every external contract the core contracts call or read from (oracles, price feeds, AMM pools, lending pools, staking/deposit contracts, yield wrappers). For each, identify the address, the provider, and what user-facing function of this protocol would break or mis-price if that external contract paused, mis-reported, or behaved adversarially. Grep for "oracle", "aggregator", "getPrice", "latestAnswer", "chainlink", "pyth", "redstone" as a starting point. To verify an oracle is live and what it currently reports, hit https://defipunkd.com/api/contract/read?chainId=<id>&address=<oracle>&method=latestAnswer (or &method=latestRoundData, &method=getPrice, &method=description; use the BARE method name without parens) and cite the URL — the response includes blockNumber/blockHash and rawReturnData, which is stronger evidence than a docs page about which feed "should" be used. - A2. Off-chain actor committees reporting INTO the protocol. Oracle committees, guardian multisigs, DAO-selected validator sets acting as protocol reporters, exit-bus signers, fraud-proof challengers. For each, record committee size, quorum, who picks the members, and what mis-reporting could do (mint, burn, finalize withdrawal, freeze). Distinguish this from governance admins (control slice). NOTE ON STAKING PROTOCOLS: validator slashing and node-operator misbehavior are properties of the base-chain substrate, NOT external dependencies, when the operator set is diversified enough that a coordinated failure caps at <5% principal loss. Count validator/operator risk under A2 ONLY if the operator set is small, non-diversified, or lacks bonding / slashing-insurance / diversification mitigations. A curated set of 30+ independent operators with documented diversification falls under the mitigated path; a 3-operator LST does not. Do not cite the protocol's own risk disclosure as evidence that operator failure = principal loss unless you also check the diversification and bond mitigations. - A3. Bridge / cross-chain messaging dependencies. Only count bridges that carry material TVL or are required for a core user flow. For each, name the bridge operator (canonical L1↔L2, LayerZero, Wormhole, Axelar, custom multisig), the trust model (canonical, optimistic, light-client, guardian set), and what fraction of TVL or users ride on it. "wstETH exists on 15 chains" is not a finding unless material TVL sits there. Before listing any non-primary chain deployment as a dependency, verify it is still operational as of analysis_date — retired or sunset deployments (e.g., Lido-on-Terra, Lido-on-Solana) belong in unknowns[] or should be omitted, never cited as a current dependency. - A4. Nested collateral / restaking chains. For restaking / LRT / receipt-of-receipt designs: record the depth of the collateral chain, every actor with slashing or freezing power at each level, and whether a failure N levels deep propagates to user principal here. - A5. Fork lineage (silent check). If DeFiLlama's forkedFrom is non-empty, record it as one finding and move on. If empty, do NOT add a placeholder finding; it adds noise. - A6. Fallback mechanisms and circuit breakers. What catches an external failure? Sanity-check contracts on oracle reports, rebase bounds, pause paths triggered by bad prices, second-opinion oracles, max-per-block throughput caps, withdrawal queues that absorb bad reports. Record which A1–A4 risks are mitigated by which fallback, and which are unmitigated. For EACH fallback you cite, state its activation status explicitly: (i) LIVE and enforcing on-chain today, (ii) DEPLOYED but not yet wired / activated (e.g., interface exists but the address is zero or the role is unassigned), or (iii) DOCUMENTED / PROPOSED only (forum post, LIP draft, audit pending). Only (i) counts as mitigation for the grade. A fallback in state (ii) or (iii) should be noted but must not reduce the risk in your steel-man or verdict. If you cannot determine activation status, add an unknowns[] entry rather than assume it is live. - A7. Sequencer / L1-liveness dependency BEYOND the base-chain substrate. SCOPE — sequencer risk only counts here when the protocol IS its own L2/L3 appchain or app-rollup, where the sequencer is part of the protocol's own stack and a freeze is a protocol-level outage. A protocol permissionlessly deployed on a third-party L2 inherits that L2's sequencer as substrate, not an A7 dependency. Record the sequencer/DA trust model when A7 applies. - A8. Keeper / relayer / off-chain bot liveness. Protocols that need permissionless-but-necessary off-chain actors (liquidation bots, auto-compounders, deposit relayers, intent solvers). Record whether the role is permissionless, what degrades if nobody runs it (yield paused, bad debt accumulates, positions go stale), and whether the failure mode is graceful or catastrophic. - A9. Governance-mutable dependency surface. Can an admin or DAO action silently INTRODUCE a NEW EXTERNAL dependency — swap the oracle address to a different provider, register a new staking module that calls an untrusted contract, add a new bridge, route SY through a new external vault — without an exit window for users? Check the upgrade / router / module-registry contracts. Answer: which EXTERNAL dependencies are governance-mutable, who holds that power, and whether there is a timelock or exit window. SCOPE LIMIT — read carefully: A9 is about the *external dependency surface*, not the upgrade surface in general. "The proxyAdmin / EOA can upgrade the router implementation to arbitrary bytecode" is a CONTROL-slice finding (admin can rug), NOT an autonomy-A9 finding. A9 fires only when the upgrade specifically swaps out or adds a contract that THIS protocol calls or trusts (e.g., changing the oracle address from Chainlink to a malicious feed, registering a new SY adapter that points to a third-party vault, redirecting a bridge endpoint). If the only finding is "admin can change implementation," do not log it under A9 and do not let it drive the autonomy grade — note it under control instead. The autonomy-relevant version of the same upgrade key is "admin can swap [specific external address X] without timelock"; that requires identifying the specific external dependency that becomes mutable. STEEL-MAN (per Hard Rule 13): write one-sentence strongest arguments for red, orange, and green using the A1–A9 findings. IMPACTED TVS ESTIMATE: the headline MUST include a rough impacted-TVS figure — the fraction of protocol TVS that could be lost or frozen if the worst-unmitigated dependency you identified failed. Use "~X%" if exact numbers are unavailable, "<1%" for de minimis, "unclear" only if A1–A9 left the question genuinely open (in which case grade=unknown is usually correct). Do NOT substitute qualitative phrases like "significant" — give a number or bracket. GRADE ANCHORS (mapped to DefiScan v1 stages): - green = Stage 2 equivalent. Failure of any external dependency cannot cause loss of user principal or unclaimed yield. Either there are no material external dependencies, or every critical one has a documented fallback (A6) that keeps users whole. Governance cannot silently introduce new dependencies without an exit window (A9). Impacted TVS under any single-dependency failure: effectively 0. - orange = Stage 1 equivalent. Failure of some external dependency can cause loss of unclaimed yield, or can materially change expected performance (pause withdrawals, freeze positions, degrade price quality), but cannot cause loss of principal. Committee-based oracles with sanity checks, canonical-only bridges, fallback paths that exist but are incomplete, or governance-mutable dependencies protected by a ≥7-day timelock. Impacted TVS is bounded and recoverable. - red = Stage 0 equivalent. Failure of an external dependency CAN cause theft or loss of principal. Examples: single-provider oracle with no sanity check or fallback, material TVL on a non-canonical bridge with a guardian multisig, governance can hot-swap oracles or add staking modules with no timelock or exit window, unmitigated keeper-liveness dependency where positions become insolvent if bots stop. Impacted TVS is material. - unknown = checklist incomplete after inspecting source + verified contracts. Prefer unknown over guessing when A1/A6 could not be reconstructed. RESERVE unknown for cases where the CORE ARCHITECTURE itself is unverifiable — not for cases where you merely cannot enumerate every per-market dependency in a multi-market protocol. If the core router/factory/oracle architecture is verifiable on-chain and you can determine whether the core requires external dependencies, grade the architecture even when an exhaustive per-market external-dependency census is infeasible. Acknowledge the per-market gap in unknowns[] but still issue a grade. Refusing to grade a multi-market protocol because you cannot list every SY/vault/market is over-use of unknown; grade the architecture and say so. PROMPT-META CHECK (per Hard Rule 17): before finalizing, verify the verdict cites concrete contract addresses, docs, or code — not the rubric itself. If your verdict says "the protocol belongs to a category the rubric marks red", rewrite it with the A1–A9 finding that actually justifies the grade, or drop to grade=unknown. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "autonomy", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links. - Deposit is currently public-callable and multiple independent frontends exist, but the Teller exposes Auth-gated deny-list write methods (allow/deny From/To/Operator) updatable by a 4-of-6 Safe — configurable compliance
Verdict
Choosing orange because the green steel-man is undermined by a concrete on-chain capability the 4-of-6 Safe can exercise without delay: denyFrom / denyTo / denyOperator on the Teller will cause the BeforeTransferHook to revert share transfers for the targeted address, which is the exact mechanism by which a settled AtomicQueue withdrawal would route shares from the user to the solver. Per the rubric's guideline on committees, a small set (6 signers) with informal/unpublished replacement procedure should be 'treated as a single-party operator' — pushing the literal red anchor 'enforces an on-chain blocklist updatable by a single party' into range. The reason it lands orange not red is that the deny-list is opt-out (default-off) rather than a whitelist-required-for-entry, and multiple independent A3b paths (Kraken, ether.fi, Binance Web3, Bybit Web3, direct Etherscan) are documented to route to the same on-chain contract.
Steelman argument
Steelman argument The configurable-compliance feature exists by design (Veda markets 'Configure address whitelists, deposit permissions, curator roles'), but at the contract level it is opt-out (no address is denied by default), deposit is currently a public capability, and multiple operationally independent frontends route to the same contract, so the protocol is practically reachable without the publisher's cooperation — the orange anchor of 'configurable but not currently restrictive admission' fits.Evidence (8)
- A1
- No on-chain whitelist on user entry: the Teller has no isAccredited / isKYCed / allowlist gate on deposit(); deposit() is `requiresAuth` (Solmate) but the deployed Authority sets the deposit selector as a public capability (verified inferentially: depositNonce()=42277 and Etherscan shows 63,809 transactions and ~17,891 holders on the BoringVault — incompatible with a permissioned-only deposit). The BoringVault holds no whitelist either; share transfers are gated only by the BeforeTransferHook deny-list view.
- A2
- Off-chain operators in the admission path: (i) DEPOSIT placement is unconditional given a supported asset and unpaused state; (ii) WITHDRAWAL REQUEST placement on the AtomicQueue is unconditional; (iii) downstream SETTLEMENT of withdrawals depends on a permissioned solver calling bulkWithdraw on the Teller — admission-permissionless, but liveness-dependent (the liveness concern is recorded in the dependencies slice, not here).
- A3-passive
- Veda Tech Labs publishes terms of service at https://veda.tech/terms — I was unable to extract verbatim clause text in this run, so I record only the existence of the ToS document, not its content, as evidence.
- A3-active
- I did not observe any runtime IP geo-block or wallet-screening banner on https://veda.tech in the fetch I performed; the home page rendered without geographical interception. This is a non-finding (absence of evidence) at the veda.tech root; per-product partner UIs (Kraken, ether.fi) may apply their own screening.
- A3b
- Independent access paths exist: (i) the protocol's contracts are usable directly via Etherscan write tabs and any wallet; (ii) per veda.tech and immunefi, Veda powers Kraken DeFi Earn (a separate exchange-operated UI), ether.fi Liquid Vaults (https://etherfi.gitbook.io documentation references the same BoringVault at 0x917cee...), and is distributed through Binance Web3 wallet and Bybit Web3 wallet — at least four operationally independent fronts route to the same contract.
- A4
- On-chain blocklist: the Teller exposes `fromDenyList(address)`, `toDenyList(address)`, `operatorDenyList(address)` view functions and `allowFrom / allowTo / allowOperator / denyFrom / denyTo / denyOperator / allowAll / denyAll` write methods, all `requiresAuth`. The deny-list state is consulted in the `beforeTransfer(from, to, operator)` hook view that the BoringVault calls on every ERC-20 transfer. By default an address is NOT on the deny list, but the 4-of-6 Safe (via the Authority) can add any address to any of the three lists in one transaction.
- A5
- Read vs write access: read access (state views, balanceOf, totalSupply, accountantState) is fully public and unauthenticated. Write access for end-users (deposit / depositWithPermit / bulkDeposit / AtomicRequest) is currently public; write access for protocol operators (manage / pause / updateExchangeRate / setRateProviderData / setUserRole) is permissioned.
- A6
- ToS link present at https://veda.tech/terms (footer of veda.tech/), but I could not extract the verbatim jurisdictional / eligibility clause in this run; the ToS URL is recorded in unknowns rather than as a paraphrased finding. Veda Tech Labs Inc.'s separate SEC/CFTC public input (sec.gov filing dated 2026-03) frames vault-based architectures as a compliance pathway, which contextually suggests the ToS likely includes US-style eligibility carve-outs, but I do not infer that as a finding without the verbatim text.
Why is this consensus tentative?- weak consensus margin
A fresh independent run can strengthen (or overturn) the verdict.
Run your own prompt Submit run ↗### Per-protocol context (ground truth for this run) - protocol.slug: veda - protocol.name: Veda - protocol.chains: Ink, Ethereum, Optimism, Hyperliquid L1, Monad, Plasma, Arbitrum, Base, Berachain, Sonic, Binance, BOB, Scroll - protocol.category: Onchain Capital Allocator - protocol.website: https://veda.tech - protocol.github: Veda-Labs - protocol.audit_links: https://github.com/Se7en-Seas/boring-vault/tree/main/audit, https://0xmacro.com/library/audits/sevenSeas-1.html, https://0xmacro.com/library/audits/sevenSeas-2.html, https://0xmacro.com/library/audits/sevenSeas-3.html - snapshot.generated_at: 2026-09-28T12:50:39.847Z - analysis_date: 2026-10-25 - prompt_version: 29 - address_book: [ { "chain": "Ethereum", "address": "0xCEA8039076E35a825854c5C2f85659430b06ec96", "role": "Owner of the assessed weETHs RolesAuthority" }, { "chain": "Ethereum", "address": "0x402DFF43b4f24b006BBD6520a11C169f81085039", "role": "RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant" }, { "chain": "Ethereum", "address": "0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861", "role": "BeforeTransferHook for weETHs BoringVault" }, { "chain": "Ethereum", "address": "0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88", "role": "vault (weETHs)" } ] ### Pre-built read-API surfacer URLs (verbatim — fetchable as-is) - https://defipunkd.com/address/1/0xCEA8039076E35a825854c5C2f85659430b06ec96 (Owner of the assessed weETHs RolesAuthority) - https://defipunkd.com/address/1/0x402DFF43b4f24b006BBD6520a11C169f81085039 (RolesAuthority for the assessed weETHs BoringVault, Teller, and Accountant) - https://defipunkd.com/address/1/0x99dE9e5a3eC2750a6983C8732E6e795A35e7B861 (BeforeTransferHook for weETHs BoringVault) - https://defipunkd.com/address/1/0x917cee801a67f933f2e6b33fc0cd1ed2d5909d88 (vault (weETHs)) --- You are contributing a single-slice assessment to defipunkd, a git-native transparency registry for DeFi protocols. Your JSON output will be attached to a pull request and compared against ≥2 other independent runs. Disagreements are surfaced publicly — be conservative, cite everything, return grade="unknown" when a signal cannot be determined, and resist stopping at the first damning finding. ### Per-protocol context (do not infer; these are ground truth) A "Per-protocol context" block (provided alongside this prompt — either as a user message in API mode, or as a section appended below in copy-paste mode) lists the pinned inputs (protocol.slug, name, chains, category, website, github, audit_links, snapshot.generated_at, analysis_date, prompt_version, address_book) and a list of pre-built read-API surfacer URLs for each pinned address. Treat those values as authoritative for this run. The pre-built surfacer URLs are accepted by your fetch tool's allowlist because they appear verbatim in the per-protocol context. Each surfacer page pre-executes the contract's zero-arg view methods and renders any address-typed return values as /address/{chainId}/0x… links inline — those rendered links are also fetchable post-fetch. /api/contract/read and /api/safe/owners JSON responses include a top-level `crawl.surfacers` array of /address/{chainId}/0x… URLs for every address-typed value in the result, so you can crawl directly from API responses. For addresses surfaced from non-defipunkd sources (block-explorer pages, GitHub, audit PDFs), the allowlist will reject your generated surfacer URL — record the address in protocol_metadata.admin_addresses and add a checklist-coded entry to unknowns[]; the next run will inherit it as a fetchable surfacer. ### Step 0 — Capability probe (do this before producing JSON) Identify what fetch tool your environment exposes — `web_fetch`, `browser`, `url_context`, `google_search` (with underscore, colon, or space), Bing grounding, Perplexity, `web.run`, or anything similar. Search-grounding tools ARE valid fetch paths and you should use them; they are not forbidden. The distinction that matters is what the tool returned, not its name: a grounded response with the underlying page body is sufficient evidence; a bare 1–3-line preview snippet is not. Probe: attempt one fetch of `protocol.website` and one fetch of a pre-built surfacer URL above (or the protocol's primary block-explorer page if no surfacer is pinned). Record the tool you used, the URL, and what came back (response body, HTTP status, allowlist rejection text, or "tool not present: <name>"). If either probe succeeded, proceed. If both direct probes failed, **DO NOT STOP** — try search. Issue at least two broad search queries (protocol name + "Etherscan" / "official docs" / "GitHub" / "audit"; `site:` operators against etherscan.io / github.com / the docs domain). If a search query returns the underlying page body, that page URL is fetched evidence and goes in evidence[]. Set `grading_basis: "off-chain-only"` and continue with whatever you can extract. Empty `evidence[]` + `grade="unknown"` is only valid if BOTH direct probes AND ≥2 search queries returned nothing usable; in that case, log the attempted queries and observed-zero outcomes in unknowns[]. A submission claiming "blocked" without those receipts is treated as a non-submission (zero quorum weight). Search engines do not index raw JSON API endpoints — zero results for `defipunkd.com/api/contract/read` URLs is expected and is itself a recordable failure mode, not a system restriction. ### Anti-fabrication (the most important rule on this page) Memory is not evidence. Treat your training data, prior conversations, and general knowledge as suggestions for what to look up — never as citations. Every URL in evidence[] must have been fetched in this run via any tool exposed in your environment, OR pasted into this conversation by the user. Constructing a URL is fine, but every variable part (address, commit SHA, repo path, contract name, method, args, block number) must come from a fetched/pasted source in this run, and the URL must then have been successfully fetched before it appears in evidence[]. URLs constructed from remembered addresses, repo paths, contract names, or guessed API methods are fabrication. Before emitting JSON, run an evidence ledger check on every evidence[] entry: 1. The exact URL appears in your fetch transcript or in a user-pasted source body. 2. The fetched/pasted body contains the fact you're citing in evidence[].shows. 3. Every rationale.findings / protocol_metadata claim that depends on this evidence follows directly from that body, without recourse to memory. 4. Derived (rather than verbatim) claims are explicitly labelled as derived in evidence[].shows. 5. `fetched_at` is set ONLY when you actually fetched the URL in this run; if no timestamp is available, omit the field — never invent one. If any check fails, remove the evidence entry and demote dependent claims to unknowns[]. Set grade="unknown" if demotion empties the grading basis. Do not ask the user to paste anything; do not withhold JSON; do not improvise from memory. A plausible-sounding answer backed by unsupported evidence is WORSE than grade="unknown" — it pollutes the quorum. If the assessment requires leaning on remembered public facts ("Lido is governed by LDO token-weighted voting"), historical reports, common knowledge, or likely-architecture reasoning ("UUPS proxies typically have an admin role"), return grade="unknown" with specific unknowns[] entries. Optimize for reproducibility, not completeness — if a reviewer can't re-verify each claim from the evidence URLs alone, the claim does not belong in the JSON. Empty unknowns[] on a non-trivial protocol is a red flag, not a quality signal. When the address_book is null/empty, you do not yet know any deployed address. Discover candidates from fetched website / GitHub / audit / explorer-search pages — addresses you "remember" from training data are not eligible, even for famous tokens (USDC, WBTC, stETH, UNI). If no address can be discovered after a good-faith attempt, return grade="unknown" with checklist-coded unknowns[] entries; do not invent addresses to fill the gap. ### Hard rules 1. Source classes that count as evidence: a) Public block explorers (etherscan.io, basescan.org, arbiscan.io, optimistic.etherscan.io, polygonscan.com, bscscan.com, snowtrace.io, scrollscan.com, lineascan.build, blastscan.io, era.zksync.network) for pinned addresses or addresses you discover transitively from them. b) The linked GitHub repos, at a specific commit SHA recorded in evidence[].commit. c) The audit PDFs / reports linked above. d) DeFiLlama's pinned fields (for category / chain lists only — not for risk assessment). e) DeFiPunkd's read API at https://defipunkd.com/api/{contract,safe}/... — see "On-chain reading" below. 2. If a signal cannot be determined after checking these, set grade="unknown" with ≥1 entry in unknowns[] naming what you looked for. 3. Every factual claim in rationale must map to ≥1 evidence[] entry. 4. Output exactly one JSON object matching the contract at the end, wrapped in a single ```json fenced code block. This rule applies to your FINAL assistant message only — issue tool calls freely during the run; tool-call reasoning lives in your model's tool-use channel and is not subject to this rule. Nothing before or after the fence — no prose, no follow-up questions, no requests for the user to paste anything. If evidence is incomplete, the correct response is still JSON, with claims demoted to unknowns[] and grade="unknown". ### Format rules (validation will reject submissions that violate these) 5. evidence[].url must be a bare `https://...` string — NEVER markdown link syntax. WRONG: `"url": "[Etherscan](https://etherscan.io/...)"`. RIGHT: `"url": "https://etherscan.io/..."`. 6. evidence[].commit, when present, must match `^[0-9a-f]{7,40}$` (lowercase hex, 7–40 chars). NEVER branch names or tags. Omit if you cannot pin a SHA. 7. evidence[].fetched_at, when present, must be ISO-8601 UTC (e.g. `2026-04-23T11:20:00Z`). Set whenever you actually fetched in this run. 8. evidence[].address, when present, must be `^0x[0-9a-fA-F]{40}$` (mixed case OK; checksum not validated). 9. Checklist codes (used in findings[].code and as unknowns[] prefixes) match `^[A-Z][A-Za-z0-9-]{0,16}$` — start with an uppercase letter, then digits / letters / hyphens. Examples: `E1`, `A3b`, `C2-emergency`, `V4-auditor`. No parens, spaces, dots, slashes, underscores. Use slice-defined codes verbatim. unknowns[] entries must be prefixed with the relevant code + colon (e.g. `"A3b: frontend fetch failed"`). 10. chat_url: ALWAYS null. Default share links (claude.ai/chat, chatgpt.com, gemini.google.com) require viewer login and are not publicly readable. The user enables "Share publicly" after you respond and pastes the public URL into the JSON before opening the PR. ### Thoroughness rules 11. Each per-slice body contains a "MANDATORY INSPECTION CHECKLIST". Every item must EITHER produce an evidence[] entry OR a specific unknowns[] entry naming it by code. Silent skips are rejected as incomplete. 12. Before assigning a grade other than "unknown", rationale.steelman must contain a one-sentence strongest argument for each of red / orange / green, and rationale.verdict must state which fits the evidence and why. If the steel-man for the chosen grade is weaker than for an adjacent grade, you have probably picked the wrong grade. When grade="unknown", set steelman to null and use verdict to summarize what blocked the assessment. 13. Distinguish actor classes (EOA, 2-of-3 multisig, 4-of-7+ multisig with identified signers, emergency-scoped time-capped multisig, on-chain governance vote with timelock) and function classes (claim-of-finalized vs new-request-placement, deposit vs borrow, mint vs redeem) — say which actor holds which power, on what time bound. "An admin can pause" is insufficient. 14. For on-chain slices (control, ability-to-exit, autonomy, verifiability), evidence[] must include ≥1 on-chain URL: a block-explorer URL OR a DeFiPunkd /api/{contract/read,safe/owners} URL (preferred — content-addressed when block-pinned). /api/contract/abi alone is metadata, not on-chain evidence. Source repos tell you what code SHOULD do; deployed contracts tell you what it ACTUALLY does. The "open-access" slice is exempt when claims are entirely about frontend / off-chain operator behavior. CARVE-OUT: `grading_basis="off-chain-only"` is exempt from this rule but is downweighted by the quorum bot regardless of grade. 15. Prompt-meta-check: if your verdict quotes prompt language as evidence ("the protocol meets the 'documented fallback' condition"), re-do the verdict — the prompt describes the rubric, not the protocol. Evidence cites what THIS protocol does, not what the rubric says protocols of type X do. 16. `grading_basis` is one of `"on-chain"` (default; omit field), `"off-chain-only"`, or `"mixed"`. Describes what was READ this run, not the verdict — `grade="unknown"` is allowed under any basis. Set `"off-chain-only"` ONLY when BOTH (a) ≥1 successful fetch of a docs / forum / audit / GitHub URL appears in evidence[], AND (b) ≥1 failed on-chain fetch attempt for THIS run is recorded in unknowns[] with a `-offchain` suffix. Empty `evidence[]` with `"off-chain-only"` is a category error and is rejected by the validator. Set `"mixed"` when some checklist codes were on-chain and others fell back. ABI-only finds (you read the ABI but couldn't read live state) are valid as `grade="unknown"` with the ABI cited; do not infer a grade from ABI shape alone. ### On-chain reading via the DeFiPunkd API Don't encode calldata, decode return data, or guess at ABIs by hand. Three deterministic GET endpoints return JSON with blockNumber, blockHash, raw calldata, and rawReturnData — content-addressed when block-pinned (`&block=<n>`): ABI (auto-resolves proxies): https://defipunkd.com/api/contract/abi?chainId=<id>&address=0x... View call (any view method on the merged ABI; flat scalar args): https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=getOwners https://defipunkd.com/api/contract/read?chainId=<id>&address=0x...&method=balanceOf&args=0x... Safe (threshold + owners + version in one call): https://defipunkd.com/api/safe/owners?chainId=<id>&address=0x... Use the BARE method name in `&method=` (e.g. `&method=totalSupply`, NOT `&method=totalSupply()`). Browser tools normalize `(` to `%28` and reject the normalized URL; bare names dodge that. Pass arguments via `&args=` (comma-separated, declaration order). Append `&block=<n>` for content-addressed evidence. Supported chainIds: 1 (ethereum), 10 (optimism), 56 (bsc), 130 (unichain), 137 (polygon), 324 (zksync), 8453 (base), 42161 (arbitrum), 43114 (avalanche), 59144 (linea), 81457 (blast), 534352 (scroll), 11155111 (sepolia). Use this API for any factual claim about contract ABI shape, view-method return values (owner(), getOwners(), getThreshold(), totalSupply(), implementation(), paused(), MIN_DELAY(), …), and Safe membership. Do NOT invent ABIs or return values from training data. Note on noisy address_book: the pinned address_book is sourced from prior assessments. It may include token deployments, oracle feeds, peripheral contracts, or mis-classified entries. Skip surfacer URLs that don't fit your slice — fetch only those whose role hints suggest control / pause / upgrade authority. ### Protocol metadata refresh (populate `protocol_metadata` in the output) DeFiLlama's pinned inputs may be stale or wrong. As a side-effect of this assessment, populate `protocol_metadata` with anything you verify. Leave fields null / empty arrays if you did not verify them — do NOT echo pinned inputs through; null means "not re-verified this run". - `github`: array of canonical source-code repo URLs. - `docs_url`: canonical developer / protocol documentation site. - `audits`: array of `{ firm, url, date }` (date as YYYY-MM or YYYY-MM-DD). - `governance_forum`: primary discussion forum URL (Discourse, Commonwealth, etc.). - `voting_token`: `{ chain, address, symbol }` or null. Omit if not token-governed. - `bug_bounty_url`: public bug bounty page (Immunefi, HackerOne, self-hosted). - `security_contact`: private-disclosure channel — security@ email or SECURITY.md URL. Distinct from public bug bounty. - `deployed_contracts_doc`: docs page that lists deployed addresses per chain. Don't enumerate; just link. - `admin_addresses`: array of `{ chain, address, role, actor_class }` for multisig / timelock / owner / proxy-admin addresses. `actor_class` ∈ `"eoa" | "multisig" | "timelock" | "governance" | "unknown"`. These are the anchors for future runs' address_book. - `upgradeability`: `"immutable" | "upgradeable" | "mixed" | "unknown"`. "mixed" = some core contracts immutable, others behind proxies. - `about`: 2–4 sentence plain-English description. Name the user action (stake, borrow, swap, bridge, mint, redeem), the asset / market, and the distinctive mechanism (liquid staking receipt, isolated lending pools, constant-product AMM, intents auction, etc.). Do not restate category / chains / TVL. Every non-null field in `protocol_metadata` must be backed by ≥1 entry in evidence[]. --- ### Slice: OPEN-ACCESS Evaluate who is allowed to use the protocol and whether any of that permission is granted off-chain. Scope: this slice is about ADMISSION — who can enter, exit, or transact. Operator LIVENESS (what breaks if keepers/oracles go offline) is assessed in the dependencies slice and is out of scope for the grade here. You may note operator dependencies as context, but do not let "the protocol halts if operator X disappears" drive the access grade on its own; that belongs in dependencies. Source verification / contract verification on block explorers is assessed in the verifiability slice and is out of scope here — do NOT let "contract is unverified" drive the access grade. Framing: the smart contracts are the access layer; frontends are UX. A permissionless contract is reachable by any client (SDK, third-party UI, aggregator, wallet integration). Frontend ToS, IP geo-blocking, and wallet screening are publisher policies on one specific client — they are reported as context but do NOT determine the grade. The grade hinges on (1) what the contract itself permits, and (2) whether the protocol is practically reachable without the official publisher's cooperation. Meta-check before finalizing: if your verdict cites phrases from this prompt as evidence ("the protocol meets the 'credible alternatives' condition", "this fits the 'documented fallback' rule"), redo the verdict. The prompt describes the rubric; evidence must come from the protocol. A verdict should cite what the protocol does, not what the rubric says. MANDATORY INSPECTION CHECKLIST (every item below must appear in evidence[] OR unknowns[]): - A1. Whitelist / allowlist modifiers in user-facing entry points. Grep for "onlyWhitelisted", "onlyRole", "allowlist", "isAccredited", "isKYCed". Note which functions are gated and who can add/remove from the list. - A2. Off-chain operators in the admission path: keepers, sequencers, privileged relayers, oracle posters whose approval is required to admit a user action (not just to keep the protocol live). For each, identify whether the role is held by a single operator, a permissioned committee, or is permissionless. Enumerate per user-facing function class (deposit vs withdraw-request vs claim-finalized vs transfer) which ones require operator approval to be admitted, and which ones admit users unconditionally. A function whose placement is unconditional but whose downstream settlement depends on an operator is an admission-permissionless function — flag the liveness dependency as context and defer its grading weight to the dependencies slice. - A3. Frontend restrictions on the official interface — record as context, not as a grade lever. Distinguish: - A3-passive: boilerplate ToS clauses (sanctions attestation, restricted-territory self-certification, VPN-circumvention prohibition, "comply with applicable law" eligibility, age of majority). - A3-active: runtime enforcement — IP-based geo-blocking, wallet-address screening against a sanctions oracle (Chainalysis, TRM, Elliptic), KYC wall, rendering-blocking jurisdiction banner. Record findings under the correct tier. Quote ToS text or banner text in evidence[].shows. These findings populate the headline and rationale but do NOT move the grade by themselves; the grade is set by A1, A2, and the A3b path check below. - A3b. Independent access paths (the operative grade input). Enumerate paths that do not require the official publisher's cooperation: - Published SDK / library / CLI for direct contract interaction. - Third-party frontends operated by separate legal entities. - Wallet-integrated access (MetaMask Swaps, Safe apps, etc.). - DEX / lending / yield aggregators that route through the contracts. Record at least one concrete link per path that exists. The protocol does NOT have to self-document these — the test is existence, not UX cost. An A3b-i redistribution of the official UI bound by the same ToS does NOT count as an independent path. - A4. Sanctions / compliance tooling at the contract level: does the protocol check addresses against OFAC lists or similar on-chain blocklists in the contract itself? (Frontend-only screening belongs in A3.) - A5. Differentiate read access vs write access: many protocols are read-permissionless (anyone can view state) but write-gated (only certain addresses can deposit/borrow). Record both. - A6. ToS / Legal links: locate them on the website and produce a VERBATIM quote of any jurisdictional, sanctions, or eligibility clause in evidence[].shows. If you cannot extract the clause text verbatim (SPA render failure, paywall, dead link, etc.), do NOT paraphrase or infer from general knowledge — record the ToS URL in unknowns[] with the reason extraction failed. Assertions about ToS content without a verbatim quote will be downweighted by reviewers. Then write the steel-man section per Hard Rule 11. Grade rules (admission-focused; liveness concerns belong in dependencies; source verification belongs in verifiability): - green = no contract-level whitelist/KYC on user entry/exit; no operator approval required to admit a user action; AND at least one independent A3b path exists (published SDK, third-party frontend, wallet integration, or aggregator routing). Frontend ToS posture and A3-active enforcement on the official UI do NOT block green when contracts are permissionless and an independent path exists — they are reported as context. - orange = contracts admit users unconditionally, BUT the protocol is operationally captured by the official publisher: no published SDK, no third-party frontend, no wallet integration, no aggregator routing. The contract is theoretically open but practically reachable only through the official UI. Also applies when admission requires approval from a permissioned committee that is governance-managed with a documented replacement procedure. - red = contract-level whitelist / KYC on user entry/exit, OR admission of a core user action requires approval from a single privileged operator or a small committee with no documented replacement procedure, OR enforces an on-chain blocklist updatable by a single party. - unknown = checklist incomplete after checking the sources above. Default-grade guidance: when contracts are fully permissionless AND any A3b independent path exists, the default grade is green regardless of frontend ToS or A3-active enforcement on the official UI. Frontend geo-blocking, sanctions-oracle wallet screening, and ToS sanctions clauses are publisher policies on one client and are reported in findings/headline as context, not as grade levers. To grade orange on operational-capture grounds, the auditor must affirmatively show that ALL independent paths are absent or also gated. Guideline on committees: where admission depends on a multi-operator committee, the relevant axes are (a) set size, (b) whether replacement/rotation is governed on-chain, (c) whether the replacement procedure is publicly documented. A large set with on-chain governance replacement should not be graded as a single-party operator even if rotation is not instantaneous. A small set with informal replacement should be treated as a single-party operator. --- ### JSON output contract Return exactly one JSON object inside a single ```json fenced block. Shape: { "schema_version": 4, "slug": "<copy protocol.slug from the per-protocol context>", "slice": "open-access", "snapshot_generated_at": "<copy snapshot.generated_at from the per-protocol context>", "prompt_version": 29, "analysis_date": "<copy analysis_date from the per-protocol context>", "model": "<exact model name, e.g. claude-opus-4-7 / gpt-5-thinking / gemini-3-pro>", "chat_url": null, "grading_basis": "on-chain | off-chain-only | mixed (optional; omit for on-chain)", "grade": "green | orange | red | unknown", "headline": "<one-line summary>", "short_headline": "<≤6 words, ≤80 chars; omit if you can't fit>", "rationale": { "findings": [{ "code": "E1", "text": "<concrete, source-cited finding>" }], "steelman": { "red": "<one sentence>", "orange": "<one sentence>", "green": "<one sentence>" }, "verdict": "Choosing <grade> because <reason ranking one steel-man above the others, citing specific evidence>." }, "evidence": [{ "url": "https://...", "shows": "<what this URL demonstrates>", "chain": "...", "address": "0x...", "commit": "<hex SHA>", "fetched_at": "2026-04-23T11:20:00Z" }], "unknowns": ["E3: <thing you looked for but couldn't determine>"], "protocol_metadata": { "github": ["https://github.com/org/repo"], "docs_url": "https://docs.protocol.xyz", "audits": [{ "firm": "Trail of Bits", "url": "https://...report.pdf", "date": "2025-09" }], "governance_forum": "https://forum.protocol.xyz", "voting_token": { "chain": "Ethereum", "address": "0x...", "symbol": "XYZ" }, "bug_bounty_url": "https://immunefi.com/bounty/protocol", "security_contact": "security@protocol.xyz", "deployed_contracts_doc": "https://docs.protocol.xyz/deployments", "admin_addresses": [{ "chain": "Ethereum", "address": "0x...", "role": "DAO treasury multisig", "actor_class": "multisig" }], "upgradeability": "immutable | upgradeable | mixed | unknown", "about": "<2–4 sentences>" } } Rules recap: - grade="unknown" ⇒ steelman=null; unknowns[] ≥1; evidence[] may be empty. - grade!="unknown" ⇒ steelman={red,orange,green}; evidence[] ≥1; verdict starts with "Choosing ". - findings[].code matches the slice's checklist prefix verbatim (E1, C2-emergency, V4a, …); unknowns[] entries are checklist-coded ("E3: …"). - Wrap in a single ```json fence; nothing before or after. URLs are bare strings, never markdown links.
Stage
Preview of the Phase-3 maturity framework. DeFiPunk'd will adopt DeFiScan v2's stages verbatim; the section is rendered below in its intended shape so the structure is visible today.
Veda has not yet been assessed under the DeFiScan v2 stage framework.
The walkaway test is the central criterion. Once stages land, protocols reach Stage 1 only if users can exit in the presence of malicious operators even when the emergency council disappears.
Scope of assessment
Stages are assessed per-protocol against DeFiScan v2's criteria: governance structure, upgradeability path, timelock durations, emergency-council scope, and the walkaway test. The analysis depends on onchain discovery (roles, owners, timelocks) and deeper review of deployed contracts — neither of which DeFiPunk'd automates at Phase 0.
Stage 0 requirements pending
Governance is largely off-chain, contracts are upgradeable with short or no timelock, and the protocol depends on a multisig or team with full discretion. At Phase 0 DeFiPunk'd does not automatically evaluate these; the assessment lands with crawler-based onchain discovery.
Stage 1 requirements pending
Users can exit or opt out on their own terms even if the team disappears. Upgrades run through a meaningful timelock with an emergency security council clearly scoped. The walkaway test is the headline criterion.
Stage 2 requirements pending
Protocol is fully permissionless and immutable, or upgrades require a supermajority of token holders with a long timelock and no emergency override. This is the terminal stage of the DeFiScan v2 framework.
Stages are an opinionated assessment of maturity, not a rating of security or safety. A protocol can sit at Stage 2 and still carry substantial technical or economic risk; the framework exists to incentivize decentralization, not to rank protocols.
Contract surface
Every contract in scope for this protocol — pooled from DeFiLlama's TVL adapter (mechanical) and DEFI@home discovery submissions (LLM-curated). Verified-source flags come from Etherscan + Sourcify; owner / multisig metadata is read on-chain when available. Reviewer audit context, not a slice score. A lending protocol's adapter set will list third-party collateral tokens alongside its own contracts; attribution is the grader's job.
- 214addresses
- 29verified source
- 14proxies
- 5of 13 owners are Safes
| arbitrum | ERC1967Proxy | 0x7189…dc27 | TVL | ✓ | proxy | 0x0c6c…9732 | 3/6 Safe |
| arbitrum | ClonableBeaconProxy | 0x2f2a…5b0f | TVL | ✓ | proxy | — | — |
| base | FiatTokenProxy | 0xcbb7…33bf | TVL | ✓ | proxy | — | — |
| base | ERC1967Proxy | 0x6c24…2aa2 | TVL | ✓ | proxy | — | — |
| base | WBTCOFT | 0x0555…2b9c | TVL | ✓ | — | — | — |
| base | WETH9 | 0x4200…0006 | TVL | ✓ | — | — | — |
| berachain | WBTCOFT | 0x0555…2b9c | TVL | ✓ | — | 0xfead…186c | — |
| berachain | OFTTokenERC20 | 0x2f6f…7590 | TVL | ✓ | — | 0x64a8…737e | — |
| bob | WBTC | 0x03c7…cfa3 | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | accountant | 0x05a1…a32b | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | accountant | 0x1b29…c13f | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | teller | 0xe19a…42d1 | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | teller | 0xe2ac…fb1f | TVL | — | — | — | — |
| boringVaultsV0Arbitrum | vault | 0x86b5…0161 | TVL | — | — | — | vault |
| boringVaultsV0Base | accountant | 0x05a1…a32b | TVL | — | — | — | — |
| boringVaultsV0Base | accountant | 0x0d05…8198 | TVL | — | — | — | — |
| boringVaultsV0Base | accountant | 0x1b29…c13f | TVL | — | — | — | — |
| boringVaultsV0Base | accountant | 0x1c21…4156 | TVL | — | — | — | — |
| boringVaultsV0Base | accountant | 0x2863…3dce | TVL | — | — | — | — |
| boringVaultsV0Base | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Base | teller | 0x2ea4…b9b3 | TVL | — | — | — | — |
| boringVaultsV0Base | teller | 0x5c13…66f5 | TVL | — | — | — | — |
| boringVaultsV0Base | teller | 0x66b9…e98a | TVL | — | — | — | — |
| boringVaultsV0Base | teller | 0xe19a…42d1 | TVL | — | — | — | — |
| boringVaultsV0Base | teller | 0xe2ac…fb1f | TVL | — | — | — | — |
| boringVaultsV0Base | vault | 0x42a0…af85 | TVL | — | — | — | vault |
| boringVaultsV0Base | vault | 0x5401…d57c | TVL | — | — | — | vault |
| boringVaultsV0Base | vault | 0x86b5…0161 | TVL | — | — | — | vault |
| boringVaultsV0Base | vault | 0xf0bb…416c | TVL | — | — | — | vault |
| boringVaultsV0Berachain | accountant | 0x0b24…0b0d | TVL | — | — | — | — |
| boringVaultsV0Berachain | accountant | 0x4fae…cce9 | TVL | — | — | — | — |
| boringVaultsV0Berachain | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Berachain | teller | 0xa697…27df | TVL | — | — | — | — |
| boringVaultsV0Berachain | teller | 0xf16c…53d7 | TVL | — | — | — | — |
| boringVaultsV0Berachain | vault | 0x46fc…a77e | TVL | — | — | — | vault |
| boringVaultsV0Berachain | vault | 0xb837…944e | TVL | — | — | — | vault |
| boringVaultsV0Bnb | accountant | 0x2863…3dce | TVL | — | — | — | — |
| boringVaultsV0Bnb | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Bnb | teller | 0x2ea4…b9b3 | TVL | — | — | — | — |
| boringVaultsV0Bnb | vault | 0x5401…d57c | TVL | — | — | — | vault |
| boringVaultsV0Bob | accountant | 0x22b0…e7d5 | TVL | — | — | — | — |
| boringVaultsV0Bob | lens | 0xb1db…75ae | TVL | — | — | — | — |
| boringVaultsV0Bob | teller | 0x19ab…16d3 | TVL | — | — | — | — |
| boringVaultsV0Bob | vault | 0x9998…8779 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | accountant | 0x05a1…a32b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x0639…30a7 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x075e…1f75 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x0d05…8198 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x126a…156b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x1683…1087 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x1b29…c13f | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x1c21…4156 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x1d4f…1e0c | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x2863…3dce | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x2e0e…811d | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x37e6…c45b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x3a59…3668 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x58cd…ff5b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x6049…a2ec | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x6b2d…c35f | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x737f…3f18 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x95fe…7cfe | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0x9a22…e043 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xa76e…a0be | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xb532…c5aa | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xb647…0f95 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xbae1…e2ba | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xbe16…afbe | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xc315…d3e7 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xc873…18f5 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xe485…3d53 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xe803…5114 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xea23…e6b0 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xeb44…b790 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | accountant | 0xf1ec…f986 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | lens | 0x9098…a396 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | lens | 0xa2c8…34fb | TVL | — | — | — | — |
| boringVaultsV0Ethereum | lens | 0xc67a…6903 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | lens | 0xe0ef…57fe | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x0baa…614b | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x1645…d1c8 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x221e…ef64 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x258f…71b2 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x2ea4…b9b3 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x31a5…f5b8 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x358c…776a | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x417e…4d35 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x4e7d…ef1e | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x5989…3f36 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x5c13…66f5 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x63b2…2bb0 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x63ed…e884 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x66b9…e98a | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x7c34…dcd1 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x7c75…e584 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x929b…8474 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x99de…b861 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0x9e88…2d48 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xa55a…f76e | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xa5c0…d098 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xb02d…328e | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xb6f7…12b0 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xbbf9…0103 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xc7bf…7c75 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xc8c5…1fe2 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xe19a…42d1 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xe2ac…fb1f | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xe6a0…0de2 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xe973…1e73 | TVL | — | — | — | — |
| boringVaultsV0Ethereum | teller | 0xead0…35fd | TVL | — | — | — | — |
| boringVaultsV0Ethereum | vault | 0x08c6…364c | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x1293…aa7c | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x165c…36c7 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x294e…fbad | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x309f…8aaf | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x3521…c997 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x42a0…af85 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x5401…d57c | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x5e27…7089 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x5f46…0726 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x699e…6490 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x6bf3…3ddf | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x7223…4273 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x86b5…0161 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0x917c…9d88 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xaf13…5837 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xbc0f…8265 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xca87…39e4 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xd107…a000 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xe770…eee9 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xeda6…4e70 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xef41…aa09 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xf0bb…416c | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xf153…8cb7 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xf6d7…2cb3 | TVL | — | — | — | vault |
| boringVaultsV0Ethereum | vault | 0xfe0c…978f | TVL | — | — | — | vault |
| boringVaultsV0Hyperevm | accountant | 0x7439…ece2 | TVL | — | — | — | — |
| boringVaultsV0Hyperevm | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Hyperevm | teller | 0x29c0…3158 | TVL | — | — | — | — |
| boringVaultsV0Hyperevm | vault | 0x9ba2…b160 | TVL | — | — | — | vault |
| boringVaultsV0Ink | accountant | 0x0c4d…dc67 | TVL | — | — | — | — |
| boringVaultsV0Ink | accountant | 0x427a…8b22 | TVL | — | — | — | — |
| boringVaultsV0Ink | accountant | 0x8c9c…eaf7 | TVL | — | — | — | — |
| boringVaultsV0Ink | accountant | 0x9c24…54c9 | TVL | — | — | — | — |
| boringVaultsV0Ink | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Ink | lens | 0x9098…a396 | TVL | — | — | — | — |
| boringVaultsV0Ink | teller | 0x4863…dedb | TVL | — | — | — | — |
| boringVaultsV0Ink | teller | 0x50e9…c522 | TVL | — | — | — | — |
| boringVaultsV0Ink | teller | 0xc151…29fc | TVL | — | — | — | — |
| boringVaultsV0Ink | teller | 0xc46f…f6a0 | TVL | — | — | — | — |
| boringVaultsV0Ink | vault | 0x63d1…868e | TVL | — | — | — | vault |
| boringVaultsV0Ink | vault | 0x9761…1cca | TVL | — | — | — | vault |
| boringVaultsV0Ink | vault | 0xcaae…789f | TVL | — | — | — | vault |
| boringVaultsV0Ink | vault | 0xdbd8…a271 | TVL | — | — | — | vault |
| boringVaultsV0Plasma | accountant | 0x737f…3f18 | TVL | — | — | — | — |
| boringVaultsV0Plasma | lens | 0xc67a…6903 | TVL | — | — | — | — |
| boringVaultsV0Plasma | teller | 0x4e7d…ef1e | TVL | — | — | — | — |
| boringVaultsV0Plasma | vault | 0xd107…a000 | TVL | — | — | — | vault |
| boringVaultsV0Scroll | accountant | 0x0d05…8198 | TVL | — | — | — | — |
| boringVaultsV0Scroll | accountant | 0x1b29…c13f | TVL | — | — | — | — |
| boringVaultsV0Scroll | accountant | 0xc315…d3e7 | TVL | — | — | — | — |
| boringVaultsV0Scroll | accountant | 0xea23…e6b0 | TVL | — | — | — | — |
| boringVaultsV0Scroll | accountant | 0xeb44…b790 | TVL | — | — | — | — |
| boringVaultsV0Scroll | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Scroll | teller | 0x221e…ef64 | TVL | — | — | — | — |
| boringVaultsV0Scroll | teller | 0x5c13…66f5 | TVL | — | — | — | — |
| boringVaultsV0Scroll | teller | 0x9e88…2d48 | TVL | — | — | — | — |
| boringVaultsV0Scroll | teller | 0xcc9a…a8fa | TVL | — | — | — | — |
| boringVaultsV0Scroll | teller | 0xe19a…42d1 | TVL | — | — | — | — |
| boringVaultsV0Scroll | vault | 0x08c6…364c | TVL | — | — | — | vault |
| boringVaultsV0Scroll | vault | 0x5f46…0726 | TVL | — | — | — | vault |
| boringVaultsV0Scroll | vault | 0xf0bb…416c | TVL | — | — | — | vault |
| boringVaultsV0Sonic | accountant | 0x0639…30a7 | TVL | — | — | — | — |
| boringVaultsV0Sonic | accountant | 0x3a59…3668 | TVL | — | — | — | — |
| boringVaultsV0Sonic | accountant | 0xa76e…a0be | TVL | — | — | — | — |
| boringVaultsV0Sonic | accountant | 0xc1a2…8acb | TVL | — | — | — | — |
| boringVaultsV0Sonic | lens | 0x5232…4a1b | TVL | — | — | — | — |
| boringVaultsV0Sonic | lens | 0xe0ef…57fe | TVL | — | — | — | — |
| boringVaultsV0Sonic | teller | 0x258f…71b2 | TVL | — | — | — | — |
| boringVaultsV0Sonic | teller | 0x31a5…f5b8 | TVL | — | — | — | — |
| boringVaultsV0Sonic | teller | 0x358c…776a | TVL | — | — | — | — |
| boringVaultsV0Sonic | teller | 0xace7…f079 | TVL | — | — | — | — |
| boringVaultsV0Sonic | vault | 0x309f…8aaf | TVL | — | — | — | vault |
| boringVaultsV0Sonic | vault | 0xbb30…bfbd | TVL | — | — | — | vault |
| bsc | WBTCOFT | 0x0555…2b9c | TVL | ✓ | — | — | — |
| ethereum | ERC1967Proxy | 0x386e…5fb6 | TVL | ✓ | proxy | — | — |
| ethereum | FiatTokenProxy | 0xcbb7…33bf | TVL | ✓ | proxy | 0xce56…16e6 | — |
| ethereum | ERC1967Proxy | 0x1570…a138 | TVL | ✓ | proxy | 0xd7cd…4f24 | 3/5 Safe |
| ethereum | BoringVault | 0x657e…c642 | TVL | ✓ | — | — | — |
| ethereum | TransparentUpgradeableProxy | 0xec53…1f83 | TVL | ✓ | proxy | 0x369e…9111 | 1/2 Safe |
| ethereum | EtherFiGovernanceToken | 0xfe0c…c0eb | TVL | ✓ | — | — | — |
| ethereum | BoringVault | 0x9397…6663 | TVL | ✓ | — | — | — |
| ethereum | TransparentUpgradeableProxy | 0xd5f7…adfa | TVL | ✓ | proxy | — | — |
| ethereum | TransparentUpgradeableProxy | 0x73a1…acf5 | TVL | ✓ | proxy | — | — |
| ethereum | FiatTokenProxy | 0xa0b8…eb48 | TVL | ✓ | proxy | 0xfcb1…ae3a | — |
| ethereum | USDe | 0x4c9e…68b3 | TVL | ✓ | — | 0x3b0a…1862 | 5/11 Safe |
| ethereum | TetherToken | 0xdac1…1ec7 | TVL | ✓ | — | 0xc6cd…a828 | — |
| ethereum | WBTC | 0x2260…c599 | TVL | ✓ | — | 0xca06…beb7 | — |
| ethereum | WETH9 | 0xc02a…6cc2 | TVL | ✓ | — | — | — |
| Ethereum | vault (weETHs) | 0x917c…9d88 | discovery | — | — | — | vault |
| hyperliquid | WHYPE | 0x5555…5555 | TVL | — | — | — | — |
| ink | USDC | 0x2d27…eaed | TVL | — | — | — | — |
| legacyVaultsEthereum | id | 0xea1a…a221 | TVL | — | — | — | — |
| mantle | TransparentUpgradeableProxy | 0xe682…e8fa | TVL | ✓ | proxy | 0x71a1…5037 | 6/14 Safe |
| plasma | USDT0 | 0xb8ce…5ebb | TVL | — | — | — | — |
| scroll | WBTC | 0x3c1b…0cf1 | TVL | ✗ | — | — | — |
| scroll | WETH | 0x5300…0004 | TVL | ✗ | — | — | — |
| sonic | TransparentUpgradeableProxy | 0xecac…11c1 | TVL | ✓ | proxy | 0xd217…28a4 | — |
| sonic | BoringVault | 0x3bce…7812 | TVL | ✓ | — | — | — |
| sonic | BoringVault | 0xd3dc…97ae | TVL | ✓ | — | — | — |
| sonic | FiatTokenProxy | 0x2921…8894 | TVL | ✓ | proxy | 0xfb5c…58b8 | — |
| sonic | MintedERC20 | 0x309c…ebc7 | TVL | ✓ | — | — | — |
Protocol Info
Links
[defillama] Source: DeFiLlama [:] Source: DEFI@home quorum
- Website
- https://veda.tech
- @veda_labs
- GitHub
-
2 repositories
Security
[:] Source: DEFI@home quorum
- Audits
-
25 audits
- Security contact
- help@veda.tech
Technical
[:] Source: DEFI@home quorum
- Deployed contracts
- https://github.com/Veda-Labs/boring-vault/tree/main/deployments
- Upgradeability
- Immutable
Provenance
[defillama] Source: DeFiLlama
- Review status
- listed
- Updated
- 2026-09-28 12:50 UTC