Kachina:プライバシーを保護するスマートコントラクト
zk-SNARKsを活用して、分散性という特性を損なうことなくプライバシーを保護するスマートコントラクト機能を可能に
2022年 8月 5日 6 分で読めます
スマートコントラクトは、分散型の手段で通貨やデータの取引を望む2組以上の当事者が、複雑なやり取りを表現するための標準となるアプローチを提供します。スマートコントラクトは実質的にブロックチェーン上で自動化されたデジタル契約です。コードで作成されるスマートコントラクトは、事前設定された条件が満たされると、契約で強制されたトランザクションを追跡、検証、実行します。開発者はプログラミング言語を使用して、このような条件を表現するスマートコントラクトを作成します。コントラクトのコードは分散型ブロックチェーンネットワークに保存、分散され、透明性、そして希望に応じて不可逆性を持つことになります。
本稿では、Input Output Global(IOG)がエディンバラ大学と共同開発したプライバシーを保護するスマートコントラクトソリューションKachina…
Cardanoのスケーラビリティを支える研究の分析
IOG研究の詳細4 -レイヤー1とレイヤー2のソリューションがスピードと回復性を増したブロックチェーンを生み出す仕組みとは
2022年 7月 19日 13 分で読めます
はじめにこちらをお読みください。
- パート1:Cardanoの基盤となる研究 概要
パート2:Cardanoでスマートコントラクトのサポートを可能にした研究の概要
パート3:研究概要:トークン、ステーブルコイン、 手数料
以前のブログでは、Cardanoの多機能台帳による表現力豊かなスマートコントラクトとネイティブ資産のサポートを可能にする基礎研究を掘り下げました。
Basho開発期の一環として、Cardanoは、スケーラビリティと相互運用性を高めるためのアップグレードと最適化を着実に進めています。ブログ記事「2022年Cardanoをスケーリングする方法」では、Cardanoのスケーラビリティの目標を考察するとともに、相互運用性とサイドチェーンの役割についても議論しました。本稿では、これらの漸次的強化を可能にする研究に注目します。
Cardanoのスケーリング
…
研究概要パート3:トークン、ステーブルコイン、手数料
IOGの研究により、の実装をマルチ資産のサポート、ステーブルコインの実装、そして手ごろな手数料がCardanoで実現
2022年 7月 7日 9 分で読めます
はじめにこちらをお読みください。
- パート1:Cardanoの基盤となる研究 概要
- パート2:Cardanoでスマートコントラクトのサポートを可能にした研究の概要
以前の記事では、Cardanoの革新的なEUTXOモデルと、これがいかに表現力の有るスマートコントラクトをCardanoで実現するかについて説明しました。今回は、マルチ資産サポートとさまざまなユーザー定義のトークンを可能にする研究に注目し、Babelフィーのメリットについて紹介します。
マルチ資産サポート
…
Cardano EVMサイドチェーン
Cardano EVMサイドチェーンはIOGが配信する完全分散型のスケーラビリティソリューション。その機能、メリット、配信プランとは
2022年 7月 6日 9 分で読めます
Cardanoは成長しています。拡大しています。Vasilアップグレードは、CardnaoのさまざまなDAppおよびDeFi製品を効率的に開発および利用する機会をさらに広げます。
サイドチェーンとレイヤー2ソリューションは、Cardanoに構築するプロジェクトのスケーラビリティを拡大するためのカギとなります。本稿では、どのようなサイドチェーンが、相互関連するソリューションのエコシステムにどのように貢献するかについて説明します。また、Input Output Global, Inc.(IOG)が構築したEVMサイドチェーンの個性的な機能について詳しく紹介します。
相互運用性
以前のブログで、ブリッジ、サイドチェーン、AGIX ERC20コンバーターが、Cardano…
Cardanoブロックチェーンは、瞬く間に分散型アプリケーション(DApp)と分散型金融(DeFi)ソリューション開発の拠点となりつつあります。すでに100近いプロジェクトがライブで、1000を超えるプロジェクトが構築中。Cardanoのトランザクションデータベースは拡大を続けています。
…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024