{
  "url": "https://appliedfrontier.nl/en/research/signal-467c8e42acb6bdc9/",
  "title": "Proof-based general-purpose computing with Magnetar",
  "published": "2026-10-15",
  "excerpt": "Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming",
  "content_sha256": "09fae52a4e362f0a23fd4cf424f4a86e567743a7acdcdb28d15dc0b14f981b54",
  "extracted_chars": 352,
  "artifact_links": [],
  "extraction_scope": "official_feed_metadata",
  "full_text_available": false,
  "feed_provider": "Microsoft Research",
  "id": "signal-467c8e42acb6bdc9",
  "org": "Microsoft Research",
  "topic": "Mathematical reasoning",
  "source_kind": "primary_technical_publication",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_research_triage_v2",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "proof",
    "proofs"
  ],
  "checked_at": "2026-11-01T13:17:06+00:00",
  "first_seen": "2026-10-31T19:32:56+00:00",
  "source_hash": "bad51c2f2b0bd49886fffabd113d7057e6616c54621c42b58394f34ef57b8e9e",
  "source_url": "https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}