{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:GTRBNSBH3GPII7RKYIWVBU533N","short_pith_number":"pith:GTRBNSBH","schema_version":"1.0","canonical_sha256":"34e216c827d99e847e2ac22d50d3bbdb75b03d31888ba6d593ff7c539d515d22","source":{"kind":"arxiv","id":"1109.6882","version":1},"attestation_state":"computed","paper":{"title":"Verifying Computations with Streaming Interactive Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Graham Cormode, Justin Thaler, Ke Yi","submitted_at":"2011-09-30T16:24:53Z","abstract_excerpt":"When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not sufficiently scalable or practical. In this paper, we develop new proof protocols for verifying computations which are streaming in nature: the verifier (data owner) needs only logarithmic space and a single pass over the input, and after observing the input follows a simple protocol with a prover (service provider) that takes logarithmic communication spread ov"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1109.6882","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2011-09-30T16:24:53Z","cross_cats_sorted":[],"title_canon_sha256":"2dcd9044482afd277351cfc9fcd1438e8a14530d0360c8c1d70ab3e1b999d009","abstract_canon_sha256":"b2547e9bb56c32f50ebdb515a4318ed52cc0275d8c593588d2b0745afcca802c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:52.297940Z","signature_b64":"7f+LlyVY1sUFmBiClXrjT84zHxl/wyj6j+W7nz3fLKrCQlO5aOE+DVBEkntCfxQqYnZJe3ZCOm2QDbCbo/vSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34e216c827d99e847e2ac22d50d3bbdb75b03d31888ba6d593ff7c539d515d22","last_reissued_at":"2026-05-18T04:11:52.297287Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:52.297287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifying Computations with Streaming Interactive Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Graham Cormode, Justin Thaler, Ke Yi","submitted_at":"2011-09-30T16:24:53Z","abstract_excerpt":"When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not sufficiently scalable or practical. In this paper, we develop new proof protocols for verifying computations which are streaming in nature: the verifier (data owner) needs only logarithmic space and a single pass over the input, and after observing the input follows a simple protocol with a prover (service provider) that takes logarithmic communication spread ov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.6882","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1109.6882","created_at":"2026-05-18T04:11:52.297405+00:00"},{"alias_kind":"arxiv_version","alias_value":"1109.6882v1","created_at":"2026-05-18T04:11:52.297405+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.6882","created_at":"2026-05-18T04:11:52.297405+00:00"},{"alias_kind":"pith_short_12","alias_value":"GTRBNSBH3GPI","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_16","alias_value":"GTRBNSBH3GPII7RK","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_8","alias_value":"GTRBNSBH","created_at":"2026-05-18T12:26:30.835961+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N","json":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N.json","graph_json":"https://pith.science/api/pith-number/GTRBNSBH3GPII7RKYIWVBU533N/graph.json","events_json":"https://pith.science/api/pith-number/GTRBNSBH3GPII7RKYIWVBU533N/events.json","paper":"https://pith.science/paper/GTRBNSBH"},"agent_actions":{"view_html":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N","download_json":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N.json","view_paper":"https://pith.science/paper/GTRBNSBH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1109.6882&json=true","fetch_graph":"https://pith.science/api/pith-number/GTRBNSBH3GPII7RKYIWVBU533N/graph.json","fetch_events":"https://pith.science/api/pith-number/GTRBNSBH3GPII7RKYIWVBU533N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N/action/storage_attestation","attest_author":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N/action/author_attestation","sign_citation":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N/action/citation_signature","submit_replication":"https://pith.science/pith/GTRBNSBH3GPII7RKYIWVBU533N/action/replication_record"}},"created_at":"2026-05-18T04:11:52.297405+00:00","updated_at":"2026-05-18T04:11:52.297405+00:00"}