EFがサポートするチーム:研究開発のまとめ

ビーコンチェーンの最初の誕生日から、過去1年間のアップグレードの成功、イーサリアムエコシステム全体での驚異的な進歩まで、このホリデーシーズンには私たち全員が感謝することがたくさんあります。

生産性の高い年が終わりに近づくにつれ、ネットワークの改善に常に取り組んでいる多くの(15+ !!)EFサポートチームからの更新の形で提供するいくつかの最終的な贈り物があります。そして、たくさん ここには実質的な資料が含まれているので、時間をかけて目次を整理し、掘り下げてください!

いつものように、このまとめシリーズは、メンバーがイーサリアム全体の成長と改善に取り組んでいるEFサポートチームに焦点を当てています。このエディションには、前のレポートで強調表示された多くのチーム、およびその他の新しいローテーショングループからの更新が含まれています。

楽しみ! 🦄

目次

  • コンセンサスR&D(別名EF研究チーム)
  • エコシステムサポートプログラム
  • Ethereum.org
    • コンテンツの更新
    • コミュニティの成長
      • いくつかの統計(8月から12月)
    • 翻訳プログラム
      • いくつかの統計:
    • CLR資金
    • 次は何ですか?
    • それはどのように聞こえますか?
  • イプシロン
    • EVMオブジェクト形式(EOF)
    • その他のEIP
      • EIP-2681(アカウントナンスを2 ^ 64-1に制限
      • EIP-3855( PUSH0命令
      • EIP-3860(制限とメーターの初期化コード
    • geth
    • evmone
    • エタッシュ
    • フィジー
  • フォーマル検証
  • ゲス
  • Javascriptチーム
  • プライバシーとスケーリングの調査
    • zkEVM
    • ZKOPRU
    • Unirep&Unirep Social
    • すべての人のためのCLR.fund
    • InterRep
    • セマフォ/ ZK-キーパー
    • RLN
  • プロトコルサポート
  • リミックス
  • 堅牢なインセンティブグループ
  • 蛇使い[Pythonエコシステム]
    • Fe-lang
    • ポータル
  • セキュリティ[セキュリティ/コンセンサステスト]
  • 堅実さ
  • ZoKrates
    • 言語
    • プルーフシステム
    • コンパイラのパフォーマンス

コンセンサスR&D(別名EF研究チーム)

作成者:Hsiao-Wei Wang

今年の後半には、イーサリアムのコンセンサスR&Dのマイルストーンは次のとおりです。

  • 10月27日に最初のビーコンチェーンハードフォークAltairを納品しました。主な機能は次のとおりです。

    • ライトクライアントをサポートするための同期委員会
    • 仕様の複雑さを軽減するためのインセンティブ会計改革
    • ペナルティパラメータは、計画された最大の懲罰的価値に向けて更新されます
  • マージを配信 相互運用機能とテストネットのコンセンサスレイヤーの仕様:

The Great Renamingに合わせて、コンポーネントを「Eth2」から「Consensus Layer」にシフトし、長期的なコミュニケーションをより明確にしました。

2022年の初めに、私たちのチームは、これまでで最も重要なコンセンサスプロトコルのアップグレードである「TheMerge」の提供を支援することに焦点を当てます。幸いなことに、私たちはクライアントチームや、これを実現するために取り組んでいるコミュニティの他の人々からの素晴らしいサポートを受けています。それまでの間、データの可用性、L1スケーリング、およびマージ後の「クリーンアップ」フォークの機能に関する調査作業を継続します。

エコシステムサポートプログラム

ESPチームによる作成

第2四半期の割り当ての更新を公開しました。この四半期の助成金は合計7,794,000ドルで、第3四半期はもうすぐです。また、こことここで最近の毎月のまとめをチェックして、いくつかのすばらしい助成対象者からの詳細な進捗状況の更新を確認することもできます。

舞台裏では、ESPの使命と優先順位をこれまで以上に理解しやすくし、適格なビルダーが資金提供やその他のサポートを申請できるようにする、主要なWebサイトのオーバーホールに取り組んでいます。 2022年初頭に新しいサイトを立ち上げるのが待ちきれません!

Ethereum.org

作成者:Sam Richards

私たちの仕事をより利用しやすくし、より多くのコミュニティコラボレーションを促進するために、私たちのチームは四半期ごとのロードマップ目標の概要を公開しています。こちらの第4四半期の製品ロードマップをご覧ください。

ethereum.orgチームの皆さんの幸せな休日😀🎄いつものように、ethereum.orgのビジョンは、Ethereumの成長するコミュニティに最適なポータルを作成し、毎月何百万人もの新規訪問者のEthereumへの玄関口として機能することです。

コンテンツの更新

イーサリアムは速く動きます!コンテンツを最新かつ正確に保つために数百ページを更新するだけでなく、多数の新しいコンテンツもリリースしました:

  • コミュニティハブ
  • スマートコントラクトの概要
  • イーサリアムのセキュリティと詐欺
  • イーサリアムガバナンスの概要
  • Etherの概要
  • MEV
  • そして多くの新しい開発者向けチュートリアル
コミュニティの成長

Ethereum.orgは、コミュニティからの何百ものコンテンツとコードの貢献者のおかげで存在しています。 Q3 / Q4では、貢献を増やし、コミュニティが行っていた作業を認める方法に重点を置きます。

一部の統計(8月から12月)

  • GitHubの貢献者は、396から621に57%増加しました😲
  • 私たちのDiscordコミュニティは、6,500人から12,200人のメンバーにほぼ倍増しました🎉
  • 2回のコミュニティコールを主催し、寄稿者の営業時間を開始しました
  • 3つの新しいコミュニティガイド(質問に回答し、チャットをモデレートする信頼できるメンバー)を追加しました😎
  • コンテンツ、コード、翻訳への貢献をゲーミフィケーションするために、階層型POAPを導入しました
翻訳プログラム

7月に新しい翻訳リーダーを採用して以来、翻訳プログラムは大幅に強化されました。

いくつかの統計:
  • 7月から11月の間に、コミュニティはethereum.orgの1,373,046語をまとめて翻訳しました。これは、昨年の同時期の10倍以上に相当します。これを概観すると、これはほぼ20冊の本全体を翻訳することに相当します📚!
  • 2,500人を超えるコミュニティの貢献者から翻訳サポートを受けています🤯
  • ethereum.orgには37の言語があります🌍
  • リーダーボードや翻訳者証明書など、翻訳者の認知度を高めるためのイニシアチブを開始しました。

CLR資金

レイヤー2でclr.fundラウンドをサポートしています! clr.fundの2次資金スタックに6か月以上貢献した後、変更をアップストリームリポジトリに統合しました。これにより、L2ネットワークサポートとさまざまなウェブアプリの機能強化が追加されます。

clr.fundは、1月にステーキングエコシステムを対象としたArbitrum Oneに資金調達ラウンドを展開することを計画しており、EFはラウンドに一致する資金を提供することに興奮しています。ぜひご参加ください!詳細にご期待ください。公共財だよ!

私たちは巨人の肩の上に構築してきました。 clr.fundチーム、MACIチーム、およびZKPと2次資金調達の分野で革新を推進し続けているclr.fundの貢献者のコミュニティに感謝します。

次は何ですか?

  • 技術者以外のユーザーが熟練したイーサリアムユーザーになるための学習ハブを作成する
  • 実行中のノードに追加のリソースを構築し、アクセシビリティを向上させるためにステーキングする
  • 翻訳パイプラインをさらに自動化して、翻訳されたコンテンツをより早くリリースします
  • 翻訳プログラムをethereum.orgを超えて拡張する
  • マージが近づくにつれて、コンテンツを更新してEth2の用語から移行する

​​それはどのように聞こえますか?

ロードマップに関するフィードバックに感謝します。私たちの指針は、最短時間で最大の価値を提供することに基づいているため、取り組むべきだと思われることがあれば、お知らせください。コミュニティの誰からのアイデアや貢献も歓迎します。

貢献の詳細

イプシロン

作成者:Alex Beregszaszi

チームのウェブサイトを作成して、明確な説明を提供し、現在および過去の作業を包括的に一覧表示します。

次のヘッダーから、今年の後半にはチームが主にEVMに焦点を合わせていたことが簡単にわかります。また、EVMインタープリターのパフォーマンスを向上させるためにGethチームとチームを組んだことにも言及することが重要です。

EVMオブジェクト形式(EOF)

これに向けた最初のステップであるEIP-3541はロンドンで稼働し、多くのテストネットとEVMチェーンを対象に調査を実施して、EOFに適したプレフィックスを見つけました。

EIP-3540(選択したプレフィックスを含む)について継続的な説明が行われ、その上にさらに作業を構築することも提案しました:

  • デプロイ時にコード検証を導入するためのEIP-3670
  • JUMPDEST を置き換えるEIP-3690 JUMPDESTテーブルを使用したオペコード
  • EIP-4200は、2つの新しいオペコード RJUMP を導入します および RJUMPI 、静的ジャンプを容易にします

10月に、 Liscon でEOFを発表しました。 (ここでスライドしますが、録音は利用できません)およびベルリンのEthereum Meetup (スライド、記録)。

その他のEIP

EIP-2681(アカウントナンスを2 ^ 64-1に制限

私たちの古い提案の1つであるEIP-2681は、ACD#120の間に受け入れられました。これは、ほとんどのクライアントで実際にすでに(部分的に)実装されている制限を成文化しています。承認後、Ethereum State Testsスイートを拡張し、gethの実装を調整しました。

EIP-3855( PUSH0命令

EIP-3855は、 PUSH0 の導入を提案しています。 0をスタックにプッシュする命令。これは頻繁に使用される機能であり、今日ではほとんどの場合、非効率的または再利用された指示によって実現されています。

私たちの分析では、このオペコードでかなりのリソースを節約できた可能性があることがわかりました:

「無駄」を概観するために、既存のアカウント全体で340,557,331バイトがPUSH1 00命令に浪費されています。これは、それらを展開するために68,111,466,200ガスが費やされたことを意味します。

EIP-3860(制限とメーターの初期化コード

EIP-3860は、境界を設定し、initcodeのメータリングを導入するための提案です。これにより、実装でより少ない未知数を処理する必要があるため、より最適化された分析と実行が可能になります。

geth

Gethチームとのコラボレーションとして、GethでのEVMインタープリターのパフォーマンスの測定と改善に取り組み始めました。

分析面では、2つのレポートが注目に値します:

  • Gethとevmoneは、evmoneのベンチマークスイートを使用して、Gethとevmoneの速度を比較します。
  • Geth&Goコンパイラは、Goコンパイラのバージョンがgethの速度に与える影響を調査します。

これらの初期結果に基づいて、gethのプロファイリングを検討し、最終的にコードベースにいくつかの改善を提供しましたが、そのほとんどはすでにマージされています。関連するPRの包括的でないリスト:23952、23970、23974、23977、24017、24026、24031、24120。

このリンクをたどると、すべてのPRが表示されます。この作業は次の四半期も継続する予定です。

evmone

evmoneの2つのバグ修正リリースが作成されました:0.8.1と0.8.2。

エタッシュ

チームは、evmoneとSilkwormによって使用されるC ++ ethash / keccak256ライブラリも維持しています。

最新の0.8.0リリースでは、ブロックの難易度に対して最終的なEthashハッシュを検証するための新しい方法が導入されています。これは、使いやすさと速度の向上の両方です。メソッドはEthresear.chに投稿されています。

さらに、ProgPoWはライブラリで非推奨になりました。

フィジー

チームは、9月のWasm inWeb3カンファレンスにも参加しました。 2つのプレゼンテーションを行いました:

  • Fizzy —決定論的インタプリタ(スライド)は、Fizzyとは何か、他のエンジンとの比較についての包括的な概要を示し、また、私たちが行った多くの設計選択の背後にある理由を説明します。
  • WebAssemblyのテスト中の奇妙な癖は、Fizzyの開発中に遭遇したエッジケースの適切な選択を示しています。講演では、これらのエッジケースのいくつかの潜在的な解決策と説明、およびそれらをカバーするために公式のWebAssemblyテストスイートをどのように拡張したかについても説明します。
フォーマル検証

LeoAltによる作成

今年の後半も、FVチームは既存のツールに引き続き注力しました。

行動:

  • ついにAct0.1をリリースしました! https://fv.ethereum.org/2021/08/31/act-0.1/ですばらしいチュートリアルを読んで、現在可能なこととその使用方法を確認できます。
  • 現在、使いやすさを向上させるためにエラー処理をリファクタリングしています。

Hevm:

SMTChecker:

  • msg.value を含め、契約の残高を正確に追跡します 分析された契約との間で送受信されます。
  • 低レベルの呼び出しもサポートします 安全でない外線通話として機能します。
  • ブロックを報告して反例を改善します。* 、 msg。* および tx。* 失敗した検証ターゲットにとって重要な値。
  • 契約と再入可能の帰納的不変条件をユーザーに報告します。
ゲス

作成者:Felix Lange

2021年の後半に、9つのgethリリースを公開しました。いつものように、私たちの時間は、EIPのレビュー/実装、クライアントの最適化/メンテナンス、およびコミュニティによって提案されたコード変更のレビューに分割されています。

7月、EIP-1559を含むロンドンのハードフォークがアクティブ化されました。このEIPによって定義された新しいガス価格設定スキームでは、gethのすべてのサブシステムにわたって多くの変更が必要でした。 EIP-1559の導入から6か月が経過した現在でも、EIP-1559に関連するコーナーケースの問題を発見して修正しています。

過去6か月間に2つのセキュリティの脆弱性が発見されました。どちらの場合も、セキュリティアドバイザリポリシーに従いました。すぐに問題にCVE番号を割り当て、修正プログラムのリリースを公開しました。脆弱性に関する技術的な詳細は、6〜8週間後に公開されました。

2021年の最後の四半期に、私たちの仕事は主に The Merge の実装とテストにシフトしました。 。 gethを、マージされた実行+コンセンサス(fmr。「eth1 + eth2」)レイヤーの「実行レイヤークライアント」に変える予定です。マージの準備として、コンセンサスレイヤーの制御下で動作するように同期コードの多くを書き直しました。 GethはMergeテストネットにも参加しています。

さらに、gethチームは、Verkle Trees、ビーコンチェーンライトクライアント、Ethereum州の新しいデータベースストレージスキームの実装など、いくつかの長期的なプロジェクトに取り組んできました。

Javascriptチーム

作成者:Holger Drewes

2021年の最後の2四半期では、イーサリアムネットワークの「大きな移行」の準備が私たちの仕事の大きな焦点でした。ギリシャでのMergeInteropに参加し、クライアント、VM、および関連ライブラリの最初のMerge-testnet対応バージョンをリリースしました(EthereumJSクライアントv0.2リリースなどを参照)。また、Go-Ethereum Verkle / Statelessチームとのエキサイティングな実験を開始し、クライアント内のdevp2pを介して変更されたブロックヘッダーに沿って提供されるバークルプルーフに基づいて、ステートレスブロックの実行をネイティブにテストしました。興味がある場合は、次の追跡の問題を確認して、進捗状況を確認できます。

エンドユーザーにもう少し適用可能 :Polygon、Arbitrum、Optimismなどの新しいL2ネットワークに対するライブラリのサポートが改善されました。これらおよび他のいくつかのネットワークは、たとえば、直接参照できるようになりました。特定のL2ネットワークにトランザクションを送信します。たとえば、を参照してください。最新のOptimismL2ネットワーク統合のためのCommonv2.6.0リリース。

最後になりましたが、重要なことですが、VMArrowGlacierリリースが利用可能でEthers.jsの前面にあります。リチャードは、今後のEthers.jsv6ライブラリの変更と更新に関するエキサイティングな概要をブログに投稿しました。

プライバシーとスケーリングの調査

ThoreHildebrandtによる作成

Privacy&Scaling Explorationsチームは、ゼロ知識証明の最先端の研究とイーサリアムでのアプリケーション開発の間のギャップを埋めるために取り組んでいます。

zkEVM

zkEVMの目標は、zkロールアップでスマートコントラクトを実行することです。残念ながら、EVMはzk回路で動作するように設計されていないため、問題が発生します。 EVMオペコードのフルセットをzk回線に直接実装して、L1で実行されているスマートコントラクトを最小限の変更でL2にデプロイできるようにします。これにより、既存のツールとの完全な互換性が可能になり、エコシステムが過去数年間に構築したEVMの知識を活用できるようになります。オペコードの仕様と回路の実装は順調に進んでおり、初期のベンチマークと、証明者の時間を短縮するための重要な目標があります。

ZKOPRU

ZKOPRU(zk-optimistic-rollup)は、zk-SNARKとオプティミスティックロールアップを使用したプライベートトランザクション用のレイヤー2スケーリングソリューションです。 ETH、ERC20、ERC721間のレイヤー2ネットワーク内でのプライベート転送とプライベートアトミックスワップをサポートします。また、前払い機能と、支出キーと表示キーを使用したコンプライアンスの互換性を備えた即時撤退も提供します。 ZKOPRUは最近testnetでリリースされました-どうぞチェックしてください。同期時間の改善とプライベート交換機能に取り組んでいます。

Unirep&Unirep Social

UniRepは、プライベートで否認できないレピュテーションシステムです。ユーザーは、アテスターから肯定的および否定的な評判を受け取ることができ、正確な量を明らかにすることなく、少なくともある程度の評判があることを自発的に証明できます。さらに、ユーザーはアテスターからの評判の受け取りを拒否することはできません。私たちはUnirepを使用してUnirepSocialを構築しています。これは、ユーザーが個人的にカルマを蓄積できるRedditのようなプラットフォームです。 Unirep Social Webサイトの構築は、過去数か月の間に私たちの焦点でした。 Unirepのプルーフは、何度も参照できるようにインデックスが付けられ、1つのプルーフが2回送信されるのを防ぐことができます。 Unirepは、初期レピュテーションエアドロップとユーザー状態遷移エアドロップを処理できるようになりました。また、ユーザー状態とUnirep状態の生成効率も向上しています。

Unirep Socialの基本機能、フロントエンドデザイン、フロントエンド、バックエンドは完了しており、クローズドプレアルファリリースを計画しています。詳細については、このブログ投稿をご覧ください。

CLR.fund for Everyone

このプロジェクトの目標は、コミュニティがclr.fundを使用して独自のCLRラウンドを簡単に実行できるようにすることです。このプロジェクトはとても忙しいです。これで、clr.fund Deployerを使用して、独自の2次資金調達アプリケーションをデプロイできます。完全に分散化された方法で、コミュニティが独自の未来を選択し、資金を提供できるようにします。サブグラフとドキュメントを確認してください。

InterRep

評判は信頼の鍵です。人々は一元化されたソーシャルプラットフォームで評判を築くために何年も費やしますが、新しいアプリを使い始めるときはいつでも何もないところから始めなければなりません。 InterRepは、評判を移植可能にして、信頼できる人間との対話による複合的なメリットをWeb全体に拡大することを目的としています。最初の発表とリポジトリについては、このブログ投稿を確認してください。前四半期に、ソーシャルプルーフソースの範囲をPOAPと電子メールに拡大し、テレグラムボットを介したオンチェーンとオフチェーンのグループをキュレートしました。 UIの再設計を行い、クライアントアプリケーションとのやり取りを改善し、ライブリリースの準備をしています。

セマフォ/ ZK-キーパー

セマフォは、ユーザーが元のIDを明らかにすることなく、セットのメンバーシップを証明できるようにするゼロ知識ガジェットです。同時に、ユーザーは任意の文字列の承認を通知できます。これは、EthereumdAppsのシンプルで汎用的なプライバシーレイヤーになるように設計されています。ユースケースには、個人投票、内部告発、ミキサー、匿名認証が含まれます。 ZK-Keeperでは、最新のzkツールを使用してSemaphoreを最新の状態に保ち、InterRepなどの他のプロジェクトと統合することに重点を置いています。セマフォの証明とIDを処理するための新しいライブラリがあります。これでHalo2上で実装が完了し、ブラウザで使用できるようになりました。

RLN

RLN(Rate Limiting Nullifier)は、ゼロ知識証明に基づく構造であり、分散型の匿名環境でのスパム防止を可能にします。匿名環境では、エンティティのIDは不明です。最近、より多くの人々にアイデアに興奮してもらうために、説明的なブログ投稿を公開しました。 「RLNを使用したETH2バリデータープライバシーの実現可能性分析」に関する調査を終了しました。 「RLNとInterrepを使用したプライベートインスタントチャットアプリ」プロジェクトの制作に取り組んでいます。また、ZK-KeeperプラグインをRLNプロジェクトに統合することも支援しています。

プロトコルサポート

作成者:Tim Beiko

プロトコルサポート(PS)チームは、イーサリアムベースレイヤーを構築または操作するチームをサポートする方法の数を増やすために2021年に結成されました。チームの主な焦点は、コア開発者がイーサリアムの実行レイヤーでネットワークアップグレードを出荷できるようにすることです。

この趣旨で、今年はベルリン、ロンドン、アロー氷河が配備されました。これらに加えて、PSは、最初にレイヨニスム、次にアンフォラワークショップ、そして現在は金継ぎデブネットで、マージに向けて多大な努力を費やしました!

この加速するペースと変化の範囲により、イーサリアムコミュニティへのより多くのアウトリーチが必要になり、私たちのチームは頻繁なコミュニティコールを組織するようになりました。これらの期間中、アプリケーション、インフラストラクチャ、およびツールの開発者は、プロトコルのアップグレードを最適にサポートし、ユーザーにスムーズな移行を提供する方法について話し合うよう招待されました。これらの電話に加えて、チームは、この最近のすべてのコア開発者の更新、Banklessのこの記事、EFブログのMergeとアプリケーション層に関するこの最近の投稿など、変化するイーサリアムロードマップに関するいくつかの講演といくつかの投稿を公開しました。

プロトコルのアップグレードに加えて、PSチームは、クライアントチームが十分にサポートされるようにするために、2つの主要なイニシアチブを取りました。最初に、クライアントインセンティブプログラムが発表され、チームにイーサリアムに沿った長期的なインセンティブが与えられました。このプログラムは、クライアントチームに、ソフトウェアを使用して実行する必要のある144個のバリデーターのセットを提供します。チームがメインネットで特定のパフォーマンスベンチマークを満たし続けると仮定すると、これらのバリデーターは徐々にチームに付与され、チームは自由に清算するか、報酬と料金を収集するために実行し続けることができます。このプログラムは、チームをイーサリアムと連携させ、メインネット上でクライアントを「ドッグフーディング」し、パフォーマンスの高いソフトウェアを提供し続けることを保証します。

次に、コア開発者見習いプログラムが開始されました。このプログラムは、プロトコル開発を深く掘り下げたいと考えている自主的な個人に奨学金とメンターシップを提供しました。 CDAPは、信じられないほどの成功を収めた実験として開始されました。 25人以上の参加者で2つのコホートが実行されました。これらのうち、少なくとも5つがエコシステムでフルタイムで働いています。これらの最初のコホートは、プログラムで何が良かったのか、何を改善できるのかについて多くのことを教えてくれました。 2022年に改良されたCDACを期待してください!

最後に、チームはクライアントチームとより広いコミュニティにインフラストラクチャを提供することを試みました。そのために、crawler.ethereum.orgが出荷され、オープンソースになりました。追加のクローラーを実行し、コミュニティが改善、変更、またはフォークできるようにすることで、ネットワークのトポロジをより適切に把握できるようになることを願っています。

リミックス

作成者:Rob Stupay

過去6か月間、Remixチームはアプリの背面を緩めて、大規模な再配線を行いました。これらの変更の最初は、コードをReactに移動するための継続的な作業でした。また、いくつかの効果的なチャネルを新しいコミュニティにダイヤルインし、IDEの基本的な製品「ツアー」で新しいユーザーをオンボーディングすることで、リーチを拡大しました。プロジェクトを「エクスペリエンス」にプラグインし、SlitherとHardhatを統合し、RemixVSCode拡張機能を更新しました。

また、それだけでは不十分な場合は、コラボレーションコーディング、分散型GITの改善、Githubの統合のためのツールをいくつか使用しました。最後になりましたが、既存のプラグインを更新しました。つまり、最大で11になりました。

詳細については、記事をご覧ください。

ロバストインセンティブグループ

BarnabeMonnotによる作成

RIG(Robust Incentives Group)は、新しいチームメンバーを歓迎し、イーサリアムプロトコルの多くの重要なマイルストーンに参加しました。 RIGとは何か、そして私たちが気にかけていることについて簡単に復習するには、7月にEthCCでBarnabéによって発表されたRIGを使用したプロトコル暗号経済学をチェックしてください。

プルーフオブステークのコンセンサス側では、今年初めにフルタイムの研究科学者として私たちに加わったキャスパーが、プルーフオブステークイーサリアムへの3回の攻撃として書かれた現在のフォークの選択に問題があることを発見しました。幸いなことに、「3つの攻撃」の論文を共同執筆したスタンフォード大学のTse Labとの多くの生産的な議論の結果、最近コンセンサス仕様に統合された強力な候補修正があります。 Casparらは、別の緩和策(「提案者ビューのマージ」)も提案しましたが、これはまだ調査中です。 LisconでCasparをチェックして、彼の結果を発表してください!

去年の夏に最初に研究インターンとして参加し、現在はRIGの研究助手であるシャムは、海洋ゲームや不平等を含む多くのユニークな角度からビーコンチェーン統計を調査する一連のノートブックをリリースしました。 Shyamは、強化学習を含むビーコンランナーPoSシミュレーションエンジンの拡張にも取り組んでいます。 EDCONでの彼の講演をチェックしてください!

ブロック12,965,000、8月5日12:33:42 UTCは、私たちにとって重要な日付でした。ロンドンのハードフォークがアクティブになり、それに伴ってEIP-1559がアクティブになりました。昨年、私たちは新しい料金市場メカニズムのさまざまなシミュレーションを提示する一連のノートブックをリリースしました。これは、発売後のさらなる分析の準備を整えました。 Barnabéはその直後にいくつかの結果を報告し、共著者(Shyamを含む)と一緒に、より長い形式の論文「新婚旅行の取引手数料:1か月後のイーサリアムのEIP-1559」を作成しました。この論文は、現実世界での1559更新ルールの動作に動機付けられており、ルールを改善するための新しい研究の方向性を開きます。

RIGはまた、cadCAD Eduチームと緊密に協力して、イーサリアム経済学の完全に拡張可能なモデル(Python)によってサポートされる、バリデーター経済学のオンラインマスタークラスを準備していました。

蛇使い[Pythonエコシステム]

KeriClowesによる作成

2021年の後半に、Snake Charmersチームは、ロンドンのハードフォークをサポートするためにエコシステム全体で必要な変更を完了しました。これには、スタック全体、特にPy-EVM、Ethereum Tester、Web3.py、およびeth-accountでの広範囲にわたる基本的な変更が含まれていました。 Py-EVMに対して提出された2つのバグバウンティも修正されました。教育コンテンツを作成するための取り組みを強化し、デベロッパーとの関係をより重視しています。そしていつものように、Pythonツール全体で継続的なコミュニティのサポート、問題の切り分け、バグの潰しがあります。

Fe-lang

GrantWuerkerによる作成

過去6か月間、Feチームは次のリリースを削減しました。

0.11.0-alpha“ Karlite”(2021-12-02)

  • マルチファイルのサポート
  • 構造体の関数定義

v0.10.0-alpha“ Jade”(2021-10-32)

  • モジュールレベルの定数と関数
  • 安全でないサポート

v0.9.0-alpha「イリジウム」(2021-9-29)

  • 関数シグネチャでの自己宣言

v0.8.0-alpha“ Haxonite”(2021-8-31)

  • Salsaを使用したクエリベースの分析

0.7.0-alpha“ Galaxite”(2021-07-27)

  • SolidityABIデコードチェック

0.6.0-alpha“ Feldspar”(2021-06-10)

  • 注目すべき機能はありません

過去6か月間の進捗状況について詳しく知りたい場合は、次のリソースを確認してください。

  • リリースページ
  • ブログ
  • 2021年の目標
ポータル

作成者:Piper Merriam

今年はポータルネットワークにとって大きな年でした。今年は、イーサリアムプロトコルへの軽量アクセスを提供できるピアツーピアネットワークを構築する方法についてのアイデアと大まかな計画から始めました。現在、3つの独立したチームと実装があり、2022年末までに完全に機能するネットワークに進化する最初のテストネットの立ち上げに向けて順調に進んでいます。

EFポータルチームは、Rustで作成されたポータルクライアントであるTrinに懸命に取り組んでいます。 EF Javascriptチームは、ブラウザで実行できるようにすることを目的としたTypescriptで記述されたポータルクライアントであるUltralightにも取り組んでいます。 Status.imのチームは、Statusイーサリアムクライアントおよびウォレットソリューションとの統合を目的としたポータルクライアントであるFluffyにも取り組んでいます。

今年、私たちは、効率的な保管と検索に役立つ方法で現在のイーサリアム状態をどのように配布するかという、これまで解決されていなかった問題を解決しました。ポータルネットワークを構成するすべてのネットワークの基盤となる拡張可能な基本プロトコルであるポータルワイヤプロトコルを確立しました。また、ポータルネットワークプロジェクトをコアプロトコル開発に着​​手するための出発点として使用したコア開発者見習いプログラムの複数の参加者と協力することもできました。

セキュリティ[セキュリティ/コンセンサステスト]

セキュリティ(セキュリティ/コンセンサステスト)チームによる作成

セキュリティとテストの面では、ロンドンのアップグレードと今後の統合に多くの注意が払われています。テストオーサリング用のツールを更新し、参照テストを継続的に改善しました。

堅固さ

FranziskaHeintelによる作成

今年の後半には、Solidityバージョン0.8.8、0.8.9、0.8.10、0.8.11をリリースしました:

  • Solidity 0.8.8は、主要な新機能としてユーザー定義の値型を提供します。また、インターフェイス関数のオーバーライド、不変要素からの読み取りなども改善されます。
  • Solidity 0.8.9は純粋なバグ修正リリースであり、2つの重要であるが重大度の低いバグを修正します:
    • 署名された不変のバグ
    • ユーザー定義の値型のバグ
  • Solidity 0.8.10 contains external function call optimizations, enables the new EVM code generator for pure Yul mode and can report contract invariants and reentrancy properties through the SMTChecker.
  • Solidity 0.8.11 adds a first implementation of a Language Server and allows a safer way to perform ABI-encoding.

Moreover, several Solidity team members presented at ETHGlobal’s Developer Tool Summit:

  • Hari with “What’s New in Solidity”
  • Franzi with “Next Level Source Verification with Sourcify”

The Solidity documentation got a few upgrades, most notably, we…

  • updated the resources section with general resources, Ethereum IDEs, editor integrations, Solidity tools, Solidity parsers and grammars.
  • added the functionality to open code examples in the documentation directly in Remix.

Lastly, we launched our yearly Solidity Developer Survey. If you are a Solidity developer, please take 10 minutes to share your feedback and take part in the survey here. The survey will be open until 31st of December 2021.

Oh and we’re hiring! Have a look at our C++ Engineer Solidity opening.

ZoKrates

Authored by Thibaut Schaeffer

In the second half of 2021, ZoKrates advanced on different fronts:

Language

  • Type aliasing, as well as the ability to make function calls in constant definitions
  • Support for the ternary expression syntax
  • Enable constant generics on structs

Proof systems

  • Reduction of the deployment cost for some Solidity verifiers
  • Expose recursive verification in the standard library
  • Add support for Groth16 MPC ceremonies (coming soon)

Compiler performance

  • Extensive work on reducing memory and time requirements of the compiler (coming soon with metrics!)

For a full list of the changes, check out the changelog


イーサリアム
  1. ブロックチェーン
  2. ビットコイン
  3. イーサリアム
  4. デジタル通貨交換
  5. 鉱業