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