{
  "tool_id": "art-272-restaking-risk",
  "kernel_id": "art-272-restaking-risk",
  "display_name": "Restaking Delegation and Slashing Risk Analyzer",
  "tool_version": "1.0.0",
  "mandate_type": "analytics_mandate",
  "purpose": "Models restaking delegation rewards, operator fees, AVS yield, and slashing-waterfall risk for EigenLayer and Symbiotic. Computes slashing exposure through a configurable first-loss buffer-tranche model, probability-weighted expected annual slash cost, and slashing-insurance economics. Not financial advice.",
  "control_description": "Models restaking delegation rewards, operator fees, AVS yield, and slashing-waterfall risk for EigenLayer and Symbiotic. Computes slashing exposure through a configurable first-loss buffer-tranche model, probability-weighted expected annual slash cost, and slashing-insurance economics. Not financial advice.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:fa0c0c6dff1a33577f8de9a44bbd6c3d35d4a2d544a0d9f83ed9c1635870b792",
  "trust_label": "independently verified -- zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 46,
  "source_url": "https://ainumbers.co/chaingraph/art-272-restaking-risk.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}