{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:AIZNWY5YWK52KZCT24ZLUSVAL3","short_pith_number":"pith:AIZNWY5Y","schema_version":"1.0","canonical_sha256":"0232db63b8b2bba56453d732ba4aa05ed17b2898ed2033440208425ff67b300f","source":{"kind":"arxiv","id":"2103.02209","version":1},"attestation_state":"computed","paper":{"title":"SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Jianan Yao, Ronghui Gu, Shaokai Lin, Xinyuan Sun","submitted_at":"2021-03-03T06:45:05Z","abstract_excerpt":"The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge proof effort. To address this challenge, we present SciviK, a versatile framework for specifying and verifying industrial-grade smart contracts. SciviK's versatile approach extends previous efforts with three key contributions: (i) an expressive annotation system enabling built-in directives for vulnerability pattern checking, neural-based loop invariant infere"},"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":"2103.02209","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-03T06:45:05Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ad90476509dec564bec87e9b13eca884c9c9b7dfcc43f752bda1f5b7e5365fdb","abstract_canon_sha256":"0aa048db773b3ac7b89cb4454942db003990e5709371f3358abce80d01c9f8b3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:20:01.993245Z","signature_b64":"WwerBRoD5SObLOZ1srDrGIboAVnA7rnKvb/wsWMq9JZIu538gVYhE7AVqH1JneGVBw3umQZySeA9Z3dkOrEIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0232db63b8b2bba56453d732ba4aa05ed17b2898ed2033440208425ff67b300f","last_reissued_at":"2026-07-05T02:20:01.992837Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:20:01.992837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Jianan Yao, Ronghui Gu, Shaokai Lin, Xinyuan Sun","submitted_at":"2021-03-03T06:45:05Z","abstract_excerpt":"The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge proof effort. To address this challenge, we present SciviK, a versatile framework for specifying and verifying industrial-grade smart contracts. SciviK's versatile approach extends previous efforts with three key contributions: (i) an expressive annotation system enabling built-in directives for vulnerability pattern checking, neural-based loop invariant infere"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.02209","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2103.02209/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2103.02209","created_at":"2026-07-05T02:20:01.992898+00:00"},{"alias_kind":"arxiv_version","alias_value":"2103.02209v1","created_at":"2026-07-05T02:20:01.992898+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02209","created_at":"2026-07-05T02:20:01.992898+00:00"},{"alias_kind":"pith_short_12","alias_value":"AIZNWY5YWK52","created_at":"2026-07-05T02:20:01.992898+00:00"},{"alias_kind":"pith_short_16","alias_value":"AIZNWY5YWK52KZCT","created_at":"2026-07-05T02:20:01.992898+00:00"},{"alias_kind":"pith_short_8","alias_value":"AIZNWY5Y","created_at":"2026-07-05T02:20:01.992898+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/AIZNWY5YWK52KZCT24ZLUSVAL3","json":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3.json","graph_json":"https://pith.science/api/pith-number/AIZNWY5YWK52KZCT24ZLUSVAL3/graph.json","events_json":"https://pith.science/api/pith-number/AIZNWY5YWK52KZCT24ZLUSVAL3/events.json","paper":"https://pith.science/paper/AIZNWY5Y"},"agent_actions":{"view_html":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3","download_json":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3.json","view_paper":"https://pith.science/paper/AIZNWY5Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2103.02209&json=true","fetch_graph":"https://pith.science/api/pith-number/AIZNWY5YWK52KZCT24ZLUSVAL3/graph.json","fetch_events":"https://pith.science/api/pith-number/AIZNWY5YWK52KZCT24ZLUSVAL3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3/action/storage_attestation","attest_author":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3/action/author_attestation","sign_citation":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3/action/citation_signature","submit_replication":"https://pith.science/pith/AIZNWY5YWK52KZCT24ZLUSVAL3/action/replication_record"}},"created_at":"2026-07-05T02:20:01.992898+00:00","updated_at":"2026-07-05T02:20:01.992898+00:00"}