簡(jiǎn)介

ADA，中文稱為艾達(dá)幣，是一種加密貨幣，運(yùn)行在卡爾達(dá)諾（Cardano）區(qū)塊鏈平臺(tái)，是基于權(quán)益證明算法Ouroboros開發(fā)的。盡管比特幣和Cardano SL之間存在相似之處，但這兩種加密貨幣之間也存在許多差異。最顯著的區(qū)別是，比特幣是一種工作量類型的加密貨幣證明，而Cardano SL利用股權(quán)證明方法來達(dá)成共識(shí)。艾達(dá)幣總量450億，預(yù)售期將投入300億個(gè)艾達(dá)幣，其中250億個(gè)用于首次幣發(fā)行（Initial Coin Offering，ICO），其余50億用于開發(fā)公司運(yùn)營(yíng)公司的資金支持。因?yàn)榭倲?shù)450億個(gè),還有150億個(gè)ADA幣剩余，這部分將會(huì)不斷發(fā)放。區(qū)塊獎(jiǎng)勵(lì)將以每3.5分鐘發(fā)放一次，發(fā)放頻率參考如下：最初每個(gè)區(qū)塊產(chǎn)生2000個(gè)艾達(dá)幣，共計(jì)3,744,961區(qū)塊；第二階段每個(gè)區(qū)塊產(chǎn)生1000個(gè)艾達(dá)幣，共計(jì)3,744,961區(qū)塊；第三階段每個(gè)區(qū)塊產(chǎn)生500個(gè)艾達(dá)幣，共計(jì)3,744,961區(qū)塊。艾達(dá)幣（ADA）的優(yōu)點(diǎn)如下。

Ouroboros安全系統(tǒng)可確保卡爾達(dá)諾功能的數(shù)學(xué)準(zhǔn)確性。使用此算法，可以在查找區(qū)塊時(shí)顯著降低能源成本。這意味著工作進(jìn)行得非?？?，同時(shí)質(zhì)量也沒有受到影響。

Haskell是一種特殊的編程語(yǔ)言，可確保更好地保護(hù)資產(chǎn)和用戶的敏感數(shù)據(jù)。

機(jī)會(huì)廣泛。在卡爾達(dá)諾網(wǎng)絡(luò)中，您不僅可以進(jìn)行快速交易并使用數(shù)字資產(chǎn)-任何用戶都可以創(chuàng)建和執(zhí)行智能合約，這將保護(hù)他的匯款和其他與財(cái)務(wù)相關(guān)的操作。

出色的交易速度。即使進(jìn)行即時(shí)交易，卡爾達(dá)諾也不收取大筆傭金。

用戶完全匿名。

硬分叉系統(tǒng)允許修復(fù)網(wǎng)絡(luò)錯(cuò)誤而不會(huì)出現(xiàn)故障。

卡爾達(dá)諾

卡爾達(dá)諾（Cardano）是一個(gè)區(qū)塊鏈平臺(tái)，具有比尚未開發(fā)的任何協(xié)議更高級(jí)的功能，并且是第一個(gè)從科學(xué)原理發(fā)展而來的平臺(tái)。龐大的專家團(tuán)隊(duì)和來自世界各地的研究人員從解構(gòu)加密貨幣的概念開始。IOHK團(tuán)隊(duì)結(jié)合了權(quán)益證明算法Ouroboros，采用了由同行評(píng)審學(xué)術(shù)研究驅(qū)動(dòng)的第一個(gè)原理方法，從頭開始構(gòu)Cardano。這種獨(dú)特的協(xié)作努力穩(wěn)定地構(gòu)建了一種精確的加密貨幣，該產(chǎn)品匯集了諸如分布式系統(tǒng)，機(jī)制設(shè)計(jì)和密碼學(xué)等學(xué)科。艾達(dá)幣是第一個(gè)基于Haskell代碼的加密貨幣，這是一種工業(yè)強(qiáng)度產(chǎn)品，可提供關(guān)鍵任務(wù)系統(tǒng)必需的彈性，在這種情況下，可以確保投資。

