Smart Contracts and Contract Law

DiMatteo, Larry A.; Cannarsa, Michel; Poncibó, Cristina

doi:10.1017/9781108592239.001

Cited by 7 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, it's important to note that while blockchain technology has many potential benefits for zakat management, there may also be challenges to its implementation. These could include regulatory issues, the need for technological infrastructure and expertise, and potential resistance from those accustomed to traditional methods of zakat collection and distribution [16], [18].…”

Section: Blockchain Technologymentioning

confidence: 99%

Utilizing Blockchain Technology to Increase Transparency in Zakat Management

Mokodenseho,

Syafri,

Hasrullah

et al. 2023

WSiSS

View full text Add to dashboard Cite

This research investigates the impact of blockchain technology on the transparency of Zakat management in Indonesia through a quantitative analysis. The study encompasses a diverse sample of 350 participants from various Zakat institutions, analyzing demographic and organizational characteristics. Findings reveal a positive trend in blockchain adoption, with larger organizations and those in urban areas more likely to integrate the technology. Participants generally perceive Zakat management processes as clear and accountable, although improvements in accessibility are identified. Regression analysis demonstrates a statistically significant positive relationship between blockchain adoption and transparency. Challenges include technical barriers and high implementation costs, while opportunities include increased donor trust and operational efficiency gains. Policy implications suggest regulatory frameworks to support institutions, and organizational strategies recommend phased implementation and capacity-building initiatives. The study contributes insights for policymakers, Zakat institutions, and researchers navigating the intersection of traditional charitable practices and innovative technologies.

show abstract

Section: Blockchain Technologymentioning

confidence: 99%

Utilizing Blockchain Technology to Increase Transparency in Zakat Management

Mokodenseho,

Syafri,

Hasrullah

et al. 2023

WSiSS

View full text Add to dashboard Cite

show abstract

“…Distinctively, the burgeoning literature of 'law, regulation, and technology' discusses how we might engage with emerging technologies in ways that improve law's imperfect governance (see, e.g., Hildebrandt 2015;Brownsword et al 2017;Hacker et al 2019;De Filippi and Wright 2018;DiMatteo et al 2019;Yeung and Lodge 2019;Deakin and Markou 2020;Fairfield 2021;Clifford et al 2023;Vicente et al 2023;Brownsword 2024;Brozek et al 2024;DiMatteo et al 2024). Here, the focus might be on the application of particular legal rules, classifications, and concepts to novel technological phenomena; or on the fitness of regulatory regimes and the regulatory environment; or on the deployment of new tools (and the acceptability of such deployment) for governance purposes whether by operating in conjunction with legal rules or by assisting legal functionaries; and, most radically, on technological management that takes both rule-direction and human functionaries out of the loop of governance.…”

Section: Introductionmentioning

confidence: 99%

Law, Technology, and Our Governance Dilemma

Brownsword

2024

Laws

View full text Add to dashboard Cite

This article highlights a dilemma that we face when we turn to new tools that promise to improve on law’s imperfect governance. On the one hand, our discontent with law’s governance is both broad and deep, and much of it is rooted in the human nature of the legal enterprise. Yet, we remain attached to the essentially human nature of law’s governance. On the other hand, we recognise the potential benefits in technological governance but not without some displacement of the human element. Caught on the horns of this dilemma, we attempt to limit the loss of the human element by insisting that governance must be compatible with human rights or human dignity, or, more directly, that governance must limit the applications of technology so that they remain human-centric. Given a demand for human-centric applications of technologies, we consider how far humans might, and should, go in deploying new tools with a view to improving law’s imperfect governance. Should these tools be limited to assisting humans? Or, might they replace humans? Or might we even govern by technological management of places, products, and processes so that reliance on both humans and rules is reduced? It is concluded that, in all spheres of governance and in all human communities, the one thing that is essential is that the applications of new technologies are controlled so that they do not undermine the generic conditions which are presupposed by viable groups of human agents.

show abstract

A Formally Verified Static Analysis Framework for Compositional Contracts

Henglein

Larsen

Murawska

2020

Financial Cryptography and Data Security

View full text Add to dashboard Cite

A commercial or financial contract is a mutual agreement to exchange resources such as money, goods and services amongst multiple parties. It expresses which actions may, must and must not be performed by its parties at which time, location and under which other conditions. We present a general framework for statically analyzing digital contracts, formal specifications of contracts, expressed in Contract Specification Language (CSL). Semantically, a CSL contract classifies traces of events into compliant (complete and successful) and noncompliant (incomplete or manifestly breached) ones. Our analysis framework is based on compositional abstract interpretation, which soundly approximates the set of traces a contract denotes by an abstract value in a lattice. The framework is parameterized by a lattice and an interpretation of contract primitives and combinators, satisfying certain requirements. It treats recursion by unrestricted unfolding. Employing Schmidt's natural semantics approach, we interpret our inference system coinductively to account for infinite derivation trees, and prove their abstract interpretation sound. Finally, we show some example applications: participation analysis (who is possibly involved in a transfer to whom; who does definitely participate in a contract) and fairness analysis (bounds on how much is gained by each participant under any compliant execution of the contract). The semantics of CSL, the abstract interpretation framework and its correctness theorem, and the example analyses as instances of the abstract interpretation framework have all been mechanized in the Coq proof assistant.

show abstract

Smart Contracts and Contract Law

Cited by 7 publications

References 9 publications

Utilizing Blockchain Technology to Increase Transparency in Zakat Management

Utilizing Blockchain Technology to Increase Transparency in Zakat Management

Law, Technology, and Our Governance Dilemma

A Formally Verified Static Analysis Framework for Compositional Contracts

Contact Info

Product

Resources

About