ブログ > 2021
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…
Plutusについて知っておくべきこと
開発者はPlutusとAlonzoプロトコルアップグレードで可能となったCardanoスマートコントラクトの到来に備えています
2021年 4月 13日 12 分で読めます
前回のブログでは、Cardanoにスマートコントラクトサポートを導入するプロトコルアップグレード、Alonzoを紹介しました。AlonzoはPlutusを使用した機能的なスマートコントラクトを開発するためのインフラを整え、ツールを追加します。
PlutusプラットフォームはCardanoブロックチェーンにネイティブなスマートコントラクト言語を提供します。Plutusを理解し十分に使いこなすためには、3つのコンセプトを理解することが必要です。
- 拡張UTXOモデル(EUTXO)
- Plutus Core(プルータスコア) - Plutusのオンチェーン部分
- Plutus Application Framework(プルータスアプリケーションフレームワーク:PAF) ‒ スマートコントラクトのやり取りを可能にするPlutusのオフチェーン部分
Plutus…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024