Truebit の開発者とプロジェクトの紹介

作者: Truebit

编译: ChainCatcher

シリーズへようこそ；書面およびビデオ形式で機能とインタビューを展示し、Truebitで開発された貢献者やプロジェクトに焦点を当てています。プロトコルの精神に従い、これらの会議には、Truebitエコシステムとコミュニティの発展を推進する厳密な作業を行っている開発者、研究者、およびプロジェクトに関連する人々が招待されています。

本日は、私たちの最初のゲストであるCarsten Munkを紹介できることを嬉しく思います。彼は多作な開発者であり、メインネットの立ち上げ後、私たちの急成長するコミュニティに強力な影響を与えています。CarstenはTruebitコードを深く研究しており、開発者がこのプロトコルを理解する手助けをするインスピレーショナルなリーダーです。この機会を借りて、Carstenに彼の経験と発見を共有してもらい、2021年6月24日木曜日の米国東部標準時間正午12時にReddit AMAで質問に答えてもらうよう招待したいと思います。そこでお会いできることを楽しみにしています！

私はZippieのCTOであり、コンピュータサイエンティストで、何年もイーサリアムの分野に関わってきました。長年私を悩ませてきた主な挫折の一つは、イーサリアムブロックチェーンを使用してあらゆる種類の大規模計算を行う能力の欠如です------この場合、単純で直接的なブロックチェーンのユースケースでさえ、小規模であっても不合理に高価になってしまいます。

私たちZippieの焦点は、サハラ以南のアフリカなどの新興市場にあり、そこで人々はモバイルマネー（例えばM-PESA）を採用することでデジタル通貨に非常に精通しています------そして、Web3.0をこれらの市場に大規模に導入する方法を模索しています。主にモバイルブラウザ上で。私たちの長期的な目標は非常にシンプルです------Web3.0技術を大衆に受け入れられ、使用され、理解されるようにしなければ、私たちは技術と最終ユーザーが得るべき影響を生み出すことはできません。

プロトコル内で活発な1700万人以上の視点からイーサリアムの使用状況を考えると、視点が変わります。潜在的な解決策の各ガス価格とガス支出を掛け算して、実際のユーザー群を私たちの解決策に引き込む経済性をシミュレートし始めたとき、本当の絶望が始まりました。

拡張性のスペース内の他の解決策を検討した結果、この拡張性に対する絶望が私をTruebitの選択に駆り立てました。

多くの他の拡張性の解決策と比較して、Truebitは「よりシンプルな」メンタルモデルです。結果が一致しない場合、ソルバーとバリデーターは基本的に計算範囲の選定された中点ステップを特定し、計算の正確な分岐点を見つけるまで再計算を繰り返します。そこから、イーサリアムブロックチェーンは誰が正しい計算を行ったかを決定します。

他の多くの解決策は、トークン取引の完了や限られたスマートコントラクトの動作に特化しているため、表現力が制限されています；そして、かなり高度な証明構造を使用しています。

私たちのTruebitの使用はまだ初期段階ですが、現在いくつかのプロトタイプの要素として使用しています。

私たちの計画は、一般の人々の分散型アイデンティティを扱うZippie ID製品でより広く使用することです。詳細を知りたい場合は、ZippieのTelegramに参加してください。

私の貢献は、BLS12--381署名検証ライブラリやJavaScriptインタープリタ（例えばQuickJS）など、Truebitオープンソースツールチェーンにまだ移植されていない部分を構築することです - https://github.com/zippiehq/quickjs-真比特

私のTruebitに関連する作業は、チームの他のメンバーの開発を簡素化し、彼らがブロックチェーンを大規模に使用する際の障害を取り除くことに主に集中しています。

最も重要なのは、Truebitが構築ブロックであることを理解することです。それ自体では取引コストを解決することはできず、集約やトークン取引については何も知りませんが、計算を行ったり、計算結果を信頼性と正確性を持って検証することができるという事実は、Web3.0アプリケーションが彼らの目的のためにチェーン拡張を行うのをはるかに容易にします。

Truebitは、結果の「判断」または検証証明の能力を大幅に拡張することを可能にします------IPFSからデータを簡単に取得し、完全にオンチェーンでEVM内で計算を行うよりも安価に計算を行います。

Truebitを使用する新しい開発者として、現在のバージョンのTruebitが「早期アクセス」メインネットとしてリリースされており、ドキュメントにいくつかの空白が存在することを理解することも重要です。

幸いなことに、JasonやTruebitチームの他のメンバーは、現在発生している問題に非常に敏感です。より良いドキュメントを書くことは時間の問題です。

JavaScriptやSolidityからWASMへの移行は少し飛躍です。多くのWeb開発者はC/C++/Rustコードを書く方法を知らず、Truebitを活用することを考えることもありませんし、Emscriptenなどのツールチェーンを扱うことは言うまでもありません。開発者やユーザーは、現在のコーディングスタイルからあまり遠くに飛ぶ必要はなく、これは他の解決策の利点かもしれません。

部分的な課題は、Emscriptenやその特異性に慣れることが簡単ではないことです。なぜなら、彼らのデプロイメントターゲットはWebブラウザ内のWASMだからです。私は、プロトタイプWASIベースの環境を研究しており、これにより人々はTruebit環境の限界をより理解しやすくなり、より複雑なタスクを処理する際に一貫性を持たせることができます。ここで見ることができます：https://github.com/zippiehq/wasi-truebit

私たちはまた、TinyGoとJavaScriptを使用してTruebitでQuickJSを実行し、開発者の飛躍を減らす方法としてこれを研究しています。

とはいえ、Linux上での簡単なコンパイルの処理に関する文書はたくさんあるため、アンインストールする内容に明確な目標があれば、それは主要な障害ではありません。

Truebitを正しく「取得」するには、特定の入力に基づいて非同期的に計算結果（出力）を取得する方法と見なす必要があります。これは、以前に多くのブロックチェーン契約を構築した際の同期的な方法とは異なり、他のスマートコントラクトを直接呼び出し、トランザクションの実行中に応答を得ることができるため、他のスマートコントラクトと同期的に対話します。

Rust/C/C++を使用してオフチェーン計算をモデル化し、ファイルからデータを取得し、特定のファイルに出力を書き込むことから始めてください。このモデルは本質的にあなたのTruebitタスクの説明です。その後、入力と出力がタスクをどのように完了するかを理解します------これがあなたのオンチェーンスマートコントラクトと実装が必要なソフトウェアであり、Truebitファイルシステムと対話します。

次に、GoerliテストネットでTruebitを開発し、メインネットでEtherを節約します。

最後に、Truebit公式Redditチャンネルのトピックを確認してください。私は米国東部時間の6月24日木曜日の正午12時にAMAを主催し、この記事によって引き起こされた対話を続けました。参加できなかった場合は、ここでAMAの回答を確認できます！