Hyperledger Identus – 過去、現在、未来
Linux Foundationの分散型トラストプロジェクトであるHyperledger Identusが、分散型アイデンティティを活用して、より安全でプライベート、効率的な未来を実現する方法を探る
2025年 1月 27日 6 分で読めます
IDは理論上は単純に見えるかもしれませんが、現実ははるかに複雑です。あなたやあなたの愛する人たちの個人情報へのアクセスをコントロールしているのは誰でしょうか。それは本当に安全でしょうか。他に誰がアクセスできますか、そしてもしそれが悪人の手に渡ったらどうなるのでしょう。
ID管理は、こうした課題に対処するために飛躍的な進化を遂げてきました。出生証明書や社会保障番号のような伝統的な方法は、指紋や顔認識のような代替識別方法へと、徐々に道を譲ってきました。
こうした進歩にもかかわらず、大きな課題は残っています。人々は依然として、機密情報の保護を中央集権化されたプロバイダーや政府に依存しています。しかし、個人データとオンラインIDに対する完全な管理権を求める声は高まってきています。ここに、ブロックチェーン技術と、LF…
Cardanoはブロックチェーン技術のもっとも革新的な要素を特徴としている。例えばHydraやMithrilなどのレイヤー2ソリューションは、スケーラビリティを強化するために設計された。あるいはCardanoのプルーフオブステーク型コンセンサスプロトコルのOuroborosは、さまざまな「フレーバー」(Genesis、Praos、Perasなど)を提供し、敵対的な状況下でもブロックチェーンが効率的かつ安全であることを保証する。
しかし、Cardanoを同時代のチェーンと区別する要素が1つある。それは、拡張未使用トランザクションアウトプット(EUTXO)会計モデルである。2021年9月のAlonzoアップグレードで導入されたEUTXOは、ビットコインによって開拓された「基本的な」UTXO…
Input | Outputのチーフサイエンティストがラブレスコンピューティング賞を受賞
IO Researchが引用回数10,000回を突破し、世界をリードする学術的ブロックチェーンネットワークになったことを受け、Aggelos Kiayias教授がコンピューティングを進歩させたとして名誉あるBCSラブレスメダル2024を受賞
2024年 12月 3日 16 分で読めます
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の…
Delivering change in Ethiopia: lessons and reflections
2024年 11月 28日 17 分で読めます
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…
Applying formal methods at Input | Output: real-world examples
In a landscape where error margins are costly, IO leverages formal methods to deliver secure, mathematically grounded blockchain solutions. In the second of a two-part blog on formal methods at IO, we take a deeper dive into real-world implementation examples
2024年 11月 26日 8 分で読めます
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.
…
最新の記事
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者: Jann Müller
12 March 2025
Cardano憲法:制定会議から批准までの道のり 筆者: Fernando Sanchez
27 February 2025
Plutus TxがPlinthに衣替え 筆者: Ziyang Liu
20 February 2025