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