Pith. sign in

REVIEW 2 cited by

Smart Contract Templates: foundations, design landscape and research directions

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1608.00771 v3 pith:LPCIHBMF submitted 2016-08-02 cs.CY

Christopher D. Clack , Vikram A. Bakshi , Lee Braine This is my paper · ORCID
classification cs.CY
keywords smartcontractcontractslegalagreementscodedesigndocuments
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities

    cs.CR 2025-01 reject novelty 4.0 of 10

    Five LLMs show high false-positive rates on smart contract audits; a vulnerability-specific prompt cuts false alarms, but recall on Solidity v0.8 re-entrancy and arithmetic bugs falls sharply.

  2. Comparative Analysis of Blockchain Systems

    cs.CR 2025-05 unverdicted

    The paper gives a qualitative, layer-by-layer comparison of Bitcoin, Ethereum, and Hyperledger Fabric without adding new data, analysis, or formal results.

Pith tools