イベント告知
9月23日：DAO Night vol.3 -BanklessムーブメントとOptimismのDAOガバナンス-
今回のDAO Nightは、BanklessムーブメントとOptimismのDAOガバナンスに関するトピックを扱います。
Optimismの使い方に関して、初歩の部分から勉強できる場になっていますので、是非ご参加ください。
9月25日：Aleo Tokyo zkMeetup
AleoチームのDaniel Hwangに会い、Aleoのアドバンテージについて学びましょう！
ゼロ知識証明のテクノロジー、Web3セキュリティに興味のある方ならどなたでも！開発者、研究者、学生、ファウンダー、技術愛好家など、どなたでもご参加いただけます。
Aleoとゼロ知識の未来
この記事は、今日のデジタルワールドにおけるプライバシーの進化と価値を探るシリーズの第三弾です。第一弾「How Zero-Knowledge is Rebalancing the Scales of the Internet 」と第二弾「What Does Transparency Cost You?」の記事もぜひご覧ください。
Web3のUXには、プライバシーが不可欠です。
パブリックブロックチェーンは莫大な金融アクセスを提供してきましたが、取引が透明であり、誰もが見ることができるという事実は、搾取や裁定の機会を生み出しています。
これに対して提案された解決策のひとつは絶対的なプライバシーです。しかし、取引のすべてを完全に隠すことで、絶対的なプライバシーはプログラマビリティを排除してしまいます。DeFiの例は、どんな表現力のあるブロックチェーンネットワークにもプログラマビリティの重要性を示しています。
今までは、ユーザーはプライバシーもしくはプログラマビリティの二つの選択肢の中から選ばなければなりませんでした。
例として、Zcashはユーザーに完全なプライバシーを提供しますが、プログラマビリティは限られています。一方、イーサリアムは強力なプログラマビリティを提供する一方で、プライバシーは限定的です。
多くのユーザーが求めるのは、プライベートかつプログラマブルなプロトコルです。このようなプロトコルは、ユーザーが搾取されることなく、強力なオンチェーンアプリケーションやそれらの間の組み合わせを可能にするでしょう。
Aleoは、プライベートかつプログラマビリティなアプリケーションを両立させる初の分散型オープンソースプラットフォームです。
オプトアウトプライバシーをデフォルトにすることで、Aleoは開発者、消費者、企業のニーズを満たす持続可能で公平なweb3の世界を実現します。
Aleoはゼロ知識クリプトを使用して、プライバシーとプログラマビリティの両方を実現しています。ゼロ知識クリプトおよびゼロ知識証明は、情報を直接明らかにすることなく、第三者が情報の真実を検証できるようにします。Aleoは、この技術をシステム「ZEXE（ゼロ知識実行）」の基盤として利用しています。ZEXEでは、ユーザーはオフラインで状態遷移を実行します。このプロセスは証明を生成し、それがオンチェーントランザクションに結合されます。このトランザクションにより、システムの状態が更新され、オンチェーンのレコードが消費/生成されます。このシステムはZcashのように強力なプライバシーを保証し、イーサリアムのように、ユーザーが定義済みの方法で相互作用または価値を転送できるスマートコントラクトをサポートします。
例として、公開されたスマートコントラクトブロックチェーン上のDEXを考えてみましょう。DEXは、特定の買い手や売り手を探すことなく、ユーザーがオンチェーンでトークンを購入または販売できる分散型アプリケーションです。中央集権的なバージョン（CoinbaseやBinanceのようなもの）とは異なり、DEXによりユーザーは自分の資産の保有を維持できます。
2020年にDeFiが爆発的に成長し、DEXが注目を浴びることとなりました。2021年までに最大のオンチェーンDEX、Uniswapは250億ドル以上の取引量を処理しています。しかし、パブリックブロックチェーン上では、人々のアイデンティティ（および完全な金融履歴）が公開される可能性があります。前述の通り、このシステムの透明性はユーザーが搾取されるリスクを持っています。もちろん、本物のアイデンティティとオンチェーンのアイデンティティをリンクするのを難しくするためにアカウントを切り替えることができます。しかし、そのようなことはユーザーにとって複雑で不便です。最良の場合でも、あなたのアイデンティティがオンチェーンの偽名アドレスに関連付けられる方法はたくさんあります。ブロックチェーンに保存されるデータは永続的であり、一度関連付けが行われるとそれを解除することはできません。
Aleoは、このリスクに対処するため、アプリケーションの最も基本的なコンポーネント、すなわちユーザーとトランザクションにプライバシーを適用します。
簡単に言うと、分散ネットワーク上のすべてのアプリケーションは、さまざまな複雑さの中で互いに取引するユーザー（人々やスマートコントラクト）の連続です。したがって、どのプライバシーソリューションも、任意のアプリケーションのこれらの原子的なコンポーネントの両方がプライベートであることを確保する必要があります。
DEXにとって、これは相手を匿名にすることを意味し、ユーザーのアクティビティがAleoブロックチェーン上の特定のアドレスやアカウントに関連付けられないということです。また、取引の詳細を隠すことで、Aleoは金融活動の広範な輪郭やパターンが何らかの識別情報を漏洩することがないようにします。
AleoのDEXで取引を行う場合、為替レートに基づいてオフチェーンで更新されたアカウント残高を計算します。この取引は、アクションが発生したことを示すゼロ知識証明としてAleoネットワークにトランザクションとして提出されることで確定されます。証明だけでは、どのアクションが実行されたのか、どの取引所で実行されたのか、または誰が関与したのかに関する情報は含まれていません。しかし、基礎となるクリプト技術により、取引が実行され、すべての残高が正しく更新されたとすべての参加者を確信させるべきです。
例として、AleoベースのDEXでトークンAをトークンBと交換したいとします。
まず、取引を完了するために十分なトークンAを所有していることをDEXに証明する必要があります。しかし、この情報はゼロ知識証明を通じて示されるため、ウォレットの残高や取引履歴を明らかにする必要はありません。代わりに、取引が可能であることを示すための先行取引のオンチェーン証明（レコード）を参照できます。この過程で、取引所は以下の３点の情報を一切知りません：
所有しているトークンの量
そのトークンをどこから取得したのか
以前にDEXで取引を行ったことがあるか
これは、ユーザーにとって完全にプライベートでスケーラブルなDEXエコシステムを生み出し、イーサリアムのようなスマートコントラクトブロックチェーンのキーとなる機能、すなわちコンポーサビリティを再現します。
アプリケーションが開放的なプラットフォームで複雑な方法で互いにプラグインすることができるという考え方は、コンポーサビリティとして知られています。コンポーサビリティは、イーサリアムのDeFiエコシステムを可能にする中で非常に強力な概念です。Aleoは完全なプライバシーを確保しながら、特定のアプリケーションが公開データソース（証明とともにレコードで公開されるか、オフチェーンで）を利用してプライベートなスマートコントラクトを組み合わせることができるようにします。このオプトアウトプライバシーモデルは、透明なブロックチェーンのコスト抽出の結果を多く排除します。それにより、ユーザーがどのようにアプリケーションと相互作用し、何を選んで公開するかを制御できるようになります。したがって、Aleoは、プログラマブルで、コンポーサブルで、プライベートなアプリケーションを可能にします。
Aleoの概要
Aleoでは、ゼロ知識アプリケーションを書くための業界最先端のインフラストラクチャとツールを提供しています。
Aleoの目標は、プログラマブルゼロ知識のための完全なツールセットを使用して、開発者がプライベートアプリケーションをシームレスに書き、実行し、デプロイするためのエンドツーエンドのパイプラインを提供することです。
以下にそのツールを紹介します：
Leo - Aleo上で直感的かつ簡単にプライベートアプリケーションを書くため、AleoはLeoというプログラミング言語を開発しました。Leoは伝統的なプログラミング言語のように見えますが、内部的にはLeoははるかに複雑です。Leoは低レベルの暗号学的概念を抽象化し、スタックにプライベートアプリケーションを簡単に統合することを可能にします。
Leoは、ゼロ知識でロジックを直感的に表現し、書きやすくするための高レベルの構文を導入します。Leo言語は、JavaScript、Scala、Rustといった伝統的なプログラミング言語の影響を受けており、読みやすさと使いやすさを重視しています。内部的に、Leoは開発者の高レベルのコードをゼロ知識回路に変換します。
Aleo Studio - 開発サイクルを迅速に開始するため、Aleoはゼロ知識アプリケーションの書き込みのための最初のIDE、Aleo Studioを構築しました。Aleo Studioは、Leoでゼロ知識アプリケーションを書くための対話型開発環境です。開発者のために、Aleo Studioは開発サイクルを単純化し、Leoプロジェクトをエコシステムのパッケージとして簡単に公開するように設計されています。
Aleo Package Manager - 作業を束ねて共有するのを簡単にするため、AleoはLeoのためのパッケージマネージャーを構築しました。Aleo Package Managerは、ゼロ知識回路のための最初のパッケージマネージャーです。プライベートアプリケーションで友人や同僚との作業を簡単にするための、チームや組織のような協力的な機能を含んでいます。さらに、Aleo Package ManagerはAleo Studioと統合されており、エディタを退出することなく新しいパッケージをインポートおよび公開するのが簡単です。
snarkOS - Aleoは、snarkOSと呼ばれるプライベートアプリケーションのための分散型オペレーティングシステム上で動作します。これは状態遷移のための論理的なバックボーンを形成し、Aleoブロックチェーン上で公然と検証可能な方法で状態を検証および保存するアプリケーションを可能にします。snarkOSは、すべてのプログラムとトランザクションに対してAleo上のデータ可用性の保証を強制します。さらに、私たちの合意機構は、チェックポイントの状態をオンチェーンで計算するために検証者がゼロ知識証明を計算することを確実にします。
これらのツールにより、開発者は次世代のスマートコントラクトを構築することができます。Aleoは、ステーブルコインやDEXのような強力なDeFiプリミティブを表現することができます。しかし、すべてのトランザクションは完全にプライベートであり、開発者とユーザーの制御の下にあります。
このニュースレターは、金融や税金のアドバイスではなく、教育的なものであり、投資アドバイスや資産の売買、財務上の意思決定を勧誘するものではありません。また、税金に関するアドバイスでもないので、それに関しては税理士や会計士にご相談ください。
Bankless JAPANのニュースレターでは、平日午前8時に、DeFi、NFT、Web3関連の記事を配信しています。Banklessの会員は全世界で合わせて20万人をすでに超えています。この機会にBanklessの一員になりましょう！