プログラミング言語

CoinDesk の報道によると、Cardano の創設者 Charles Hoskinson は、Cardano ネットワークのために新しいプログラミング言語を自ら開発しており、Input Output Global のエンジニア Lucas Rosa と協力していると述べています。Lucas Rosa は Cardano の主要なスマートコントラクト言語の一つである Aiken の共同創設者です。Hoskinson は X プラットフォームで、この言語がユーザーが取引を完了させたい操作と暗号学的証明を組み合わせた初のプログラミング言語になると投稿しました。この言語は、取引意図、証明を持つデータ、および Groth16 証明の三つのツールをサポートすることが紹介されています。取引意図は、ユーザーが達成したい目標を明示することを可能にし、具体的な手順はアプリに処理させることができます。たとえば、取引者は最終価格が設定した条件を満たすときにのみあるトークンを別のトークンに交換するよう要求でき、具体的な経路を示す必要はありません。証明を持つデータは、情報に暗号学的証拠を追加し、特定のルールに準拠していることを証明します。他のアプリは再計算することなく検証できます。Groth16 は広く使用されている証明システムで、小さなサイズで高速に検証できる証明を生成し、プライバシーデータを公開することなく条件が満たされていることを証明します。三者が組み合わさることで、開発者は取引を調整し、複雑な条件をチェックし、サービス間で検証済みの情報を伝達するアプリを構築でき、最終的に Cardano が小型の証明を検証します。現在、Cardano の開発者は主に Haskell ベースの Plutus および Aiken を使用してスマートコントラクトを作成しており、Hoskinson の Input Output Global が構築したプライバシーブロックチェーン Midnight には独自の言語 Compact があります。この新しい言語の名称、公開コード、およびリリース日は現在のところ発表されていません。

VitalikはXプラットフォームで投稿し、新しい「高級プログラミング言語」がLean（またはHOLなど）にコンパイルされることを試す価値があると述べています。これは、定義や定理を人間ができるだけ読みやすくすることに重点を置いています。証明ではなく、証明は正しければよく、重要なのは定義と定理そのものです。その想定される用途は、AIが大量の証明を出力し、読者がそれらの出力の中で実際にどの正確な主張が証明されたのかをできるだけ簡単に理解する必要があるということです。

ChainCatcher のメッセージ、Cardity チームは新しい UTXO スマートプログラミング言語を発表しました。この言語は、ビットコインに似たブロックチェーン（例えば、ドージコイン）上で分散型プロトコルを構築するために使用されます。この言語は Solidity に似た構文を採用しており、理解しやすく、トークン、DAO、投票、DeFi などのアプリケーション向けに設計されています。開発者は .car ファイルを使用してプロトコルを UTXO にデプロイできます。Cardity のコア実装はオープンソースであり、GitHub で確認できます。

ChainCatcher のメッセージによると、Starknet はソーシャルメディアで Cairo V2.3.0 が候補リリースから正式リリースに移行したと発表しました。新しいバージョンには、パフォーマンスの改善、バグ修正、コンポーネント依存関係を処理するための新しいインラインマクロが含まれています。以前のニュースでは、Starknet がそのプログラミング言語 Cairo V2.3.0 バージョンにコンポーネントを導入したと発表しました。

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Vyper が先週の脆弱性事件に関する事後分析レポートを発表しました。レポートによると、7 月 30 日に Vyper コンパイラの潜在的な脆弱性により、複数の Curve 流動性プールが悪用されました。この脆弱性は、正しく実装されていない再入防止策であり、影響を受けた Vyper のバージョンには v0.2.15、v0.2.16 および v0.3.0 が含まれます。Vyper は、この脆弱性が v0.3.1 バージョンで修正され、テストされたと述べており、v0.3.1 以降のバージョンは安全であるとしています。しかし、その時点では、脆弱なバージョンのコンパイラを使用しているプロトコルに影響を与えることに気づいておらず、下流のプロトコルに対しても迅速に通知されていませんでした。

ChainCatcher のメッセージによると、イーサリアムプログラミング言語 Vyper は、Vyper 0.2.15、0.2.16 および 0.3.0 バージョンが再入ロックの不具合の影響を受けているとツイートしました。調査はまだ進行中です。

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Solidity が Solidity コンパイラ 0.8.19 バージョンをリリースしました。最新バージョンには一連の改善が含まれており、ユーザー定義の値型定義演算子が導入され、実行時バイトコード内のデッドコードを防止します。@sifislag が報告した内部ライブラリ関数およびモジュール呼び出しによる自由関数の問題は、このバージョンで修正されました。チームは、0.8.0 未満の Solidity バージョンを使用しているユーザーに対してアップグレードを推奨しています。（出典リンク）

ChainCatcher のメッセージ、イーサリアムプログラミング言語 Solidity が最新バージョンの Solidity コンパイラ Solidity 0.8.18 をリリースしました。新バージョンの機能には、CBOR メタデータの無効化、パリスハードフォークのサポート、selfdestruct の廃止、Yul から EVM バイトコードの生成が含まれています。チームはすべての Solidity 開発者に対し、これらの改善と最適化を活用するためにバージョン 0.8.18 へのアップグレードを推奨しています。（出典リンク）

ChainCatcher のメッセージ、StarkWare はそのプログラミング言語 Cairo 1.0 をオープンソース化することを発表しました。これは StarkNet スタックのオープンソース化の第一歩です。StarkNet はまだ Cairo 1.0 をサポートしておらず、来年の第一四半期にサポートを行う予定です。Cairo 1.0 コンパイラの最初のバージョンは来年の第一四半期初めにリリースされる予定で、Cairo 1.0 における StarkNet のすべての既存機能をサポートすることに重点を置いており、Cairo 1.0 コンパイラの機能も拡張しています。（出典リンク）

ChainCatcher のメッセージによると、イーサリアムのレイヤー2ネットワーク ZkSync がツイートで、Java、Go、Python プログラミング言語をソフトウェア開発キット (SDK) に統合したと発表しました。開発者は慣れ親しんだコーディング言語にアクセスして使用できるようになり、「モバイルまたは特定のハードウェア向けのアプリケーション」などの新しいユースケースを有効にします。チームは、今後他のプログラミング言語への拡張を続けると述べています。ChainCatcher は以前、10 月 31 日に zkSync 2.0 メインネットの第一段階 Baby Alpha がオンラインになり、メインネットは 2023 年初頭に全ユーザーに開放される予定であると報じました。（出典リンク）

链捕手メッセージによると、Solana財団のGitHubページの情報に基づき、チームはMove言語を開発戦略に組み込んだことを示しており、開発者の関心を高め、コミュニティの開発活動を促進することを目的としています。Moveは、Meta（旧Facebook）によって作成されたプログラミング言語であり、現在ではWeb3開発者にとっての選択肢の一つとなっています。（出典リンク）