FreeTONブロックチェーンでスマートコントラクトのフォーマル検証を行うPruvendoのCEOであるSergeyYegorovが、スマートコントラクトの正しさの数学的証明とは何か、そしてFreeTONが最も高いものになる運命にある理由について語ります。ハイテク分散型プラットフォーム。 

• Free TONエコシステムは、市場に参入するずっと前から、すでに1.5。XNUMX年間使用しています。  
• 私たちが始めたとき、無料のTONはありませんでしたが、PavelDurovによるTONプロジェクトがありました。 Free TONは約XNUMX年前のものであるため、プロジェクトはその「誕生」からわかります。 現在、フォーマル検証のサブ政府全体がFree TON内に形成されており、私がその積極的な参加者です（Free TONには集中管理がなく、すべてのプロセスがサブ政府の管理下にあります）

• スマートコントラクトのフォーマル検証とはどういう意味ですか？ 素人にとっては非常に複雑に聞こえます。
• これは、衛星を宇宙に打ち上げることに例えることができます。 衛星を打ち上げると、間違えると間違った場所に飛んでしまい、軌道に乗らず、永久に失われてしまうことを理解しています。 スマートコントラクトはそれにいくぶん似ています。 エラーがあり、すでに実行されている場合は、すべての資金を失う可能性があり、それらを返すことができなくなります。 スマートコントラクトのフォーマル検証は、その正当性の数学的証明であり、すべてがうまくいくことの証明です。

さらに、私たち全員が異なるアプリケーションを使用しており、それらが正しく機能しないという事実に直面することがよくあります。 ほとんどの場合、これらは単純に無視できる小さな欠陥です。 しかし、ブロックチェーンベースのスマートコントラクトの場合、小さなエラーでも重大になる可能性があります。 資金が盗まれたり、単に電話を切ったりする可能性があります。 したがって、間違いやエラーは受け入れられません。 

• ブロックチェーンの歴史の中でそのようなケースはありましたか？ 
• はい、おそらく最も有名なのは、2016年のDAOに対するハッカーの攻撃です。プロジェクトコードの脆弱性の結果、ハッカーはユーザーから53万米ドルを盗み、DAOの為替レートが完全に崩壊しました。その後、DAO分散型プラットフォームの基盤として使用されたイーサリアム。 ParityプロジェクトとRubixiプロジェクトにも、コードに問題がありました。 同様の例がたくさんあります。 いずれの場合も、ユーザーは莫大な金額を失ったり、その他の不便を経験したりするため、私たちの仕事は非常に重要です。

• ブロックチェーンや銀行口座など、どこからお金を盗むのが簡単ですか？ 
• ブロックチェーンにエラーがなければ、ブロックチェーンは安全です。 しかし、分散型ブロックチェーンはとにかくすべての風に開かれています。 銀行口座はファイアウォールで保護されており、情報セキュリティ部門が働いています。 しかし、ご存知のように、銀行も失敗する可能性があります。

• つまり、スマートコントラクトにエラーがあり、それが実行されている場合、それはもはや修正できませんか？ 
• バグを見つけた場合、事前に対処しておけば、いくつかのツールがあります。 しかし、そうしなかった場合は、何も変更できません。 

• エラーはどの段階で発生し、いつ修正できますか？
• スマートコントラクトを作成した結果、エラーが発生する可能性があります。 スマートコントラクトを書くプログラマーがいます。 次に、それはマシンコードに変換され、軌道への船のようにブロックチェーンに送信されます。 エラーは書き込み段階で形成されます。 ブロックチェーンを起動する前に、プログラムの品質がチェックされます。 検証には、いくつかの方法が使用されます。形式的または数学的および従来の検証、つまりテストです。 形式手法は厳密に数学的であり、エラーがないことを証明します。 正式な方法と従来の方法はどちらも、膨大な量の作業を必要とします。 

• ブロックチェーン検証への数学的アプローチは費用がかかり、専門家はほとんどいません。 どこにありますか？ 
• 訓練を受けた専門家がいないため、これは大きな問題です。 私たちのために働くチーム全体のうち、すでに確立されたスペシャリストとして私たちに来たのはXNUMX人の従業員だけでした。 原則として、プログラミングを理解しているプログラマーや数学の学生を受け入れます。 成熟した数学者はプログラミングの方法を知らず、すべてのプログラマーが数学を理解しているわけではないからです。 

