@hix _coffeepool

カルダノ用語集

ハスケル Haskell

カルダノの構築で使用されているプログラム言語。1987年頃、P .Wadler(現IOG上級研究員)とS .Blottによって構想が提案され、1990年にversion1.0として発表された。関数のみによって構築される「純粋関数型プログラミ...
カルダノ用語集

純粋関数型プログラミング言語 Purely functional programming language

全ての処理を純粋関数のみで記述する言語。一般的なプログラミング言語は、PCに命令を実行させる「命令型」だが、「純粋関数型」では数学的な関数を軸にプログラムを構築する。 プログラムでは、同じ関数に同じ値を入れると、必ず同じ値を返す「参照透過性...
カルダノ用語集

イーサリアムバーチャルマシン The Ethereum virtual machine

イーサリアムのスマートコントラクトやdAppsを開発・実行するための分散型の仮想マシン。V. Buterinが構想し、G.WoodとG.Colvinとともに開発した。使用言語はイーサリアム専用のSolidity。EVMは現在、スマートコント...
カルダノ用語集

ウォレット Wallet

暗号通貨において、ブロックチェーンの特定の資産アドレスにアクセスする「秘密鍵」を管理するアプリのこと。本来、暗号通貨では秘密鍵を入力し送金などを行うが、非常に長く複雑な文字列であるため、アプリによって容易に操作可能にするために開発された。ウ...
カルダノ用語集

スケーラビリティ Scalability

あるシステムの動作規模が拡大していく場合に、その拡大に対応できる能力のこと。コンピュータ工学では、スケーラビリティはPCやネットワーク、アルゴリズム、プロトコル、プログラムやアプリケーションなどの能力に依存する。 わかりやすい考え方としては...
カルダノ用語集

ステークプール Stakepool

(SP)カルダノのプロトコルにおいて、P2Pネットワークの参加者としてトランザクションの承認を行うサーバのセットのこと。具体的には、ウロボロスによって割り当てられた日時に、トランザクション情報を新規ブロックとして書き込む役割を負う。 ステー...
カルダノ用語集

ウロボロス Ouroboros

カルダノのプルーフ・オブ・ステーク(PoS)のプロトコル。ブロックチェーン業界において最初にピアレビューを受けたモデルによって構築されている。数学的に証明されたモデルを基盤に、行動心理学や経済心理学などが盛り込まれて設計されていた。ウロボロ...
カルダノ用語集

エイダ ADA

カルダノのプロトコルで使用される基軸トークン。単位はADAもしくは₳。カルダノでのトランザクションを行うために使用される。最小単位はLovelace(ラブレス)で、₳1=1,000,000Lovelaces。エイダの名称は、イギリスの女性数...
カルダノ用語集

プルーフ・オブ・ステーク Proof of Stake

P0S。暗号通貨プロトコルにおけるコンセンサス・アルゴリズムの一種で、各ノードのステーク量とランダム性を組み合わせてネットワークのコンセンサスをはかる仕組み。カルダノ においては、・ノード自身の持つADA保有量・ノードに「委任(delega...
カルダノ用語集

ブロック生成スケジュール Block schedule

カルダノのPoSにおいて、各エポック内でのブロック生成のスケジュール。各エポックが開始する1日半前に決定され、そのスケジュールに通りにブロック生成が行われる。 ブロック生成スケジュールでは、 ・そのエポック内における全てのブロック生成タイミ...