因?yàn)橐粋€(gè)程序 bug,直接損失了 2.2 億人民幣。。。
這是近幾天發(fā)生在 NFT 圈子里的一件事,某項(xiàng)目方因?yàn)樽约旱某绦虼a出錯(cuò),導(dǎo)致鎖定的 11539.5 個(gè) ETH(以太坊代幣)無(wú)法取出。
按照目前的價(jià)格,這些 ETH 總價(jià)值 2.2 億人民幣,妥妥肉疼。
NFT是非同質(zhì)化代幣,屬于區(qū)塊鏈領(lǐng)域的一種應(yīng)用,可以理解為一種虛擬的數(shù)字資產(chǎn)。
比如,你購(gòu)買(mǎi)了一張 NFT 頭像,那這張圖片在網(wǎng)絡(luò)世界里就唯一屬于你。即便大家可以復(fù)制拷貝,但所有權(quán)歸屬于你。
這次出事的是一個(gè)叫Akutar 的 NTF 項(xiàng)目方,他們發(fā)起了一個(gè) NFT 產(chǎn)品售賣(mài),采用的是荷蘭式拍賣(mài)法。
所謂荷蘭式拍賣(mài)法,就是由高到低出價(jià)的拍賣(mài)方式,這和傳統(tǒng)的遞增叫價(jià)拍賣(mài)方式有所不同。
舉個(gè)例子,假設(shè)一件產(chǎn)品的定價(jià)是 10000 元,想買(mǎi)入的就直接按照這個(gè)價(jià)格下單。如果最終成交價(jià)是8000 元,那項(xiàng)目方會(huì)退你2000 元。
設(shè)計(jì)這種規(guī)則的目的其實(shí)也是激勵(lì)用戶(hù)早點(diǎn)下單,因?yàn)樵缳I(mǎi)晚買(mǎi)都不虧,加上 NFT 限量,就更提升了購(gòu)買(mǎi)者的動(dòng)機(jī)。
很快,這個(gè)項(xiàng)目就完成了 3400 萬(wàn)美元的預(yù)定銷(xiāo)售額。
接下來(lái),就是項(xiàng)目方履行后續(xù)環(huán)節(jié)了,退款和提現(xiàn)。
按照規(guī)則,項(xiàng)目方需要先退回最終成交價(jià)和定價(jià)之間的差額給用戶(hù),然后才能自己提走項(xiàng)目售賣(mài)收益。
為了確保公平,也表態(tài)自己不會(huì)跑路的決心,項(xiàng)目方在智能合約里規(guī)定了需要先完成差價(jià)退款才能提現(xiàn)。
智能合約,可以理解成鎖定在區(qū)塊鏈中的一個(gè)事先定好的規(guī)則,任何人都無(wú)法篡改,只會(huì)被自動(dòng)執(zhí)行。
于是,在智能合約代碼里就有這么一個(gè)判斷條件。
懂點(diǎn)技術(shù)的讀者知道,這是一段函數(shù)代碼,這個(gè)函數(shù)的作用是項(xiàng)目方用來(lái)提現(xiàn)的。
其中被紅框標(biāo)記起來(lái)的是一個(gè)判斷條件,refundProgress>=totalBids,問(wèn)題也恰恰出在這里。
按照定義,變量refundProgress表示已經(jīng)完成的用戶(hù)退款數(shù),而變量totalBids表示所有用戶(hù)下單的 NFT 總數(shù)。
因?yàn)橐粋€(gè)用戶(hù)可以購(gòu)買(mǎi)多個(gè) NFT,所以totalBids 的數(shù)值一定是大于或等于refundProgress 的。
也就是說(shuō),不可能出現(xiàn)像智能合約代碼中refundProgress>=totalBids 的情況。
因此,當(dāng)代碼執(zhí)行到這里的時(shí)候,這個(gè)判斷條件始終不會(huì)成立,后面的合約代碼就無(wú)法執(zhí)行。
看懂的讀者應(yīng)該知道了,這個(gè) bug 的關(guān)鍵點(diǎn)就是這兩個(gè)變量之間的判斷符號(hào)寫(xiě)反了。
程序員寫(xiě)的是>=,而正確的應(yīng)該是寫(xiě)成<=。
用戶(hù)無(wú)法獲得退款,項(xiàng)目方也無(wú)法提現(xiàn)。
對(duì)用戶(hù)來(lái)說(shuō),雖然不能獲得退款,但至少還是買(mǎi)到了 NFT。但對(duì)于項(xiàng)目方來(lái)說(shuō),這價(jià)值 2.2 億人民幣的收益就直接被永久鎖定了,無(wú)法提走。
在區(qū)塊鏈的世界里,這些代幣就永久不會(huì)被其他人取出,和銷(xiāo)毀沒(méi)什么區(qū)別。
項(xiàng)目方相當(dāng)于手持了一個(gè)永遠(yuǎn)不會(huì)被打開(kāi)的錢(qián)包,縱使腰纏萬(wàn)貫,但也僅僅是一個(gè)賬面數(shù)字,沒(méi)有使用價(jià)值。
一個(gè)符號(hào),價(jià)值 2.2 億,可以說(shuō)是一個(gè)驚天bug 了。
可能有人會(huì)說(shuō)了,上線前難道不經(jīng)過(guò)測(cè)試么,這么大的項(xiàng)目竟然犯這種低級(jí)錯(cuò)誤。
那么,這是誰(shuí)的鍋?
首先,項(xiàng)目方在設(shè)計(jì)智能合約時(shí)一定會(huì)提前定義好規(guī)則,然后交給程序員去實(shí)施。上線前,也會(huì)經(jīng)過(guò)測(cè)試和驗(yàn)收。
其次,程序員在代碼中寫(xiě)入這個(gè)規(guī)則時(shí),也一定是建立在理解這個(gè)規(guī)則的前提下??赡苁鞘侄叮赡苁谴中?,恰好就把判斷符號(hào)寫(xiě)反了。
另外,測(cè)試在上線驗(yàn)收環(huán)節(jié),可能沒(méi)有進(jìn)行極端情況測(cè)試,只是按照一個(gè)人買(mǎi)一個(gè) NFT 的場(chǎng)景完成了測(cè)試。
最后,項(xiàng)目方驗(yàn)收時(shí),以為能跑通全流程就沒(méi)問(wèn)題了。
項(xiàng)目上線后,在生產(chǎn)環(huán)境出現(xiàn)了一個(gè)人買(mǎi)多個(gè) NFT 的情況,bug 被觸發(fā)。
在我看來(lái),問(wèn)題的核心起點(diǎn)在程序員,驗(yàn)收不嚴(yán)謹(jǐn)?shù)呢?zé)任在測(cè)試,而最終對(duì)外背鍋的一定是項(xiàng)目方。
這不是某一個(gè)人的鍋,而是一口大鍋罩在了整個(gè)項(xiàng)目組頭上。
這樣的問(wèn)題在平時(shí)產(chǎn)品開(kāi)發(fā)中其實(shí)并不少見(jiàn),因?yàn)橐粋€(gè)判斷條件的失誤,輕則引起功能異常,重則導(dǎo)致巨大的經(jīng)濟(jì)損失。
如果你們感興趣,可以自己去查一下過(guò)去這些年因?yàn)槌绦?bug 導(dǎo)致產(chǎn)品重大損失的案例,其實(shí)有不少。
那些厲害的程序員之所以貴,也是有原因的。
如果為了省錢(qián)招了一些三流程序員填坑,或許只會(huì)給你挖出更大的坑。
這個(gè)世紀(jì)什么最貴?
人才!
關(guān)鍵詞: 荷蘭式拍賣(mài) 腰纏萬(wàn)貫 所有用戶(hù)