• FreeTONに戻りましょう。 さて、そのサイトを訪れたとき、素人にとってそれがどのように役立つのか、そしてそれをどのように使うのかはあまり明確ではありません。 プログラマーの観点から– Free TONの主なアイデアは何ですか？ 
• 私の意見では、Free TONのアイデアは、最終的にブロックチェーンテクノロジーの使い方を人々に教えることです。 今日、ブロックチェーンはトークンと投機的収入または灰色と黒のスキームの受け取りに関連付けられています。 数年前、イーサリアムが登場し、スマートコントラクトがついに大衆にもたらされると誰もが考えました。 また、Free TONは、開発者がすべての人に役立つさまざまな高速DEFIアプリケーションを作成するためのハイテクプラットフォームです。 

さらに、プロジェクトとしてのFree TONは、単一のセンターやオフィスがなくても、プロジェクトを一緒に管理する方法を明確に示しています。 これは基本的にその哲学的使命です。 もちろん、ブロックチェーンとスマートコントラクトテクノロジーは、不要な場合や非効率的な場合に使用されることがあります。 しかし、これは市場に良い影響を及ぼします–多くの強力なプレーヤーがそれに参加します。 ブロックチェーンは、高速で安価なトランザクションが必要な場合、大量のデータを転送および分析する必要がある場合、情報の偽造の可能性を排除する必要がある場合、権利を確認する必要がある場合など、多くの場合に役立ちます。

• 人々のために作成され、非常に幅広い使用を可能にする無料のTONは、今でも専門家、つまりプログラマーと投資家だけに知られています。 なぜそうなのか？
• 実際、Free TONは、世界で最も技術的に進んだ分散型エコシステムです。 しかし、それを本当に知っているのは専門家だけです。 どうして？ なぜなら、プログラマーは、大まかに言えば、人とコンピューター、または他のデバイスやテクノロジーとの間の仲介者だからです。 Free TONは人々のためのプロジェクトであり、ここには多くの便利で興味深いアプリケーションがあります。 しかし、それが人々のためのプロジェクトになるためには、プログラマーはそれを記入しなければなりません。 

今日でも、Free TONはプログラマー向けのプロジェクトであり、TONCrystalコインは限られた数の取引所で取引されています。 ドゥーロフのTONプロジェクトが終了したときは多くの騒音があり、FreeTONが開始されたという事実は広く発表されていませんでした。 このプロジェクトは、SECをめぐるこのような誇大宣伝の陰にありました。 FreeTONの承認は時間の問題です。 最近、中国の国営ブロックチェーンの開発者がFree TONに注目を集めました。もちろん、これは認識です。 

• Free TONは分散型プロジェクトであり、絶対的な分散化を目指しています。 そのような状況で働くのは便利ですか、それとも顧客のオフィスに来るのは簡単ですか？ 
• 地方分権化には長所と短所があります-それは地球上の天国ではありません。 主な欠点は、かなり長い意思決定と投票プロセスですが、これはプロジェクトの開発で修正可能です。 そして主な利点は、誰も来てゲームのルールを変更できないことです。 このようなシステムは、悪用、詐欺、または検閲から保護されています。 

• プログラミングの観点から、Free TONの方向性はどこにありますか？ 
• 見ることができる最も重要なことは、DEXの外観です。これは、TIP-3派生トークンを交換してTON Crystalと交換し、Ethereumトークンとのブリッジを作成できる分散暗号通貨交換です。 これは多くのユーザーが今期待していることです。 誰もがNFTを含む独自のトークンを発行したいと考えています。 

• すべてのアルトコインが成長しているのに、なぜTON Crystalレートが成長していないのですか？ 
• Free TONはPRに関するものではなく、非常に技術的なプラットフォームです。 ユーザーがこれを理解してアプリケーションの使用を開始するとすぐに、誇大広告なしでネイティブに成長が起こります。

• 今日のFreeTONの技術的利点について少し教えてください。 
• 3つの主な利点は、速度とスケーラビリティです。 速度は、TIP-XNUMX標準によるブロックチェーンの高スループットです。 現在、このブロックチェーンは世界最速です。 そしてスケーラビリティについて。 イーサリアムで何が起こっているかを自分で確認できます。トランザクションは遅くなり、料金は高くなっています。 無料のTONは、エンドユーザーを危険にさらすことなく、ほぼ無限にスケーラブルになります。 

PrimeXBTをチェックアウト
ACミランの公式CFDパートナーとの取引
出典：https：//coinpedia.org/news/free-ton-advanced-decentralized-platform/