新興の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…

前回のブログでは、Cardanoにスマートコントラクトサポートを導入するプロトコルアップグレード、Alonzoを紹介しました。AlonzoはPlutusを使用した機能的なスマートコントラクトを開発するためのインフラを整え、ツールを追加します。

PlutusプラットフォームはCardanoブロックチェーンにネイティブなスマートコントラクト言語を提供します。Plutusを理解し十分に使いこなすためには、3つのコンセプトを理解することが必要です。

• 拡張UTXOモデル（EUTXO）
• Plutus Core（プルータスコア） - Plutusのオンチェーン部分
• Plutus Application Framework（プルータスアプリケーションフレームワーク：PAF） ‒ スマートコントラクトのやり取りを可能にするPlutusのオフチェーン部分

Plutus…

3月初頭、Mary（メアリー）が実装されました。これはユーザーがCardanoで取り引きするユニークなトークンを作成することを可能にするマルチ資産プロトコルです。トランザクションメタデータ、さらに12月のAllegra（アレグラ）によるトークンロックの実装、そしてネイティブトークンの作成と、私たちはCardanoを主要なスマートコントラクトプラットフォームとして確立させる素地を築いてきました。

次のプロトコルアップグレードであるAlonzo（アロンゾ）は、こうした機能の上に構築されます。Alonzoはハードフォークコンビネーター技術を使用して実装され、今からおよそ4か月後にスマートコントラクト（デジタル契約）をCardanoに追加します。スマートコントラクトの作成、および分散型金融（DeFi）向けの分散型アプリケーション（DApp…