T

MENU

カルダノ:ホスキンソン、スマート契約向けに新たなDSLを発表&DeFiに注力

f:id:takassan7:20200902095717j:plain

https://richman.hatenablog.com/takassan

ご視聴ありがとうございます!

ももです!

今回は、カルダノについての

最新ニュースです!

ぜひ、最後まで見てください👀

 


カルダノ:ホスキンソン、スマート契約向けに新たなDSLを発表&DeFiに注力

カルダノ:ホスキンソン、スマート契約向けに新たなDSLを発表&DeFiに注力

Charles Hoskinson氏は、Cardanoが認証契約を可能にする

スマートコントラクト仕様のDSL(Domain Specific Language)

を開発することを明らかにした。
また、IOHKのCEOは、CardanoのDeFiへの取り組みを強化することを

明らかにしており、

早ければ今月末にも具体的な発表が行われる予定です。
新たなサプライズAMAでは、IOHKのチャールズ・ホスキンソンCEOが

Cardanoエコシステムの新しい計画を発表し、

ここ数日の進捗状況について語った。

Cardanoの発明者が説明したように、

Cardanoは完全な分散型ネットワークへの道を歩んでいます。現在の時代では、

すでにステークプールがブロック生産の24%を占めており、

76%はIOHKのフェデレートされたノードによって検証されている。

さらに、IOHKは9月にカルダノのピアツーピアガバナンスをロールアウトする。

これにより、Hoskinson氏が述べたように、パフォーマンスがさらに向上し、

ネットワークがさらに分散化されることになります。

これにより、特定の点でパフォーマンスが大幅に向上します。

また、ステーク・プール・オペレーターや当社からのリレーを

使用しなくなったことで、完全に分散化されたネットワークとなります。

さらに、委任ポートフォリオとステーク・ギルドは、

シェリー時代にすでに議論されています。

しかし、Hoskinson氏によると、最優先事項は現在のところ

「一対多」の委任であり、実装は「できるだけ早く」とのことです。

並行して、Goguenチームは、ネイティブアセット、Plutus基盤、

そして最終段階ではPlutusアプリケーションフレームワークの3段階の展開に

取り組んでいます。

ロールアウトの最後の2つのフェーズについて、

Hoskinson氏は次のように説明しています。

Plutusの基盤は、JVMとJavaのようなもので、ベースとなる基盤であり、

言語のコアとなるものです。

スマートコントラクトを書くことができるようになりますが、

これはあまりユーザーフレンドリーではないでしょう。

しかし、Javaを持つためにはJVMが必要です。....

だから、最初にそれをロールアウトして、

その上に美しい開発体験を置くことは理にかなっています。

Hoskinson氏はまた、IOHKがスマートコントラクト仕様のDSL(Domain Specific Language)

を開発することを発表しました。

これにより、開発者は設計と実装を一致させることができるため、

設計と比較して実装が正しいことを証明することができるようになるため、

認定されたスマートコントラクトという選択肢を持つことができるようになるという。Hoskinson氏によると、これはすでに何度か行われており、

例えば、認証済みのERC20トークンなどがその例です。

しかし、現在はいくつかの課題があります。

それは、ツールがあまり良くなく、多くのドメインの専門知識を必要とし、

また、ツールが非常に重くなるため、一般的に非常に難しいということです。

そこで、契約書と連動して動作する軽量な仕様DSLを構築し、

それに関するプロパティを検証する方法について多くの議論が行われています。

モデルチェックとクイックチェックのために契約が正しいかどうかを検証します。

Hoskinsonが説明したように、

これはIOHKがすでに開発しているスマートコントラクトのための言語である

Marloweとは独立して行われる。

カルダノが注目する分散型金融
また、ホスキンソン氏は最近、分散型金融(DeFi)

の話題に多くの時間を投資していることを認めた。

IOHKのCEOは、計画に加えて、Cardanoエコシステムのための安定したコインを

開発することを目的としたEmurgoとの提携にも言及した。

これはまずErgoブロックチェーン上でテストされ、

その後Cardanoエコシステムに移行される予定です。

また、Hoskinson氏は付け加えた。

これはアルゴリズム的な安定コインになるだろう。

MakerDAOよりもかなり優れたものになると考えています。

これは現在進行中の多くのDeFiの一つに過ぎません。

しかし、それについてはもう少し後になってから発表する予定です。

現実は先発者有利が実はデフィでは不利なのです。

それらのネットワーク効果は、多くの場合、

ミスや傷や爆発で覆われています。

実際には、DeFiのセカンドムーバーのカテゴリーでは、

模倣者になりたいと思っているでしょうし、

ファーストムーバーのアーキテクチャやデザインは柔軟性に欠けているので、

大量に淘汰されるでしょう。

 

以上、海外ブログ記事からの

情報シェアでした!

よかったら、

読者登録 & YouTubeのチャンネル登録

よろしくお願いします😊

ももでした!