スマートコントラクトは、自動販売機や自己実行型契約のようなものです: 「これが発生したら、それが自動的に発生する」 弁護士や仲介者を必要とせずに。 @tezos のスマートコントラクトは、航空機や原子力発電所の安全チェックのように、開発者が数学的に正しく動作することを証明できる(形式的検証)ため、特に安全です。 #tezos

スマートコントラクトは、自動販売機や自己実行型契約のようなものです: 「これが発生したら、それが自動的に発生する」 弁護士や仲介者を必要とせずに。 @tezos のスマートコントラクトは、航空機や原子力発電所の安全チェックのように、開発者が数学的に正しく動作することを証明できる(形式的検証)ため、特に安全です。 #tezos
