戦略的パートナーがPlutusスマートコントラクトへの道を拓く

DeFi時代にCardanoをプライミングする開発者間のMetalampとRuntime Verification

2021年 5月 12日 Anthony Quinn 9 分で読めます

戦略的パートナーがPlutusスマートコントラクトへの道を拓く

Cardano Plutusスマートコントラクトの技術的インフラストラクチャーが準備されています。しかし、分散型金融(DeFi)用のこうしたインフラは、開発者がプラットフォームの使用を推進するコントラクトを作成しなければ、車の走らない道路のようなものです。  Plutusパイオニアプログラムは、2年以上前に始まった、進化型開発者教育スキームの一環として4月に開始されました。その目的は関数型プログラミングの学習希望者に系統的なトレーニングを提供し、HaskellやPlutusを使用してアプリを構築し始めることができるようにすることです。1,000人を超える熱心なPlutusの「見習い」開発者グループとともに、私たちは経験豊富なソフトウェア開発会社とパートナーシップを結び、数多くの分散型アプリケーション(DApps…

Cardano分散化は続く:P2Pデプロイの洞察

ステークプールはまもなくP2P自動接続のテストが可能に

2021年 5月 11日 Marcin Szamotulski 7 分で読めます

Cardanoネットワークの分散化は、長期的なサステナビリティ、回復性、中央集権的統治機関からの独立性を確保するうえでのカギとなります。ブロック生成が完全に分散化された今、次の焦点は分散型ステークプールオペレーター(SPO)エコシステムを開発し、分散されたノード間に信頼性の高い効果的な接続を構築することに置かれています。

ブロックとトランザクションを検証する力をステークプールオペレーターに付与するためには、ネットワークソフトウェアの強化が必要です。接続マネージャーのデプロイを伴うP2Pガバナーの有効化により、4月後半、P2Pプライベートテストネットのリリースが可能となりました。現在私たちはこのエンジニアリングテストネットを査定しており、その後招待制によるSPOグループの協力でテストおよび調整を行うP2P準パブリックテストネットを展開します。

P2Pガバナーに関する記事

Runtime VerificationとIELE - 相互運用性から普遍性へ

KEVMとIELEがCardanoにもたらす、比類なきレベルのセキュリティ、スケーラビリティ、プログラム可能性

2021年 5月 10日 Alex Hamilton 5 分で読めます

Runtime VerificationとIELE - 相互運用性から普遍性へ

新興のRuntime Verification(RV)社の会長兼CEO、Grigore Rosu教授3月のCardano360マンスリーショーに出演し、そのアイデアと、RVとIOHKのコラボレーションについて語ってくれました。

Rosu教授およびRVと私たちとのプロフェッショナルな関係は2017年に遡ります。教授の経歴が(どの言語でも)それを物語っています。Rosu教授はNASA、DARPA、Microsoftに勤め、イリノイ大学アーバナ・シャンペーン校で教鞭をとってきました。

彼はまた、「単に失敗するわけにはいかないソフトウェア」と評されているKフレームワークを手掛けています。15年にわたり開発されているこのフレームワークの主要目的は、セキュリティの強化です。この詳細は後述するとして、まずは簡単に歴史を振り返ります。

Essential Cardanoリスト - コミュニティのための新たなリソース

Cardano関連事項を網羅した、新しいソースセンターを紹介します

2021年 4月 30日 Niamh Ahern 6 分で読めます

Essential Cardanoリスト - コミュニティのための新たなリソース

本日、新しいGitHubリポジトリ、Essential Cardanoリストが公開されます。これは、Cardanoについてなんでも知りたいことを見つけるために役立ちます。Cardanoとは何か、パートナーは誰かを知りたい、その使命やロードマップを学びたい、またはCardanoを使って何かを構築したいと思った場合のスタート地点となります。

GitHubの有名なAwesomeリストに着想を得たEssential Cardanoリストは、繁栄するエコシステムの概要とともに、Cardano初心者や、Cardanoに関する知識を深めたい人々の助けとなる、包括的なリソースリストを提供します。この新たなリストはその拡大に伴い、公式リソースとコミュニティが作成する資料の両方を含む、Cardano…

アフリカのビジョンの鍵となるアイデンティティ

分散化、そしてブロックチェーンで現実問題に対処し、大陸に新たな未来を届ける

2021年 4月 28日 Charles Hoskinson 8 分で読めます

アフリカのビジョンの鍵となるアイデンティティ

昨日、#CardanoAfricaショーで、私たちはアフリカ大陸に対する大胆なビジョンと、それを実現する方法を発表しました。ここでは、この特別なイベントの導入部をお届けします。

2015年2月、私は夢を持ってInput Outputをスタートしました。自分自身の生活をコントロールするすべを持たない何十億という世界中の人々に、経済的なアイデンティティをもたらすという夢です。

現実に、人々は2つの異なる設定下で暮らしています。1つは先進国、そしてもう1つは発展途上国です。私のように、先進国に暮らすほとんどの人々は、多くのものを当たり前だととらえています。実際に、私たちにとって、ID…