/* ---- Google Analytics Code Below */
Showing posts with label Ricardian Contracts. Show all posts
Showing posts with label Ricardian Contracts. Show all posts

Tuesday, May 10, 2022

Ricardian Contracts vs Smart Contracts

 Brought to my attention, unsure as yet how broadly the definition is used at this time, can see the need for the understanding of such an agreement by human and machine means.

The Ricardian contract, as invented by Ian Grigg in 1996, (Wikipedia)  is a method of recording a document as a contract at law, and linking it securely to other systems, such as accounting, for the contract as an issuance of value.[1][2] It is robust through use of identification by cryptographic hash function, transparent through use of readable text for legal prose and efficient through markup language to extract essential information.

A Ricardian contract places the defining elements of a legal agreement in a format that can be expressed and executed in software.[3] The key is to make the format both machine-readable, such that they can easily be extracted for computational purposes, and readable as an ordinary text document such that lawyers and contracting parties may read the essentials of the contract conveniently.[4]

From a legal perspective, the use of markup language embedded within a mostly legal prose document leads to reduced transaction costs, faster dispute resolution, better enforceability and enhanced transparency.[4][5] From a computing perspective, the Ricardian contract is a software design pattern to digitize documents and have them participate within financial transactions, such as payments, without losing any of the richness of the contracting tradition. Publication of the content and reference to that content by the unique cryptographic message digest eliminates frauds based on multiple presentations.[5]

The method arises out of the work of Ian Grigg completed in the mid-1990s in contributions to Ricardo,[6] a system of assets transfers that was built in 1995-1996 by Systemics and included the pattern. The system and the design pattern was named after David Ricardo in honour of his seminal contribution to international trade theory.  .... '  

Monday, January 13, 2020

On Next Generation Smart Contracts

Some introductory information about smart contracts

See also Ricardian Contracts:   "... a method of recording a document as a contract at law, and linking it securely to other systems, such as accounting, for the contract as an issuance of value.[1][2] It is robust through use of identification by cryptographic hash function, transparent through use of readable text for legal prose and efficient through markup language to extract essential information.   ... "         https://en.wikipedia.org/wiki/Ricardian_contract

The transition to Next-gen Smart Contracts
    By Faisal Khan -June 12, 201906245

A Smart contract is an agreement between two parties, which gets executed based on a set of predefined instructions – the functionality was introduced by the Ethereum platform and it became one of the most desirable & innovative features not just for the native platform but for all the subsequent projects. And while one can’t deny the utility of smart contracts with their auto-enforcing ability, immutable nature, cost effectiveness & self-execution – their biggest weakness lies in the static nature of machine-readable instructions of code. I have written about Ricardian contracts earlier, which is one such innovation that has improved on the limitations of the smart contracts by converting human-readable legal contract between multiple parties into machine-readable software code which can be executed with all the features of the smart contract. We are going to look at some of the recent developments which have sought to improve the functionality & efficiency of the traditional smart contracts.

Image result for smart contracts blockchain 101

Scilla Smart contracts (Ziliqa)

Most recently Ziliqa – a publicly scalable blockchain network added the smart contract functionality to its main net. The test net has managed to achieve a speed of 2828 TPS. Although not a huge number considering some of the other networks are claiming higher throughput than this – linear scaling capability gives Ziliqa the capability to continue to grow with the increasing demand. Coming back to the smart contracts, the ones used on Ziliqa are created via “Scilla” (Contract Intermediate-Level Language). This programming language has the functionality of static checks & formal verification giving developers the capability to perform thorough checks on the smart contracts to make sure they are executed as intended.