About this document
Logic-Based Smart Contracts in Blockchain by Muhammed Yiğit is a document available to read on EtoBox.
This document summarizes a research paper that evaluates using logic-based programming for smart contracts on blockchain systems. It discusses how logic-based smart contracts could have legal and technical advantages over procedural smart contracts. It also explores different approaches for combining logic-based languages with blockchain systems, but notes that algorithms must be efficient and inexpensive to execute within the economic rules of blockchain environments. The paper uses defeasible logic framew
- Author
- Muhammed Yiğit
- Language
- EN