Input | Output（IO）のチーフサイエンティスト、サイバーセキュリティおよびプライバシー主任、エディンバラ大学ブロックチェーン技術研究所のディレクターであるAggelos Kiayias FRSE教授が2024 BCSラブレスメダル（Lovelace Medal）を受賞しました。

この賞は、エネルギー効率、相互運用性、プライバシーの問題に対処する新しいブロックチェーンプロトコルへと導いた業績に基づき、サイバーセキュリティと暗号の理論と実践への画期的な貢献を認めたものです。

ラブレスメダルは、数学者、科学者、作家として活躍したエイダ・ラブレスにちなんで名付けられ、毎年、コンピューターの進歩への顕著な貢献に対して、英国公認協会であるBCSによって授与されます。これまでの受賞者には、World Wide Webの発明家であるSir Tim Berners-Leeや、最近のノーベル賞受賞者であるSir Demis Hassabisがいます。 Aggelos Kiayias教授の研究対象は、コンピューターセキュリティ、応用暗号、分散システムであり、特にブロックチェーン技術、電子投票、安全なマルチパーティプロトコル、プライバシー、ID管理に焦点を当てています。教授は安全でスケーラブルなブロックチェーンプロトコルの発展への貢献で広く知られており、最先端のプルーフオブステークコンセンサスアルゴリズムであるCardadnoの…

Input | Output (IO) was founded on the promise of being a catalyst for change—to transform global systems for everyone, everywhere, and to champion products that are built ethically from the outset. Since our early days in 2017, these principles have remained constant. Through hard lessons, trials, triumphs, and everything in between, we’ve embraced the guiding principle that…

The previous blog post discussed formal methods and their role in blockchain development.

Building on the importance of formal methods, Input | Output (IO) demonstrates their practical application through real-world examples. By integrating these techniques into the development process, IO ensures robust, high-assurance systems that drive innovation in blockchain technology.

…

ブロックチェーンのような複雑で急速に進化する分散型システムを扱う場合、信頼性、セキュリティ、効率性は重要な要素である。

Input | Output（IO）において、形式手法はこれらの目標を達成するための礎石となる。IOは厳密な数学的アプローチにより、予測不可能なネットワーク条件、金融データのセキュリティ、最先端の研究の迅速なイテレーションの必要性など、ブロックチェーン開発特有の課題に対処する。本稿では、形式手法がIOのアプローチに不可欠である理由と、これがCardanoブロックチェーンを強化する堅牢なソリューションの構築にどのように役立つかについて探る。

形式手法とは

…

Doomの歴史概要

ゲーマーコミュニティの中で、Doomほど共感を呼ぶタイトルは少ない。不朽の名作であることに加え、ゲーム史の文脈ではDoom前とDoom以降と括ることができると言っても過言ではない。特にFPS（ファーストパーソンシューティング）ジャンルにおいて、まぎれもなく永続的な影響を与えている。

1993年にエピソード形式で発売されたDoomは大売れし、数々の賞を受賞し、アマチュアのゲーマーやプログラマーが新たなゲームモード、マップ、武器などを作成して膨張を続けるDoomの世界に付け加えていき、たった一作でMODコミュニティという新しい現象を生み出すことになった。Doomシリーズの成功は現在に至るまで続いており、2025年には最新作『Doom: The Dark Ages』が発売される予定である。

ゲーム界におけるデスマッチの誕生

Doomの多くの功績の一つは、デスマッチ、すなわちフリーフォーオール形式を普及させたことである。デスマッチでは、ルールに応じて、一人のプレイヤーだけが所定のキル数（またはフラグ）に達するか、ラウンドの最後まで生き残った最後のプレイヤーになるまで、複数のプレイヤーがアリーナで対戦する。「デスマッチ」という用語は1950年代にまで遡ることができる。当時はレスリングの試合を表すために時おり使用された。しかし、Doomはこの言葉を急速に普及させた。この言葉をDoomに使用したのは、一般にゲームデザイナーの一人であるJohn Romeroだとされている。実際、彼はFPSという意味でデスマッチという用語を最初に使用したと言われている…