Certoraの正式検証サービスがイーサリアムプログラミング言語Vyperをサポート
8月15日のニュースによると、スマートコントラクトセキュリティ分析プロジェクトCertoraの正式検証サービスがイーサリアムプログラミング言語Vyperをサポートし、スマートコントラクト開発者がコード導入後の監査前にエラーを検出できるようになったという。
Sandbox が LAND クロスチェーン サービスを再起動
サンドボックスは7月31日にクロスチェーン機能を無効にした後、LANDクロスチェーンサービスを再開した。サンドボックスは、LANDスマートコントラクトとLANDクロスチェーンコントラクトの保守と更新が完了したと述べた。クロスチェーンスマートコントラクトは、OpenZeppelinの監査に合格した。現在、イーサリアムとポリゴンで作成されたLANDは双方向にクロスチェーンできる。 。
サイファープロトコルの攻撃額が100万ドルに達する
ソラナに拠点を置く分散型先物取引所サイファー・プロトコルは、推定100万ドルの被害があった攻撃を受けてスマートコントラクトを停止した。 Solana ブロックチェーン探索会社 Solscan によると、攻撃に関与したと考えられるウォレットは、約 38,530 個の Solana (SOL) トークンと 123,184 ドルの USD Coin (USDC) を盗み、合計 1,035,203 ドルの違法に入手した資金を盗むことに成功しました。攻撃から数時間以内に、ウォレットはおそらく盗まれた資金を現金化するために、30,000 USDC をバイナンスのソラナ USDC アドレス「kiing.sol」に送金しました。 Cypher Protocol は攻撃の原因を調査しており、盗まれた資金の返還について話し合うためにハッカーと連絡を取っている。
Lexon、スマートコントラクトをSolidity、Sophia、またはJavaScriptに変換するコンパイラーを発表
Cointime ニュース: スマート コントラクト コンピューター言語 Lexon (LEX) は 8 月 3 日にコンパイラーをリリースし、開発者が Lexon を使用してコントラクトを作成し、Solidity、Sophia、または Javascript に変換できるようにしました。コンパイラーは Aeternity (AE) ブロックチェーン ネットワーク上で実行され、各コンパイル サイクルの支払いとして LEX トークンを受け取ります。 Lexon は、通常の書き言葉または話し言葉のように見えるように設計されたコンピューター言語です。
ローコード ブロックチェーン プログラミング ツール SettleMint がシリーズ A で 1,600 万ユーロの資金を確保
ローコード ブロックチェーン プログラミング ツール SettleMint は最近、そのプラットフォームに AI アシスタントを追加しました。 SettleMint がシリーズ A 資金調達ラウンド 1,600 万ユーロを発表してから約 9 か月後に開始されたこの AI アシスタントは、開発者がスマート コントラクトを作成し、データを統合し、品質保証 (QA) テストを強化するのを支援すると約束しています。 SettleMint は人間に代わる AI アシスタントを作成しているのではなく、AI はスマート コントラクトの草案作成に役立ちますが、その真の価値はコードの各行の意味を説明することにあります。 SettleMint は主に OpenAI の GPT-4 を使用して AI アシスタントをトレーニングし、最新のブロックチェーン開発に関する情報を提供しています。日本のエレクトロニクス大手富士通からの資金提供を受けて、SettleMint はアジアへの進出を着実に進めている。
ブロックチェーン技術企業ConsenSysがスマートコントラクトテストツール「Diligence Fuzzing」をリリース
8月1日の発表によると、ブロックチェーン技術企業ConsenSysは、スマートコントラクトテストツール「Diligence Fuzzing」を一般公開した。新しいツールは「ランダムで無効なデータポイント」を生成し、契約がリリースされる前に脆弱性を発見できる。 2022 年の分散型金融ハッキングには 28 億ドル以上の費用がかかります。 ConsenSys によると、これらの損失により、開発者は、攻撃者が発見する前に脆弱性を発見できるように、より高度なテスト ツールを導入するようになりました。この新しいツールは以前はクローズド ベータ版として利用可能であり、開発者がアクセスするには許可が必要でした。 8 月 1 日以降、このライセンスプロセスは必要なくなります。 Diligence Fuzzing は現在、スマート コントラクト ツール Foundry とも統合されており、開発者がテストできる無料バージョンを提供しています。
スマートコントラクトが従来の金融機関や法定通貨とどのように連携するかには根本的な変更が必要
スマート コントラクトはブロックチェーンと暗号通貨の状況を変えましたが、それだけが解決策ではありません。過度の狂信は技術の停滞や失敗につながる可能性があります。スマートコントラクトは従来の金融機関や法定通貨と連携する必要がありますが、セキュリティとプライバシーのリスクを軽減する必要があります。暗号通貨の将来には、法定通貨の相互運用性とアクセスの容易さのために、従来の金融との対話が必要です。
XRPレイヤー2プラットフォームEvernodeアップデートの進捗状況、8月中旬にHooks V3テストネットレビューを実施予定
XRP Ledgerエコシステムのレイヤー2プラットフォームであるEvernodeは、その進捗状況に関する最新情報をリリースしました。このプラットフォームは、Hooks を通じてスマート コントラクトをエコシステムに導入しており、暫定的に 8 月中旬に Hooks V3 テストネットのレビューを開始する予定です。しかし、エバーノードは依然としてリップルからの書類と資金の確認を待っている。 XRPコミュニティはEvernodeの立ち上げを心待ちにしており、Evernodeはプロトコルの立ち上げ後、提案されているネイティブトークンEversをXRP保有者にエアドロップする予定だ。
スマートコントラクト業界は2023年第2四半期には回復力があるが、仮想通貨市場での資金調達は低迷している
2023 年の第 2 四半期は、暗号通貨市場での資金調達が最も低かったものの、スマート コントラクト業界は依然として回復力を保っていました。 BNB Chain は、検証済みのスマート コントラクトの数が増加していることを指摘し、ブロックチェーン ベースのソリューションに対する需要が高まっていることを示しています。レポートは、第 2 層ソリューションが引き続き推進され、スマート コントラクトのセキュリティが焦点となり、規制上の監視も強化されると予測しています。ベンチャーキャピタル企業からの投資が減少しているにもかかわらず、経営陣は仮想通貨分野の長期的な見通しについて引き続き楽観的だ。
