1990年代後半にプリペイド式が登場して以来、携帯電話は急速に拡大しています。しかし、世界人口の半分は、未だ接続手段を持ちません。その数およそ40億人。そのほとんどが、恵まれない地域、または辺境地に住んでいます。

モバイルネットワークにアクセスできない人がいる理由はさまざまありますが、インフラの欠如はその主たる要因です。ネットワークプロバイダーは、アクセスが難しい地域に電話マストを建てても儲けにならないと考えているためです。これが実行されるまで、経済的に苦しい立場の人々の多くが、不利な立場に取り残されます。

World Mobile Chain（WMC）は、この地ならしをしようとしています。2018年にロンドンで設立されたWorld Mobile…

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

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

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

…