戦略的パートナーがPlutusスマートコントラクトへの道を拓く
DeFi時代にCardanoをプライミングする開発者間のMetalampとRuntime Verification
2021年 5月 12日 9 分で読めます
Cardano Plutusスマートコントラクトの技術的インフラストラクチャーが準備されています。しかし、分散型金融(DeFi)用のこうしたインフラは、開発者がプラットフォームの使用を推進するコントラクトを作成しなければ、車の走らない道路のようなものです。 Plutusパイオニアプログラムは、2年以上前に始まった、進化型開発者教育スキームの一環として4月に開始されました。その目的は関数型プログラミングの学習希望者に系統的なトレーニングを提供し、HaskellやPlutusを使用してアプリを構築し始めることができるようにすることです。1,000人を超える熱心なPlutusの「見習い」開発者グループとともに、私たちは経験豊富なソフトウェア開発会社とパートナーシップを結び、数多くの分散型アプリケーション(DApps…
Cardanoネットワークの分散化は、長期的なサステナビリティ、回復性、中央集権的統治機関からの独立性を確保するうえでのカギとなります。ブロック生成が完全に分散化された今、次の焦点は分散型ステークプールオペレーター(SPO)エコシステムを開発し、分散されたノード間に信頼性の高い効果的な接続を構築することに置かれています。
ブロックとトランザクションを検証する力をステークプールオペレーターに付与するためには、ネットワークソフトウェアの強化が必要です。接続マネージャーのデプロイを伴うP2Pガバナーの有効化により、4月後半、P2Pプライベートテストネットのリリースが可能となりました。現在私たちはこのエンジニアリングテストネットを査定しており、その後招待制によるSPOグループの協力でテストおよび調整を行うP2P準パブリックテストネットを展開します。
P2Pガバナーに関する記事…
Runtime VerificationとIELE - 相互運用性から普遍性へ
KEVMとIELEがCardanoにもたらす、比類なきレベルのセキュリティ、スケーラビリティ、プログラム可能性
2021年 5月 10日 5 分で読めます
新興のRuntime Verification(RV)社の会長兼CEO、Grigore Rosu教授が3月のCardano360マンスリーショーに出演し、そのアイデアと、RVとIOHKのコラボレーションについて語ってくれました。
Rosu教授およびRVと私たちとのプロフェッショナルな関係は2017年に遡ります。教授の経歴が(どの言語でも)それを物語っています。Rosu教授はNASA、DARPA、Microsoftに勤め、イリノイ大学アーバナ・シャンペーン校で教鞭をとってきました。
彼はまた、「単に失敗するわけにはいかないソフトウェア」と評されているKフレームワークを手掛けています。15年にわたり開発されているこのフレームワークの主要目的は、セキュリティの強化です。この詳細は後述するとして、まずは簡単に歴史を振り返ります。
…
本日、新しいGitHubリポジトリ、Essential Cardanoリストが公開されます。これは、Cardanoについてなんでも知りたいことを見つけるために役立ちます。Cardanoとは何か、パートナーは誰かを知りたい、その使命やロードマップを学びたい、またはCardanoを使って何かを構築したいと思った場合のスタート地点となります。
GitHubの有名なAwesomeリストに着想を得たEssential Cardanoリストは、繁栄するエコシステムの概要とともに、Cardano初心者や、Cardanoに関する知識を深めたい人々の助けとなる、包括的なリソースリストを提供します。この新たなリストはその拡大に伴い、公式リソースとコミュニティが作成する資料の両方を含む、Cardano…
昨日、#CardanoAfricaショーで、私たちはアフリカ大陸に対する大胆なビジョンと、それを実現する方法を発表しました。ここでは、この特別なイベントの導入部をお届けします。
2015年2月、私は夢を持ってInput Outputをスタートしました。自分自身の生活をコントロールするすべを持たない何十億という世界中の人々に、経済的なアイデンティティをもたらすという夢です。
現実に、人々は2つの異なる設定下で暮らしています。1つは先進国、そしてもう1つは発展途上国です。私のように、先進国に暮らすほとんどの人々は、多くのものを当たり前だととらえています。実際に、私たちにとって、ID…
最新の記事
Mithrilが強力なセキュリティ設定を提供する方法 筆者: Olga Hryniuk
23 August 2023
Mithril、まもなくメインネットリリース 筆者: Olga Hryniuk
20 July 2023
ワドラー、科学の巨匠に仲間入り 筆者: Anthony Quinn
6 July 2023