ADA，中文稱為(wei)艾達(da)(da)幣(bi)(bi)，是一(yi)種(zhong)加密貨幣(bi)(bi)，運行在卡爾(er)達(da)(da)諾（Cardano）區(qu)(qu)塊(kuai)(kuai)鏈平臺(tai)，是基(ji)于權(quan)益證明(ming)算法(fa)Ouroboros開發(fa)的。盡管比特(te)幣(bi)(bi)和Cardano SL之間(jian)存在相(xiang)似(si)之處(chu)，但這兩種(zhong)加密貨幣(bi)(bi)之間(jian)也存在許多(duo)差異。最(zui)顯著的區(qu)(qu)別是，比特(te)幣(bi)(bi)是一(yi)種(zhong)工作量類型的加密貨幣(bi)(bi)證明(ming)，而(er)Cardano SL利(li)用股權(quan)證明(ming)方法(fa)來(lai)達(da)(da)成(cheng)共識。艾達(da)(da)幣(bi)(bi)總(zong)量450億，預售期(qi)將投入300億個(ge)艾達(da)(da)幣(bi)(bi)，其(qi)中250億個(ge)用于首(shou)次幣(bi)(bi)發(fa)行（Initial Coin Offering，ICO），其(qi)余50億用于開發(fa)公(gong)(gong)司運營公(gong)(gong)司的資(zi)金(jin)支持(chi)。因為(wei)總(zong)數450億個(ge),還有150億個(ge)ADA幣(bi)(bi)剩余，這部分將會(hui)不斷(duan)發(fa)放(fang)。區(qu)(qu)塊(kuai)(kuai)獎(jiang)勵將以每3.5分鐘發(fa)放(fang)一(yi)次，發(fa)放(fang)頻率參考(kao)如下(xia)：最(zui)初(chu)每個(ge)區(qu)(qu)塊(kuai)(kuai)產生2000個(ge)艾達(da)(da)幣(bi)(bi)，共計3,744,961區(qu)(qu)塊(kuai)(kuai)；第(di)二(er)階段每個(ge)區(qu)(qu)塊(kuai)(kuai)產生1000個(ge)艾達(da)(da)幣(bi)(bi)，共計3,744,961區(qu)(qu)塊(kuai)(kuai)；第(di)三階段每個(ge)區(qu)(qu)塊(kuai)(kuai)產生500個(ge)艾達(da)(da)幣(bi)(bi)，共計3,744,961區(qu)(qu)塊(kuai)(kuai)。艾達(da)(da)幣(bi)(bi)（ADA）的優點如下(xia)。
Ouroboros安(an)全系統(tong)可(ke)確保(bao)卡爾(er)達(da)諾功能的數學準(zhun)確性(xing)。使用此算法(fa)，可(ke)以在查(cha)找區塊時(shi)顯著降(jiang)低能源成本。這意味著工作進行得非常快，同時(shi)質(zhi)量也(ye)沒有(you)受到影響。
Haskell是一種特殊(shu)的編程語言，可確保更好地保護資產(chan)和用戶的敏感(gan)數據。
機(ji)會廣泛。在卡爾達諾(nuo)網(wang)絡中，您不僅(jin)可(ke)(ke)以進行快速交易并使用數字資(zi)產(chan)-任何用戶都(dou)可(ke)(ke)以創建和(he)執行智能合(he)約，這將保護他(ta)的(de)匯款(kuan)和(he)其他(ta)與財(cai)務相關的(de)操作。
出色的(de)交易速度。即使(shi)進行即時交易，卡(ka)爾達(da)諾也(ye)不收(shou)取大筆傭金。
用戶完全匿名。
硬分叉系(xi)統允許(xu)修復網絡(luo)錯誤而不會出現故障(zhang)。
卡(ka)爾達(da)諾（Cardano）是(shi)一(yi)個區(qu)塊鏈平臺，具有比(bi)尚(shang)未開發(fa)的(de)(de)(de)任何協議更高(gao)級的(de)(de)(de)功(gong)能，并且是(shi)第一(yi)個從(cong)科學原(yuan)理發(fa)展而(er)來的(de)(de)(de)平臺。龐大(da)的(de)(de)(de)專家團隊和來自世界各地的(de)(de)(de)研(yan)究人員從(cong)解構加(jia)密貨(huo)幣(bi)(bi)的(de)(de)(de)概念開始。IOHK團隊結合(he)了(le)權益證明(ming)算法Ouroboros，采用了(le)由同行評(ping)審學術研(yan)究驅動的(de)(de)(de)第一(yi)個原(yuan)理方(fang)法，從(cong)頭開始構Cardano。這(zhe)種獨特(te)的(de)(de)(de)協作努力穩定地構建了(le)一(yi)種精確的(de)(de)(de)加(jia)密貨(huo)幣(bi)(bi)，該產品(pin)匯集了(le)諸如分布(bu)式(shi)系統(tong)，機制(zhi)設計和密碼(ma)學等(deng)學科。艾(ai)達(da)幣(bi)(bi)是(shi)第一(yi)個基于(yu)Haskell代(dai)碼(ma)的(de)(de)(de)加(jia)密貨(huo)幣(bi)(bi)，這(zhe)是(shi)一(yi)種工(gong)業強度產品(pin)，可提供(gong)關鍵任務系統(tong)必需的(de)(de)(de)彈性，在(zai)這(zhe)種情況下，可以(yi)確保投資(zi)。
卡(ka)(ka)爾(er)(er)(er)(er)達(da)諾(nuo)的(de)(de)多層(ceng)協(xie)議(yi)執行高級(ji)功能(neng)，并(bing)在(zai)(zai)其基礎上具有結算層(ceng)，該(gai)結算層(ceng)與控(kong)制(zhi)層(ceng)完(wan)美地鏈接(jie)在(zai)(zai)一(yi)起。結算層(ceng)將有一(yi)個帳(zhang)戶(hu)單位，而(er)控(kong)制(zhi)層(ceng)將運(yun)行智(zhi)能(neng)合(he)約。將對控(kong)制(zhi)層(ceng)進(jin)行編程，以(yi)識(shi)別身(shen)份(fen)，幫助合(he)規并(bing)允(yun)許(xu)將其列入黑名單。總體而(er)言(yan)，該(gai)協(xie)議(yi)的(de)(de)設計(ji)旨在(zai)(zai)保(bao)(bao)護用戶(hu)的(de)(de)隱私(si)權，同(tong)時還要(yao)考慮監(jian)管機(ji)構的(de)(de)需求。這樣做，卡(ka)(ka)爾(er)(er)(er)(er)達(da)諾(nuo)項(xiang)目以(yi)細微(wei)而(er)有效的(de)(de)方(fang)式平衡這些要(yao)求的(de)(de)協(xie)議(yi)，開創了(le)一(yi)種加(jia)密貨幣(bi)方(fang)法。盡管卡(ka)(ka)爾(er)(er)(er)(er)達(da)諾(nuo)平臺已經構成了(le)堅實的(de)(de)基礎，也需要(yao)對其進(jin)行發展并(bing)適(shi)應不斷變化的(de)(de)需求。因此，卡(ka)(ka)爾(er)(er)(er)(er)達(da)諾(nuo)項(xiang)目團隊設計(ji)了(le)可以(yi)通過軟叉進(jin)行升級(ji)的(de)(de)系統(tong)，并(bing)正在(zai)(zai)安裝財務系統(tong)，以(yi)確(que)保(bao)(bao)協(xie)議(yi)的(de)(de)可持續性。卡(ka)(ka)爾(er)(er)(er)(er)達(da)諾(nuo)項(xiang)目通過以(yi)下方(fang)法保(bao)(bao)持其競(jing)爭性：
IOHK與世(shi)界領(ling)(ling)先的(de)(de)基礎研究(jiu)學者(zhe)合(he)作，其(qi)(qi)中大(da)多數工(gong)作都接受過(guo)學術(shu)(shu)同行(xing)的(de)(de)評估，與許(xu)多其(qi)(qi)他區塊鏈(lian)不(bu)同，Cardano不(bu)依賴于從比特(te)幣或其(qi)(qi)他加密貨幣系統(tong)獲得的(de)(de)技術(shu)(shu)基礎。所有(you)主要組件和功(gong)能領(ling)(ling)域的(de)(de)工(gong)作都從這樣的(de)(de)研究(jiu)開始，具有(you)切實(shi)可行(xing)的(de)(de)目標和實(shi)現(xian)目標的(de)(de)最(zui)佳方法。
研(yan)究與合(he)作團隊的(de)(de)技術原型(xing)設(she)計(ji)團隊嘗試實(shi)施(shi)研(yan)究中描述的(de)(de)功(gong)(gong)能(neng)狀語從句(ju)：方(fang)法。目標是在學習有關實(shi)際技術和功(gong)(gong)能(neng)實(shi)施(shi)課程的(de)(de)同時將理論變(bian)為現實(shi)，從而制定用于構建實(shi)際產品的(de)(de)技術規范。
在與(yu)原(yuan)型設計(ji)的(de)協作下(xia)，根(gen)據研(yan)究和(he)原(yuan)型設計(ji)結(jie)果制定和(he)發布(bu)技術(shu)規(gui)范，列出(chu)預期的(de)功能(neng)和(he)行為。這些規(gui)范最終的(de)代碼(ma)實現符合研(yan)究的(de)最初嘗試，實現所(suo)需的(de)功能(neng)，并且在技術(shu)上上可行。
IOHK工程(cheng)師充分運用形式化開發方法：嚴格的數(shu)學技(ji)術，通過測試軟(ruan)(ruan)件(jian)從而完全(quan)完成預期工作。這種嚴格標(biao)準通常(chang)只應用于高風險領域，如航空(kong)電(dian)子軟(ruan)(ruan)件(jian)，航天飛行系(xi)統或大(da)容量銀行軟(ruan)(ruan)件(jian)，IOHK率先將(jiang)其嵌入區塊鏈產業的Cardano開發。
IOHK采用函數式(shi)編程(cheng)語(yu)(yu)言(yan)，最著名(ming)的是哈(ha)斯克爾。與(yu)其他語(yu)(yu)言(yan)相(xiang)比，函數式(shi)編程(cheng)語(yu)(yu)言(yan)不易出現歧義和人為(wei)錯誤(wu)，而且(qie)從數學的角(jiao)度來(lai)看，它們易于(yu)(yu)測試驗證狀(zhuang)語(yu)(yu)從句，有(you)助(zhu)于(yu)(yu)加強IOHK高可信度形式(shi)化的開(kai)發(fa)。
我心明亮 