卡爾達(dá)諾的多層協(xié)議執(zhí)行高級(jí)功能，并在其基礎(chǔ)上具有結(jié)算層，該結(jié)算層與控制層完美地鏈接在一起。結(jié)算層將有一個(gè)帳戶單位，而控制層將運(yùn)行智能合約。將對(duì)控制層進(jìn)行編程，以識(shí)別身份，幫助合規(guī)并允許將其列入黑名單?？傮w而言，該協(xié)議的設(shè)計(jì)旨在保護(hù)用戶的隱私權(quán)，同時(shí)還要考慮監(jiān)管機(jī)構(gòu)的需求。這樣做，卡爾達(dá)諾項(xiàng)目以細(xì)微而有效的方式平衡這些要求的協(xié)議，開創(chuàng)了一種加密貨幣方法。盡管卡爾達(dá)諾平臺(tái)已經(jīng)構(gòu)成了堅(jiān)實(shí)的基礎(chǔ)，也需要對(duì)其進(jìn)行發(fā)展并適應(yīng)不斷變化的需求。因此，卡爾達(dá)諾項(xiàng)目團(tuán)隊(duì)設(shè)計(jì)了可以通過軟叉進(jìn)行升級(jí)的系統(tǒng)，并正在安裝財(cái)務(wù)系統(tǒng)，以確保協(xié)議的可持續(xù)性?？栠_(dá)諾項(xiàng)目通過以下方法保持其競(jìng)爭(zhēng)性：

學(xué)術(shù)研究

IOHK與世界領(lǐng)先的基礎(chǔ)研究學(xué)者合作，其中大多數(shù)工作都接受過學(xué)術(shù)同行的評(píng)估，與許多其他區(qū)塊鏈不同，Cardano不依賴于從比特幣或其他加密貨幣系統(tǒng)獲得的技術(shù)基礎(chǔ)。所有主要組件和功能領(lǐng)域的工作都從這樣的研究開始，具有切實(shí)可行的目標(biāo)和實(shí)現(xiàn)目標(biāo)的最佳方法。

原型設(shè)計(jì)

研究與合作團(tuán)隊(duì)的技術(shù)原型設(shè)計(jì)團(tuán)隊(duì)嘗試實(shí)施研究中描述的功能狀語(yǔ)從句：方法。目標(biāo)是在學(xué)習(xí)有關(guān)實(shí)際技術(shù)和功能實(shí)施課程的同時(shí)將理論變?yōu)楝F(xiàn)實(shí)，從而制定用于構(gòu)建實(shí)際產(chǎn)品的技術(shù)規(guī)范。

技術(shù)規(guī)范

在與原型設(shè)計(jì)的協(xié)作下，根據(jù)研究和原型設(shè)計(jì)結(jié)果制定和發(fā)布技術(shù)規(guī)范，列出預(yù)期的功能和行為。這些規(guī)范最終的代碼實(shí)現(xiàn)符合研究的最初嘗試，實(shí)現(xiàn)所需的功能，并且在技術(shù)上上可行。

形式化開發(fā)方法

IOHK工程師充分運(yùn)用形式化開發(fā)方法：嚴(yán)格的數(shù)學(xué)技術(shù)，通過測(cè)試軟件從而完全完成預(yù)期工作。這種嚴(yán)格標(biāo)準(zhǔn)通常只應(yīng)用于高風(fēng)險(xiǎn)領(lǐng)域，如航空電子軟件，航天飛行系統(tǒng)或大容量銀行軟件，IOHK率先將其嵌入?yún)^(qū)塊鏈產(chǎn)業(yè)的Cardano開發(fā)。

函數(shù)式編程

IOHK采用函數(shù)式編程語(yǔ)言，最著名的是哈斯克爾。與其他語(yǔ)言相比，函數(shù)式編程語(yǔ)言不易出現(xiàn)歧義和人為錯(cuò)誤，而且從數(shù)學(xué)的角度來看，它們易于測(cè)試驗(yàn)證狀語(yǔ)從句，有助于加強(qiáng)IOHK高可信度形式化的開發(fā)。