カルダノ用語集ゼロ知識証明 Zero-Knowledge Proof
略：ZKP。ゼロ知識プロトコルとも。暗号学において、証明者（prover）が他の検証者（validator）に対して、証明者は「その文が本当に真である」という事実以外の追加情報を伝達せずに
サ行
カルダノ用語集
カルダノ用語集ステートチャネル State Channel
ステートチャネルは、レイヤー1のスケーラビリティを拡張するソリューションの１つ。従来のオフチェーンソリューションである「ペイメントチャネル」を拡張し、オフチェーンチャネル上でスマートコントラクトをサポートする。 ペイメントチャネルは...
カルダノ用語集サイドチェーン Side Chain
サイドチェーンは、レイヤー1と連携しながら、独自のコンセンサスルールによって稼働する「別のチェーン」のこと。レイヤー1との資産の相互転送を可能にし、レイヤー1で採用されにくい機能の提供を行うことができる。また、シンプルなコンセンサスメカニ...
カルダノ用語集カルダノ改善提案 Cardano Improvement Proposals (CIP)
CIPとは、Cardano Improvement Proposals（カルダノ改善提案、リンクよりgithubへ）の略で、カルダノに関するあらゆる問題点を解決するための具体的な方法を取りまとめドキュメント形式でまとめたもの。 C...
カルダノ用語集スロット Slot
ウロボロス・プラオスによって定義された時間単位で、1秒＝1スロットと定義されている。現在の設定では、20スロットあたり、1スロットリーダーが割り当てられ、ブロック生成が行われている。 👈一覧へ戻る Detail
カルダノ用語集シェリー時代 Shelley era
カルダノロードマップの第二段階。「分散化」を主題とし、IOHKからカルダノコミュニティにPoSの運営を移転することを目標とした。「Incentivize Testnet（ITN）」が公開され、有志のノードとホルダーによってテストネットの...
カルダノ用語集スマートコントラクト Smart contract
「合意条件」に従って、規定されたイベントやアクションを自動的に実行、制御、文書化するプログラムや、取引プロトコルのこと。互いの信頼構築や第三者の仲介などを必要とすることなく、安全性の高い条件付きの取引を行うことを可能にする。 スマートコン...
カルダノ用語集純粋関数型プログラミング言語 Purely functional programming language
全ての処理を純粋関数のみで記述する言語。一般的なプログラミング言語は、PCに命令を実行させる「命令型」だが、「純粋関数型」では数学的な関数を軸にプログラムを構築する。 プログラムでは、同じ関数に同じ値を入れると、必ず同じ値を返す「参照透過...
カルダノ用語集スケーラビリティ Scalability
あるシステムの動作規模が拡大していく場合に、その拡大に対応できる能力のこと。コンピュータ工学では、スケーラビリティはPCやネットワーク、アルゴリズム、プロトコル、プログラムやアプリケーションなどの能力に依存する。 わかりやすい考え方として...
カルダノ用語集ステークプール Stakepool
（SP）カルダノのプロトコルにおいて、P2Pネットワークの参加者としてトランザクションの承認を行うサーバのセットのこと。具体的には、ウロボロスによって割り当てられた日時に、トランザクション情報を新規ブロックとして書き込む役割を負う。 ステ...