2019年07月30日

白書:次世代のスマート契約と分散アプリケーション・プラットフォーム(7)


Bitcoin As A State Transition System
状態遷移システムとしてのビットコイン


From a technical standpoint, the ledger of a cryptocurrency such as Bitcoin can be thought of as a state transition system, where there is a "state" consisting of the ownership status of all existing bitcoins and a "state transition function" that takes a state and a transaction and outputs a new state which is the result. In a standard banking system, for example, the state is a balance sheet, a transaction is a request to move $X from A to B, and the state transition function reduces the value in A's account by $X and increases the value in B's account by $X. If A's account has less than $X in the first place, the state transition function returns an error. Hence, one can formally define:
技術的見地から、 ビットコインのような暗号通貨の元帳は状態遷移システムとして、考えられ、そこにはすべての既存のビットコインの所有権状況と状態や遷移を取り、その結果である新しい状態を出力する「状態遷移関数」から成る「状態」があります。 標準的な銀行システムで、例えば、その状態は貸借対照表で、取引きは $X をAからBに動かすために要求で、そして状態遷移関数は A の口座における価値をXドル減らして、そしてXドルだけBの口座における価値を増やします。 もし A の口座が最初にXドル以下しかないなら、状態遷移関数はエラーを返します。それ故、それは公式に下記のように定義することができます:

APPLY(S,TX)  ->  S'  or  ERROR

In the banking system defined above:
上記の定義された銀行システムで:

APPLY({  Alice:  $50,  Bob:  $50  },"send  $20  from  Alice  to  Bob")  =  {  Alice:

$30,  Bob:  $70  }

But:
ただし:

APPLY({  Alice:  $50,  Bob:  $50  },"send  $70  from  Alice  to  Bob")  =  ERROR

=====================================================================
 

人気ブログランキングへ人気ブログランキングへ

=====================================================================

posted by 平成アフィリエイトへの挑戦 at 09:34| 千葉 ☀| Comment(0) | イーサリアム | このブログの読者になる | 更新情報をチェックする

今日の先端技術情報20190730

今日の先端技術情報20190730

テーマ:

/////////////////////////////////////////////////////////////////////

先端技術情報

/////////////////////////////////////////////////////////////////////

ビッグデータ


海外メディアが陝西省のビッグデータ管理局を取材

中国国際放送

アルゼンチン、ブラジル、チリ、イタリア、マレーシア、モルディブなどの主なメディアの記者が26日、陝西省咸陽市にあるビッグデータ管理局を取材しました。


データ流通のG20合意 覇権争いを止められるか

毎日新聞

こうしたビッグデータを解析して活用すれば、新産業の創出など富の創造や、医療の ... だが、米欧や中国は、ビッグデータをめぐる覇権争いを展開している最中だ。

AI

出版業界もAIに熱視線 「どう使う?」技術者らが提案 (1/2)

ITmedia

AI導入は出版業界を救うか?」と題する勉強会が、7月3日に都内で開催された。主催は出版関係者とエンジニアをつなぐコミュニティ「本とITを研究する会」で、 ...


AIで買取価格を瞬時に算出、プロトコーポレーションが次世代型自動車査定システムを提供開始

レスポンス

プロトコーポレーションは、人工知能(AIを用いて自動車査定の価格算出を行う次世代型査定システム「データラインAI査定」の提供を7月8日より新車・中古車 ...


ブロックチェーン


ビットフライヤー子会社の加納氏、FATF規制基準に対応するアイデアを語る:ブロックチェーン会定例会

コインデスク・ジャパン

仮想通貨取引所bitFlyer(ビットフライヤー)の共同創業者・加納裕三氏は7月9日、6月に同氏が出席した仮想資産サービス提供業者(VASP=Virtual Asset ...

シンガポール企業、ブロックチェーン分野での日本進出や共同開発で提携

ジェトロ(日本貿易振興機構)

シンガポールのパブリック・ブロックチェーン開発会社、オントロジー(Ontology)と、次世代ブロックチェーンインフラ開発の非営利団体IOSG/IOSファンデーション ...

=====================================================================
 

人気ブログランキングへ人気ブログランキングへ

=====================================================================

posted by 平成アフィリエイトへの挑戦 at 09:28| 千葉 ☀| Comment(0) | e-コマース | このブログの読者になる | 更新情報をチェックする