スマートコントラクの承認はどこで行われるのか

Question

スマートコントラクトの流れとして，
契約を事前定義し，契約の条件が成立すれば，契約を実行する
というものがあると思います．

そこで，マイナーによる検証作業というのは，契約が実行された後に行われるのですか？

実行された契約の内容をトランザクションとして送信し，ブロックに書き込む前に検証されるという認識であっていますか？

またその場合，
「ホテルの予約申請をし，空きがあれば予約を完了し送金を行う」
という契約を結びたい時に，
検証が完了する前にホテルの予約を完了してしまうことは適切だと言えますか？

Answer 1

ethereumを前提にした話になります。

ホテル予約の例では、トランザクションをブロックに書き込んだ後に世界中のマイナーに検証されます。
一般的な処理の流れは、if文などで予約が空いているかのチェックを行い、空きが無い場合は、予約が完了できなかった記録がブロックに残ることになります。

なお、スマートコントラクトはでは、ユーザから実行リクエストに対して、マイナーがプログラムの実行を行います。

間違っていたらすいません。

Answer 2

実行された契約の内容をトランザクションとして送信し，ブロックに書き込む前に検証されるという認識であっていますか？

違います。スマートコントラクトは、ブロックチェーン上で動くプログラミング言語で書かれています。ブロックが進むのに合わせて（各ノードの資源を使って）自律的に実行が進んでいきます（アクションが起きる条件を満たせば、誰かが操作しなくてもブロックチェーンに書き込まれます）。

Comments

[asasaas]

ブロックチェーンに書き込まれる情報が正しいものであるかの判断はどの段階で行っているのですか？

[okusan]

"「ホテルの予約申請をし，空きがあれば予約を完了し送金を行う」
という契約を結びたい時に，
検証が完了する前にホテルの予約を完了してしまうことは適切だと言えますか？"

適切ではないです。検証が完了すると予約が完了します。

[okusan]

bitcoinのコンセンサスアルゴリズムではより連鎖したブロックを正しいトランザクションと認識します。