Cardanoを構築したIOGとエディンバラ大学がゼロ知識証明ラボを立ち上げてブロックチェーンのスケーラビリティと安全性の向上を推進
2022年 11月 18日 5 分で読めます
- 新しいZK-Labは、多くの人からブロックチェーンの機密性の未来とみなされているゼロ知識プロトコル技術の研究に重点を置く
- これは、IOGとエディンバラ大学が共同で設立した2つ目のラボ
英国エディンバラ、2022年11月18日:ゼロ知識プロトコル技術の開発に主眼を置く新たな研究ラボが、英国の名門エディンバラ大学で本日開設されました。このラボの開設は、世界有数のサステナブルなブロックチェーンプラットフォームCardanoの作成に携わるInput Output Global, Inc.(IOG)の出資によるものです。その目的は、原則的にゼロ知識証明および他のゼロ知識プロトコルを調査することです。
…
Cardanoを構築したIOGとエディンバラ大学が、暗号資産の分散化に業界標準の指標を提供する初のインデックスを作成
2022年 11月 18日 5 分で読めます
- エディンバラ分散性インデックス(EDI)が英国名門大学で開発されている方法論のベースに
- EDIはこの種の最初のインデックスであり、動きの速いブロックチェーン市場を追跡するために継続的に計算される
- EDIは不透明な中央集権的ブロックチェーンプロジェクトからユーザーを守る
英国エディンバラ、2022年11月18日:主要なプルーフオブステーク型ブロックチェーンCardanoの構築に携わるInput Output Global, Inc.(IOG)は、英国屈指の学術機関であるエディンバラ大学と提携して、ブロックチェーン業界初の「分散性インデックス」を開発します。
エディンバラ分散性インデックス(EDI…
IOGがデータを保護しテクノロジーの自由を守る新たなブロックチェーンを発表
2022年 11月 18日 6 分で読めます
- データ保護ベースのブロックチェーンMidnightが、機密性の高い商用データや個人データを保護
- 安全に話し、交流し、情報を共有するという、ユーザーの基本的な自由を保護することを目的とした業界初のプラットフォーム
- 開発者がTypescriptをはじめとするさまざまなプログラミング言語を使用して、ルールベースの機密性Dappを構築、デプロイするために設計されたプラットフォーム
英国エディンバラ、2022年11月18日:ブロックチェーンの研究および開発をリードするInput Output Global, Inc.(IOG)は、機密性の高い個人データおよび商用データを保護することにより、ユーザーがより自由かつ安全に操作できるようにするデータ保護ベースのプラットフォームを作成していることを明らかにしました。
Web…
IOGがCardanoに提供したもの
Cardanoの開発は系統的な研究に基づく意図的なイノベーションへのアプローチによって導かれています。5段階以上の開発期を経て、IOGはイノベーションや最新の機能を導入。各段階とも前段階の成果をもとに構築されています
2022年 11月 18日 20 分で読めます
本稿は、全IOGチームからの情報をもとに、Fernando SanchezとOlga Hryniukが執筆しています。
歌のない労苦は終わりのない辛い旅をしているようなものだ
はじめに
Cardanoブロックチェーンの開発は、系統的な研究に基づく意図的なイノベーションへのアプローチによって導かれています。Cardanoのイテレーションはたった7つのノードからなる連合型ネットワークから始まり、Input Output Global(IOG)は一度に1つずつ、ブロックチェーンの設計に新機能を追加してきました。5段階以上の開発期を経て、IOGはイノベーションや最新の機能を導入。各段階とも前段階の成果をもとに構築されています。
追加されるごとに、Cardano…
ZK-Lab - ゼロ知識証明の基礎を研究
高保証ブロックチェーンソリューションの提供でIOGと提携するエディンバラブロックチェーン技術研究所の姉妹ラボ、ZK-Lab
2022年 11月 18日 6 分で読めます
ブロックチェーン研究開発の大手企業Input Output Global, Inc.(IOG)は分散型技術の研究と安全なブロックチェーンソリューションの提供のために一流大学や研究ハブと協力しています。
最近のブログ記事では、IOGが、関数型正確性と研究ベースの実証に基づくブロックチェーン技術の研究に携わる諸機関およびラボからなるネットワークをいかに確立したかを論じています。今回は、ZK-Lab、すなわちゼロ知識証明(ZKP)の基礎研究を行うゼロ知識ラボを紹介します。
ZKPを取り上げる理由
分散型コンピューティングパラダイムの勃興は、主権者が自身のデータを管理する安全な手段を確立することへの関心を再燃させています。ZKPを使用すると、一方の当事者は、特定の声明または主張が真実であることを、内容を明らかにすることなく他方に証明できます。
1985年のGoldwasser, Micali, and Rackoffの論文「The Knowledge Complexity of Interactive Proof-Systems(対話型証明システムの知識の複雑性)」で最初に提案されたZKPは、科学理論家と実務家の関心を一様に捉えています。ZKPは当初、その複雑で理論的、そして基本的な側面が高く評価されていましたが、デジタルID…
最新の記事
Input | Output Research invites community feedback on mid-year research progress 筆者: Ivan Irakoze
29 August 2025
アイデアから実装まで:IO研究開発の考察 筆者: Nicolas Biri
26 August 2025
Cardanoのためのゼロ知識証明が実現:Halo2-Plutus検証ツール 筆者: Kris Bennett
26 August 2025