Ergo -- a programming language for Smart Legal Contracts

Dan Selman; Eason Chen; J\'er\^ome Sim\'eon; Niall Roche; Walter Hernandez

REVIEW

Ergo -- a programming language for Smart Legal Contracts

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 2112.07064 v2 pith:J4RIPD7M submitted 2021-12-13 cs.CY cs.PL

Niall Roche , Walter Hernandez , Eason Chen , Jérôme Siméon , Dan Selman This is my paper · ORCID

classification cs.CYcs.PL

keywords legalsmartagreementscontractapproachesaspectscasescomplexity

verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments

read the original abstract

We present a smart legal contract platform to support a wide range of smart legal contract use cases. We see this as a step towards improving existing approaches to representing the complexity of legal agreements and executing aspects of these agreements.

Discussion (0). Continue with ORCID to comment.

Pith tools