前言
一、新公鏈新在哪里?
Aptos有哪些技術創新?
面向開發者:Diem的最大遺產-Move語言
面向用戶:Aptos的秘鑰管理和賬戶恢復系統
二、Aptos是資本推動的又一個Solana嗎?
樹立開發者陣營
遷移Solana舊將
公鏈敘事永不眠
三、總結
前言
7月末,新公鏈Aptos宣布再次完成1.5億美元融資,由FTXVentures和JumpCrypto領投,其于今年3月份,剛完成由A16Z領投、MulticoinCapital、FTXVentures、CoinbaseVentures參與的2億美元融資。
公鏈的可擴展性是加密世界永恒的話題,自2020年DefiSummer以來,Defi、Gamefi、NFT等鏈上活動的指數級增長,對各個公鏈帶來了巨大的壓力,開發者和用戶對于公鏈性能的需求愈發強烈,為了應對未來大規模商業化的應用的誕生,Web3應用需要一個低交易費用的高性能底層作為發展土壤。
Solana通過塔式節點架構、異步架構以及并行消息處理等設計成為高性能單片鏈的代表,以太坊上的各類Rollup、專注于DA層的Celestia、ETH2.0的分片采用模塊化的方式構建底層網絡。
新公鏈Aptos則采用模塊化的理念在高性能單片鏈方向上又走出了一條另類的擴容之路。本文我們主要對比Aptos與Solana的一些關鍵設計,探討:
Aptos是否從本質上建設了新一代的高性能公鏈?
Aptos是否解決了單片鏈的兩個核心問題?
Aptos是資本推動的又一個Solana嗎?
新公鏈新在哪里?
Aptos有哪些技術創新?
一、并行化
Aptos的網絡設計中將交易劃分為了不同的階段,每個階段都是獨立且可以單獨并行的,這實現了多指令流和多數據流,在可以顯著提升網絡性能的同時,使得驗證節點可以在存儲、運算等方面進行額外的擴展,也使得整個網絡的開發更加的靈活,迭代更新可以只針對其中一個模塊。
批量處理:在交易傳播過程中,交易被每個驗證者分組為批次,而在共識過程中,批次被合并為區塊。
連續的交易廣播:交易的傳播和共識脫鉤,驗證節點不斷的將分組后的批次發送給其他驗證節點。
交易排序和交易執行:這一步實際是通過DiemBFTV4實現共識的過程,領導驗證者會提議對區塊進行狀態更新,將狀態增量和包含已被認證區塊狀態發送給其他驗證節點,其他驗證節點決定是否投票,如果投票,則可以直接進行計算和執行,不再需要等待共識完成。Aptos通過Block-STM并行執行引擎來管理事務的執行,這是一個樂觀的并發控制,其性能測試如下:
巴塞羅那足球俱樂部獲得1.32億美元投資用于Web3戰略:金色財經報道,西班牙巴塞羅那足球俱樂部從Libero football Finance AG和Nipa Capital B.V.獲得了1.2億歐元(1.32億美元)的投資,用于其Web3倡議barpada Vision。根據8月11日的公告,巴塞羅那足球俱樂部出售了barpada Vision控股公司Bridgeburg Invest 29.5%的股份,以換取這筆資金。barpada Vision是俱樂部圍繞Web3和區塊鏈整合所有數字內容的倡議,包括NFT和元宇宙,這是俱樂部建立數字Espai barpada戰略的一部分。
自2020年2月以來,巴塞羅那足球俱樂部與Chiliz區塊鏈合作,為其體育特許經營創建了基于以太坊的BAR球迷代幣。2022年8月,Chiliz宣布以1億美元收購巴塞羅那足球俱樂部(FC Barcelona)數字內容創作部門barpada Vision 24.5%的股份。[2023/8/11 16:21:09]
可以看到在10k個賬戶競爭的情況下,32線程情況下可以達到16w的TPS,并行執行的優勢在大量賬戶的競爭交易空間時得到體現。
單片鏈歷來存在兩個核心問題:
1、資源定價。所有交易競爭同一個區塊空間,消耗相同的資源,在交易擁擠的時候,所有人的花費會被動上漲,結果是某一類交易的大量需求影響到了全局的用戶,這樣就無法針對不同的應用提供獨立的交易執行和結算。
2、鏈式交易對性能的限制,單片鏈中,所有交易都需要排隊等待打包、計算、驗證最后形成共識,之后完成驗證后才開始向其他節點進行打包傳遞,這種串行的步驟無疑對交易性能形成了巨大的限制。
并行化機制可以很好的解決鏈式交易的問題,但資源定價的問題仍然存在。
二、狀態同步
狀態同步簡單來講就是協調所有的節點使其保持同一個狀態。
為什么說狀態同步對性能有著重要的影響:
1、通常我們通過TPS來衡量一個公鏈的交易性能,但另外一個指標TTF更加重要,因為TPS指的是鏈每秒處理多少交易,而對于用戶而言,用戶感知到的交易所花費的時間應當=交易在鏈上被處理的時間+被同步到對等節點和客戶端的時間,我們會發現狀態同步對TTF的影響是很大的,如果一個公鏈TPS很高,但其實現同步需要較長時間,用戶感知到的仍然是整條鏈性能低下。
2、狀態同步負責在節點之間同步信息時驗證信息的正確性,狀態同步做的好壞會決定全節點或客戶端會不會有較大可能性接收到惡意、欺騙性的數據。
Aptos以Block-STM的方法為核心構建狀態同步方案,具有樂觀并發控制、多版本數據結構、協作調度、動態依賴估計等特性。由于Aptos將交易劃分不同階段的并行方案對于節點之間的狀態同步有很高要求,目前的解決方案能否實現理論上的亞秒級確認還有待驗證。
數據:11月NFT銷量下降20%:金色財經報道,由Dapp Radar提供數據顯示,在宏觀經濟因素和FTX崩潰的影響下,11月NFT銷量下降20%,五個頂級市場11月的NFT總銷售額約為3.94億美元,是今年以來的最低記錄。OpenSea、MagicEden、X2Y2、Looks Rare和Solanart的交易量與10月份相比下降了20%以上,基于Solana的NFT市場Solanart在前五名中受影響最嚴重,從10月的625萬美元下降93%到11月的僅410,000美元。
此外,從12月開始,與這五大NFT平臺互動的獨特活躍錢包也大幅下降。OpenSea的用戶活動下降了47%,而MagicEden在本月的前幾天下降了約12.5%。Solanart下跌了25%,而LooksRare和X2Y2分別下跌了41%和64%。[2022/12/6 21:24:29]
Solana通過POH機制實現并發控制和可靠的同步:
POH是一個高頻的VDF(可驗證延遲函數,即使在多線程,或者說可進行大量并行計算的機器上仍然需要規定的時間才能求解的函數)。通過POH,Solana相當于創建了一個全局的時間鏈,驗證節點持續在區塊內對哈希值連續哈希,每一段時間都生成一個證明,每一個都證明了有一些交易數據是存在于創建證明之前,同時上一個證明已經過去一段時間了。在POH機制下,領導節點通過VDF函數賦予區塊鏈一個時間戳證明,然后將區塊發送給驗證節點,驗證節點通過不斷生成和驗證VDF這個函數,就可以得到需要的時間間隔,從而驗證收到的領導節點的時間戳證明是否正確。
在這個過程中,領導節點會將區塊以任意順序發送給其他驗證節點,區塊會被分解為更小的批次。區塊共識確認之前,這些新批次會以實時的形式傳輸給驗證節點,驗證節點接受新的批次之后,可以立即投票,其使用的樂觀并發控制的技術,與Aptos的STM有異曲同工之妙。
相較于大多數通過將交易廣播至全網后才能完成確認的公鏈(節點間也需要再溝通自己的precommit和prevote,之后節點集體投票代表某個區塊高度的全賬本,交易確認),在Solana上,交易確認只需要驗證上個批次的POH哈希即可完成。POH機制下,攜帶有時間戳證明的交易批次已確認被排序完畢,驗證節點可以對時間戳進行本地驗證,那么消息就可以持續不斷進行可靠的傳輸,實現共識和消息傳遞的脫鉤。
三、節點架構
Solana采用的領導節點為中心的金字塔式結構,Leader節點從驗證節點中競爭選出,負責收集交易,創建包含PoH的區塊,更新網絡狀態。而Aptos采用的是星狀結構,網絡中有一組驗證節點使用DiemBFTv4實現共識。
幣安合約將于12月2日下架所有美式每日期權:11月30日,據官方公告,幣安合約將于2022年12月2日15:00下架所有美式每日期權。美式每日期權將于2022年12月1日15:00起停止交易。自2022年12月1日15:00起,所有“展期”功能將停止使用。所有美式每日期權僅在幣安APP提供交易服務直至2022年12月2日15:00。[2022/11/30 21:11:30]
對于Solana而言,只有被選中的領導節點才能生產下一個區塊,這大大減少了網絡的冗余程度,可以大幅度提高網絡的性能,但這種設計降低了整個網絡的去中心化程度,當Leader節點崩潰時,容易造成整個網絡會陷入癱瘓。
對于Aptos而言,沒有所謂的領導節點,驗證節點和全節點都需要保證一定數據備份來防止極端情況的發生,這樣雖然增加了整個網絡的冗余程度,但在去中心化和網絡彈性方面表現會更加良好,不會因為一個驗證節點的崩潰導致整個網絡宕機。
節點硬件要求
Aptos的并行化的架構采用CPU進行事務處理,Solana在執行層面的并行化架構采用CPU+GPU作為運算單元,Solana對于節點的硬件要求明顯高于Aptos不少。
小結
Solana和Aptos用以提高網絡性能的解決方案有著比較多的相似性,都通過解耦消息傳遞和共識提升處理速度,共同使用了樂觀并發控制的機制,但是Solana則更多的注重在共識和消息廣播并行化層面,Aptos則在并行化方面做的更加徹底,實現共識、廣播、執行、存儲的全部并行化,再結合Aptos優秀的狀態同步解決方案,在UX和DX方面表現較為優秀。
Solana激進的節點架構可以極大的提升網絡性能,但隨之而來的是網絡彈性的不足,領導節點癱瘓則會引起網絡大規模宕機,除此之外Solana對于節點硬件的需求也會過高,會進一步導致網絡的中心化,Aptos采用的則是更加中庸的方案,在性能和去中心化之間進行了一定的平衡。
GPU適合處理數據密集的計算任務,一般用來處理高度線程化的并行計算,也就是說用來處理大量的交易是沒問題的,但是遇到業務邏輯較強的事件,其性能會大幅度下降,這就是為什么Solana在處理大量Defi交易的時候會表現出良好的性能,而在處理類似于NFTMint這種強邏輯的業務的時候性能會有所下降;CPU一般用來處理邏輯性強的事件處理和串行計算,在邏輯事務和數據密集型的事務執行上進行了平衡,這樣的設計可以使得Aptos能更好的去承載強邏輯性的商業化應用。
Ark Invest增持280萬美元的GBTC:金色財經報道,根據Ark Invest的最新交易文件,該基金于周一增持了315,259份GBTC份額,約合280萬美元。數據顯示,當前GBTC的折價率為39.81%。[2022/11/15 13:08:12]
面向開發者:Diem的最大遺產-Move語言
特性一:FirstClassResources-第一序列資源
這對應我們現實生活中“錢/資產”這個概念,在加密世界中可以用來表達數字資產,所謂的第一序列即整個網絡中我們應該首先考慮或者說關注的對象。
在Move語言中,變量的類型分為Resources和unrestricted,變量的每次讀取都需要指定其用法,即進行移動還是復制,當變量被定義為Resources時,就只能被移動,而unrestricted則沒有這樣的限制,既可復制又可移動,我們會發現,Resources這種類型非常適合定義數字資產,unrestricted則可以用來定義地址。
總結就是Resources這種變量具有如下特性:
不能被復制
不能被隱式的丟棄,程序在執行一個關于Resources的函數時,函數結束之前必須轉移Resources的所有權
只能在程序中存儲位置之間移動
特性二:Module與Scripts
Module和Scripts類似于以太坊的智能合約和比特幣的腳本,Move的這種設計相當于是對庫和執行邏輯進行了嚴格的劃分,Module可以通過形式化驗證進行安全檢查,可以避免大量的智能合約漏洞問題。
Module是一個定義結構類型和對這些類型進行操作的函數的庫,即Module會編碼好創建、銷毀和更新其聲明的Resources的規則,Module存儲在全局存儲中,對于Resources的關鍵操作只能在Module中進行,且其對外是不透明的,Module也可調用其他模塊聲明的程序并使用其聲明的類型。
Scripts則是一個可執行的入口,類似于傳統編程語言中的Main函數,可以對全局存儲進行更新,通常是調用已經發布函數的Module。
拿現實中的事物來對比舉例就是:
Module是央行,Resources也就是”錢”這種資產必須在Module中被定義,Resources也只能由它所在的模塊創建和銷毀
Scripts則是使用Resources的所有主體。
下面是白皮書中關于轉賬的一個示例代碼,可以幫助進一步理解:
publicmain(payee:address,amount:u64)
{
letcoin:0x0.Currency.Coin=0x0.Currency.withdraw_from_sender(copy(amount));
Solana NFT總銷售額達23.5億美元,僅次于Ronin和以太坊:6月6日消息,在兩年多的時間里,Solana已經成為NFT的首選鏈之一。根據Be[In]Crypto的研究,截至6月5日,Solana上NFT的總銷售額約為23.5億美元,目前排名第三,僅次于Ronin和以太坊。
居于Solana之后的區塊鏈分別是:Flow、Polygon、WAX、Avalanche、Palm、Tezos、Waves、BNB Chain和Panini。(BeInCrypto)[2022/6/6 4:04:56]
0x0.Currency.(copy(payee),move(coin));
}
從上面的Scripts代碼可以看出,Currency是存在于0x0地址下的一個Module,Coin是Module中的Resources。這個Scripts的意思是:
從發送者那里取出若干金額的幣;
將幣存入收款人的地址。
這里需要說明的是,Scripts在獲得資產后,必須指定其用途,這一點是強制的,也就是說,如果刪除掉上述Scripts中存款那行代碼的話,這是不合法的,Move虛擬機會拒絕執行。
特性三:靜態類型
Move是一種純靜態類型的系統,這一點和Rust是一致的,可以實現類型安全,驗證程序代碼正確性會變成一個嚴格的數學證明的過程,編譯器可以按照設計好的邏輯去驗證。靜態類型具有很強大的抽象能力和工程能力,保證安全性前提下又不損失靈活性,更加適合大型系統的構建,即需要軟件的可靠性越高,靜態類型的語言越好用,這對于像Aptos這樣致力于構建一個可以承載全球的大規模商業化應用的公鏈來說是必要的。
通過以上的設計我們可以發現,Move語言的使用將使得:
1、數字資產將具有更好的安全性
靜態類型保證過程和結果在編譯階段即可進行類型驗證,避免部署到鏈上后運行時產生問題,經過類型驗證后,智能合約中的很多的低級問題都可避免,同時類型驗證可使用形式化驗證工具,極大降低程序員檢查bug耗費的精力。
Resources類型與Module的不透明性的結合方案則保證數字資產不被復制、丟棄或重復轉移,以及其他Module和腳本只能通過數字資產所屬的Module公開的規則對數字資產進行調用。
2、數字資產的靈活性,數字資產在Module中是可編輯的,程序員可以編寫正確的業務邏輯來封裝資產和執行訪問控制的策略,這對于實現復雜的金融邏輯將非常友好。
3、可以真實模仿現實世界的資產,即當現實資產進入數字世界時執行創建,數字資產所有權轉移時執行修改,綁定數字資產的物理資產被出售時執行銷毀。
Move與Rust相比:
Firstclassresources其實借鑒了Rust語言中的Move、Copy和Clone的語義,在Rust中的Move語義是把一個變量賦值給另一個變量時會把所有權轉移給受讓者,可以說Move語言中對于Resources類型的設計非常徹底,就是專門針對金融合約設計的。
Move與Solidity相比:
Firstclassresources是Move語言與Solidity最大的區別,Resource類型在以太坊中只適用于ETH本身,基于以太坊發行的其他Token則不具備這種“資產特性”,而僅僅是一個數字,在交易轉賬時,一個地址的數字增加,另外一個的數字減少,每一個地址的余額是一個簡單的Unit,對于轉賬以及更加復雜的資產操作行為,開發者都需要根據自身經驗進行檢查,很容易出現重入攻擊、整數溢出、無限增發等安全漏洞。
小結:
Move語言基于Rust衍生而來,沒有跳出Rust的大框架,但Move的創新性設計都使得其更適合用來去構建一個承載大量數字資產活動區塊鏈網絡,對于Solana和Polkadot的開發者而言,遷移到Aptos這樣的新明星公鏈門檻也會更低一些,相對于Solidity而言,Move語言在安全性、靈活性和對數字資產的定義方面都有著很大優勢。
面向用戶:Aptos的秘鑰管理和賬戶恢復系統
我們先看Aptos的賬戶創建的內部流程:
生成一個簽名公私鑰對。
從用戶處獲得選定的簽名方案:單簽還是多簽。
將公鑰vk與簽名方案標識符關聯,通過哈希函數H得出既定簽名方案的驗證秘鑰:addr=H,addr是一個32字節也就是256位的值,也是這個賬戶的永久賬戶地址。
將賬戶序列號初始化為0,addr和序號作為初始資源存儲在賬戶中。
通過驗證秘鑰按原樣返回一個256位的賬戶地址。
此時,賬戶創建完成,用戶可以使用私鑰sk對交易進行簽名。
Aptos做了什么?
1、Aptos提供了可輪換的的sk,可以主動更改sk,幫助降低私鑰泄露、遠程攻擊和現有密碼算法未來被破解的風險。用戶可以將輪換帳戶私鑰的能力委托給一個或多個托管方以及其他可信實體,然后通過Move模塊定義一個策略,使這些受信實體能夠在特定情況下輪換密鑰。例如,實體可能是由許多受信任方持有的kout-of-n多簽密鑰,從而可提供密鑰恢復服務以防止用戶密鑰丟失。相比其他一些諸如云端備份、社會恢復等秘鑰恢復方案,Aptos的這種密鑰管理方案是鏈上的且更加公開透明。
2、通過賬戶序列號用來對交易可行性提供保護,一個序列號對于每個發送者的賬戶來說只能被提交一次,如果發送者發現自己賬戶的序列號≥交易t的序列號,那么t已經被提交,或t永遠不會被提交。
3、預簽名實現交易透明度,Aptos提供交易預執行服務,可在用戶簽名之前向用戶直觀的展示交易結果,這個交易預執行的服務是可以和已知的攻擊和惡意智能合約結合的,可以大大降低用戶受到的欺詐風險。除此之外Aptos還允許錢包在執行過程中規定對交易的限制,違反限制的交易將被終止,可以進一步避免用戶受到惡意程序的攻擊。
小結:
可以看到,Aptos除了通過第一節講的技術創新提升用戶的交易體驗之外,在保障用戶賬戶安全性方面同樣做了諸多設計,從底層就支持了對于交易的保護,對于用戶來說,交易的安全便捷性得到了大幅提高;對于應用開發者來說,減少了很多本來需要在應用層面實現的安全保護機制,基于這些底層機制,應用也可以實現更加靈活的服務。
Aptos是資本推動的又一個Solana嗎?
樹立開發者陣營
我所接觸的開發人員,對使用Move與Rust或Solidity相比感到有點興奮—Pantera合伙人PaulVeradittakit
從區塊鏈開發者角度來看,智能合約是一組數字化的承諾,包括關于合約執行者履行這些承諾時達成的協議。區塊鏈技術給我們提供了一個去中心化的、不可篡改的、高度可靠的系統,而在這個系統中智能合約有著至關重要的作用。
前文我們對Solidity和Move語言的差異進行了分析,盡管Solidity在直觀性和安全性方面存在缺陷,但它的靈活性使其廣泛的被社區采用;Move語言對于FT和NFT等常用場景,Move將數據定義成資源,能夠從虛擬機層面保障了數據的安全,對開發者更加友好,讓合約開發者可以專注于業務邏輯。目前有4條公鏈已經使用Move語言分別是Aptos、Sui、Starcoin、0LNetwork。更低GAS、更高TPS,更安全的編程代碼環境,MOVE系語言正在重新樹立開發者陣營。
公鏈敘事永不眠
2009年1月3日中本聰的人創造了比特幣。13年后,比特幣激發了一個全新的行業和價值近1萬億美元的新資產類別,公鏈敘事也就此展開。
公鏈賽道一直都是加密領域最具挑戰性同時也是承載價值最好的地方,Solana、Terra、Avalanche等公鏈崛起,投資機構收到豐厚的財務回報。鐵打的公鏈,流水的應用,公鏈的敘事和競爭在每一個周期中也從未停止。
2014年到2015年熊市,當時整個加密貨幣市場的市值暴跌了75%,但是也誕生了今后的公鏈王者-以太坊。自2015年推出以來以太坊目前是護城河最高的公鏈,網絡去中心化程度和安全性較高,用戶量大、開發者數量多。基礎設施完善,應用種類豐富,已形成網絡效應,具備創新土壤,一直以來引領了區塊鏈應用潮流:每個人都喜歡抱怨以太坊,但是沒有人愿意離開他。
2019到2020年的熊市,誕生了Solana,雪崩協議等新公鏈,新公鏈憑借性能和費用優勢承接了這些以太坊外溢的需求,自2020年以來新公鏈生態相繼爆發,從BNBChain到Polygon,再到Solana,同時Avalanche、Fantom、Terra生態也有大幅增長。
2022年我們看到Aptos、Sui、Linera、Aleo等新公鏈在冉冉升起,加密行業將繼續建設和創新,突破想象邊界,熊市對于有些公鏈來是日活下降,對于新公鏈則是序章,加密周期更迭,公鏈敘事永不眠。
總結
無論從技術特性還是開發語言角度,Aptos似乎并沒有做到像Solana之于以太坊的創新性,Aptos更像是一個性能更好、網絡彈性更強的Solana,Aptos與Solana之間并不是內燃機與馬車的區別。針對單片鏈歷來存在的資源定價與鏈式交易問題,Aptos并未完全解決前者,而是像Solana一樣,通過大幅提升可擴展性平抑交易對區塊空間的競爭,其比較完美的解決了鏈式交易問題。
Aptos在數字資產的定義、保護以及對于用戶使用體驗方面做了很多精妙的設計,Aptos是在以Web2產品的思維實現一個面向數十億互聯網的用戶的可以承載大規模商業化應用的高性能、高安全性公鏈,這是前所未有的,具體落地如何,還要拭目以待。
目前Aptos生態在快速擴張,主網還未上線,其生態項目已多達130+,新技術的出現,使得開發者們希望能成為生態的第一波參與者,一方面熊市中頂級團隊和頂級資本加持的新公鏈敘事的確有著強大的吸引力,但另一方面開發者們也許應該警惕這種繁榮,一個在技術、資本、生態開發者等各個方面都與Solana有著較高重合度的新公鏈能否再度復刻乃至超越Solana的爆紅歷程,這是值得懷疑的,開發者應從自身產品的實際需求出發,權衡采用新公鏈的利弊。
對于投資者而言,Aptos在新生代公鏈中具有較大的先發優勢,預計在9月底主網上線,但其私募融資估值已超20億美金,市值已達到目前Solana市值的1/5左右,可以更多關注其生態項目的發展,作為早期參與者可能會有更好的回報。
來源:金色財經
第比利斯-2022年8月31日自Rimaunangis代幣($RXT)首次推出以來的第5天,它已達到總硬頂目標的近50%.
1900/1/1 0:00:00這幾天的行情真的是沒什么可操作性的,也沒有方向,磨耐心!BTC目前周線級別不能排除會不會直接下去走五浪下跌,因為反彈高度不夠,這個需要跌破前低,如果BTC周線有效跌破17622.
1900/1/1 0:00:00財經消息分析: 每日幣圈金融方面熱點消息實時更新,了解第一手信息世界領先的加密貨幣比特幣又經歷了一個令人失望的月份,下跌了近15%!8月收官日歐美慘遭股債雙殺,美股四連跌至一個月低位.
1900/1/1 0:00:00最近有部分幣圈的朋友遇到一種情況,就是之前因為交易虛擬貨幣導致被機關列為犯罪嫌疑人,雖然辦理了取保候審,但是并沒有撤銷案件,在取保期限快到一年的時候,案件被移送到檢察院了.
1900/1/1 0:00:00去中心化供應鏈DSCMAP,一個面向未來的去中心化供應鏈管理及支付平臺生逢其時,去中心化供應鏈DSCMap(DexSupplyChain)管理及支付網絡橫空出世,去除所有中間環節.
1900/1/1 0:00:00比特幣似乎不可避免,但你仍然可以采取行動推動它向前發展。我們生活在一個巨大變化的時代,錢壞了。但從好的方面來說,我們有這種貨幣技術,比特幣.
1900/1/1 0:00:00