この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
序章
ブロックチェーンおよび分散型台帳技術ベース (BC/DLT) システム上の自動化されたアプリケーションの同義語であるスマート コントラクトは、初期段階の純粋にトランザクション指向のブロックチェーンから、ブロックチェーンまたは分散型台帳技術でトランザクションが行われるよりインタラクティブな技術への重要な開発ステップです。システムは、そのアプリケーションの条件を条件としています。 ISO/TC 307, WG1, 用語集の現在の作業定義によると、スマート コントラクトは
「分散型台帳システムに保存され、プログラムの実行結果が分散型台帳に記録されるコンピュータ プログラム」。
BC/DLT システムの特定の実装では、そのようなプログラムは、単一のピアで解釈されるプログラム コードから、システム内の任意の仮想マシン (マイナーなど) で実行される台帳に記録された (事前に) コンパイルされたプログラムまでさまざまです。分散台帳に記録される「影響」は、通常、スマート コントラクト コードからの決定論的で事前定義されたコード化された結果であるトランザクションであることを理解する必要があります。
1994 年に Nick Szabo によって作成された当初の意図でのスマート コントラクトという用語は、主に法的指向の (正確で正当な) 異なる意味を持っていたため、「法的拘束力のある意図」に関してしばしば混乱を引き起こしました。一般的な BC/DLT 自動化の技術として、スマート コントラクトには法的拘束力がある可能性があることを理解することも重要です。このため、スマート コントラクトの法的拘束力のあるアプリケーションと構造には、法的背景、コンテキスト、および定義の理解も必要です。
このドキュメントでは、主に BC/DLT システムにおける自動化されたソフトウェアの側面について説明します。
Introduction
Smart contracts, a synonym for automated applications on blockchain and distributed ledger technology-based (BC/DLT) systems, are an important development step from early stage, purely transaction oriented blockchains to more interactive technologies where the transactions on the blockchain or distributed ledger technology system are conditional on the terms of that application. According to the current working-definition of ISO/TC 307, WG1, Terminology, a smart contract is a
“computer program stored in a distributed ledger system wherein the outcome of any execution of the program is recorded on the distributed ledger”.
In specific implementations of BC/DLT systems, such a program can vary from program code interpreted on single peers to (pre-)compiled programs recorded on the ledger to be executed on arbitrary virtual machines within the system (such as miners). It should be understood that the"effects" to be recorded on the distributed ledger will usually be the transaction that is the deterministic, predefined coded outcome from the smart contract code.
As the term smart contract in its original intention as created by Nick Szabo in 1994 had a different, mainly legally oriented (precise and legitimate) meaning, this has often caused confusion regarding “legally binding intentions”: As this document discusses and describes smart contracts as a technology for BC/DLT automation in general, it is also important to understand that smart contracts may have a legal binding intention. Because of this, the legal binding application and structure of smart contracts also requires understanding of legal background, context and definitions.
This document mainly describes the aspects of automated software in a BC/DLT-system.