可伸縮性的挑戰(zhàn)已經(jīng)成為區(qū)塊鏈領(lǐng)域最大的爭論之一。然而，很少有人認(rèn)識到，目前許多區(qū)塊鏈項(xiàng)目都是比特幣和以太坊的變體，他們的項(xiàng)目在設(shè)計(jì)時(shí)都沒有考慮可伸縮性問題。

中本聰（Satoshi Nakamoto）故意對比特幣協(xié)議進(jìn)行了全面的策劃。當(dāng)交易和存儲(chǔ)在整個(gè)網(wǎng)絡(luò)中復(fù)制時(shí)，會(huì)產(chǎn)生大量的冗馀。Vitalik Buterin認(rèn)為以太坊是區(qū)塊鏈的下一個(gè)迭代，一個(gè)允許智能契約編程的迭代。

只有當(dāng)技術(shù)的潛力顯現(xiàn)出來時(shí)，可伸縮性才開始成為一種需求。開發(fā)人員試圖通過各種方法來應(yīng)對可伸縮性挑戰(zhàn)。第一層解決方案已經(jīng)看到了大量基于共識模型（如授權(quán)的POS或解決方案（如切分））的新區(qū)塊鏈。第二層解決方案，如Ethereum的Plasma或比特幣閃電網(wǎng)絡(luò)，也試圖解決離鏈計(jì)算的問題。

可伸縮性的挑戰(zhàn)似乎占用了如此多的帶寬，以至于許多開發(fā)人員幾乎沒有關(guān)注其他的關(guān)鍵采用障礙，比如可用性和與現(xiàn)實(shí)世界的連接。

程序員需要學(xué)習(xí)新的編碼語言才能跨入?yún)^(qū)塊鏈。對于他們來說，在不同的區(qū)塊鏈之間傳輸數(shù)據(jù)應(yīng)用程序以接觸新的受眾并不是一件容易的事情。日常用戶沒有熟悉的界面。

然而，現(xiàn)在有一個(gè)項(xiàng)目，聲稱它是建立一個(gè)現(xiàn)有的區(qū)塊鏈景觀和現(xiàn)實(shí)世界之間可用的橋梁，解決了可擴(kuò)展性的挑戰(zhàn)。Cartesi正在開發(fā)一種解決方案，它使用去中心化的Linux基礎(chǔ)設(shè)施來支持可伸縮的區(qū)塊鏈應(yīng)用程序。

Cartesi是如何運(yùn)作的

Cartesi是基于一個(gè)完全實(shí)用主義的原則，即在所有應(yīng)用程序中實(shí)現(xiàn)對每個(gè)計(jì)算的完全共識，這與實(shí)現(xiàn)真正的可伸縮性是相悖的。因此，這是第二層解決方案，允許在Cartesi節(jié)點(diǎn)中進(jìn)行非鏈接計(jì)算。這些節(jié)點(diǎn)是通用的、自包含的Linux系統(tǒng)，運(yùn)行在確定性的RISC-V體系結(jié)構(gòu)上。

來自任何區(qū)塊鏈的智能合約都可以請求在離鏈數(shù)據(jù)上由Cartesi（Cartesi）節(jié)點(diǎn)執(zhí)行離鏈計(jì)算。由于計(jì)算是離線進(jìn)行的，這使得Cartesi節(jié)點(diǎn)能夠運(yùn)行比現(xiàn)有區(qū)塊鏈更復(fù)雜的dApps。開發(fā)人員可以要求節(jié)點(diǎn)提交離鏈計(jì)算的結(jié)果，或者對其他人提供的結(jié)果提出異議。

如果對某一計(jì)算有爭議，可以根據(jù)需要將其放入主鏈。然而，無可爭議的交易實(shí)際上并沒有加載到區(qū)塊鏈網(wǎng)絡(luò)，這極大地提高了可伸縮性。這意味著去中心化應(yīng)用程序可以以相同的速度運(yùn)行，并擁有與區(qū)中心化應(yīng)用程序相同的存儲(chǔ)功能。

用Linux擴(kuò)展區(qū)塊鏈開發(fā)

通過使用Linux作為連接區(qū)塊鏈和現(xiàn)實(shí)世界的橋梁，Cartesi帶來的好處比純粹的可伸縮性要多得多。而目前，dApp開發(fā)人員必須學(xué)習(xí)新的編程語言，使用Linux，他們可以使用他們已經(jīng)知道的語言、工具、庫、軟件和服務(wù)。

大多數(shù)程序員在某個(gè)時(shí)候都會(huì)遇到Linux，這意味著Cartesi將區(qū)塊鏈開發(fā)開放給全球范圍內(nèi)的編程人才。該公司將實(shí)施SDK，以幫助開發(fā)人員加速采用。

此外，Linux是世界上最常用的操作系統(tǒng)之一。但它的桌面版本卻不是這樣，仍然遠(yuǎn)遠(yuǎn)落后于Windows和MacOS。然而，在2017年Android超越Windows成為擁有用戶最多的操作系統(tǒng)。現(xiàn)在，各地的開發(fā)者都可以為Android手機(jī)構(gòu)建復(fù)雜的dApps，將區(qū)塊鏈的所有好處帶給全球約25億用戶。

跳出思維定式

該項(xiàng)目由現(xiàn)任首席科學(xué)官Augusto Teixeira創(chuàng)立。Teixeira是概率和圖論方面的專家，也是博弈論的專家。他是由他的同事Sergei Popov引入到區(qū)塊鏈空間的，Popov是IOTA的聯(lián)合創(chuàng)始人之一，現(xiàn)在也是Cartesi的顧問。

Teixeira開始這個(gè)項(xiàng)目時(shí)，它是一個(gè)去中心化的數(shù)據(jù)科學(xué)和機(jī)器學(xué)習(xí)市場。在決定需要一個(gè)確定性的離線計(jì)算基礎(chǔ)設(shè)施之后，他聘請了Diego Nehab。現(xiàn)在，CTO，Nehab在視覺計(jì)算和大規(guī)模并行性方面擁有廣泛的專業(yè)知識。

在2018年改變了方向之后，該公司將把Cartesi構(gòu)建成一個(gè)可伸縮區(qū)塊鏈應(yīng)用的去中心化Linux基礎(chǔ)架構(gòu)。自發(fā)表白皮書以來，該小組開發(fā)了可重復(fù)性和可驗(yàn)證的計(jì)算工作原型。在年底之前，第一個(gè)dApp將推出。到2020年，我們可以期待在測試網(wǎng)上看到SDK和挖掘的推出。

盡管可伸縮性的挑戰(zhàn)是一個(gè)關(guān)鍵的挑戰(zhàn)，但也許關(guān)注的焦點(diǎn)已經(jīng)過度了，因?yàn)樗⒘艘环N狹隘的方法來克服采用區(qū)塊鏈的其他障礙。由于區(qū)塊鏈在構(gòu)建開發(fā)人員管道方面困難重重，我們需要更多的項(xiàng)目來應(yīng)對這些全局性的挑戰(zhàn)。通過將Linux作為通向現(xiàn)實(shí)世界的橋梁，基于區(qū)塊鏈的dApps現(xiàn)在有了真正的機(jī)會(huì)進(jìn)入主流。