簡介

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

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

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

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

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

用戶完全匿名。

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

卡爾達(dá)諾

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

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

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

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

原型設(shè)計

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

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

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

形式化開發(fā)方法

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

函數(shù)式編程

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