
作者| 秦曉峰
編輯| 郝方舟
出品| Odaily
作者| 秦曉峰
編輯| 郝方舟
出品| Odaily
作者| 秦曉峰
出品| Odaily
以下為社群訪談實錄,由Odaily整理:
作者| 秦曉峰
Lemon Lin:出品| Odaily
以下為社群訪談實錄,由Odaily整理:
區塊鏈的一大重要特性,便是「開放透明」。交易動向、鏈上轉賬,一目了然。
作為全球化無需信任的金融基礎設施,Findora 的創建初衷是為了解決可擴展性和隱私問題,以使Web 3.0 可以成為下一代金融基礎設施。並且,Findora 是公共的,無論是個人、中小企業還是行業巨頭,都可以使用Findora。
Lemon Lin:以下為社群訪談實錄,由Odaily整理:
3 月29 日,Findora 基金會首席董事Paul Sherer、CMO Lemon Lin 做客Odaily 超話社區,預告了即將上線的主網以及Findora 如何更好地服務DeFi。
一方面,Findora 將為以太坊上的現有DeFi 應用程序提供ZK Rollup 和機密交易功能,使得其更好、更快、更便宜,更具隱私性;另一方面,Findora 基於跨鍊和可驗證計算技術,任何基於以太坊的資產都可以在Findora 上進行原子轉移和交易。
以下為社群訪談實錄,由Odaily整理:
Lemon Lin:Odaily:成立於2017年的Findora,是一個兼具開放性和隱私性的金融網絡,在加密市場中也探索了四年光景。鑑於不少新入場的投資者對老項目缺少系統性的認知,先請您給我們詳細介紹一下項目(定位、宗旨等)。
Findora 是來自矽谷的科技公司,願景是打造金融隱私公鏈,成為Web 3.0的金融基礎設施,提供稀缺的高擴展性和隱私。
Findora的創始人是Lily Chao 與John Powers. John Powers 是斯坦福250億美金捐贈基金的前CEO,瑞士信貸對沖基金部門的聯席主席。兩位金融業的專才在組建他們的長青基金的過程中,被另類投資市場的痛點啟發,開始研究區塊鏈可能對金融業的影響。但是他們很快發現現有的區塊鏈的兩個大問題將阻止區塊鏈的大規模應用:可擴展性和隱私。沒有這兩種資源,金融無法真正和區塊鏈結合。 Findora是一個專注的組織,所有的技術努力都是圍繞如何解決這兩個問題。
Findora可以類比為建設一個開放式的價值交換高速公路網, 主要應用場景為DeFi和金融科技。區塊鏈現在的最大問題是擴展性差和沒有隱私性,所以在做信息互換和數據處理的時候,都有很大的問題。我們想讓參與我們這個公鏈的人,都能享受增長帶來的紅利。從技術層面來說,大家可以自由的交換信息,不用顧慮隱私。
Odaily:隱私的重要性早已深入人心,目前加密市場中也有不少的項目主打隱私保護,例如門羅、SERO、Oasis Labs 等等採用了不同的技術解決路徑。與這些競品相比,Findora有哪些差異化的優勢?
我們將以太坊和比特幣視為我們的競爭對手和合作者。因為Findora的願景是成為所有Web 3.0(尤其是DeFi)的分佈式操作系統。
Paul Sherer:我們相信Findora提供了非常獨特的價值主張,Findora解決的問題和使用的技術使其獨一無二。 Findora使用各種最新的無需信任和高效的零知識證明技術,將有效的加密/匿名資產操作/交易引入開放式區塊鏈;Findora 使用密碼學技術為開放式區塊鏈創建加密身份和憑證; Findora使用同類中最好的zkSNARKS來創建優化的ZK Rollup,以幫助提升區塊鏈的可拓展性;Findora創新地使用各種經過身份驗證的數據結構來製作高效的新區塊鏈。
Findora可以做很多比特幣和以太坊無法做的事情,例如隱私、高可伸縮性和加密身份。有人認為我們還與Zcash和Monero等隱私權硬幣競爭,我認為我們不是主要競爭者,我們所能做的遠遠超過這些隱私權硬幣所能做的,Findora上的token 不僅是私人的,還可以購買可審計的智能合約。同時,Oasis 使用受信任的執行環境(Trusted execution environment),來實現隱私,比如Intel SGX,這可以高效的實現隱私,但是我們很難信任硬件。最近我們也聽到各類黑客攻擊,破壞了受信任的執行環境的信任基礎。但是Findora 不用受信任的執行環境,我們的隱私性就是通過密碼學技術實現的。
Odaily:目前隱私保護的重要實現手段是零知識證明,主要的零知識證明技術有三種:zk-SNARK 、zk-STARK 、Bulletproof。 Findora使用了哪種技術,能否請您詳細介紹一下其具體實現路徑?
我們認為零知識證明(Zero Knowledge Proof)是區塊鏈與密碼學近10年來最大突破之一是。零知識證明是一種數據加密方案,是實現鏈上數據隱私保護的一個重要途徑。
四年前出現了Zcash,Zcash是零知識證明的早期應用之一,他們利用了零知識的一個突破,zk-SNARK。但是Zcash的應用場景局限, 有一些缺點,比如,需要trusted setup(可信設置), 時間複雜度與空間複雜度較高。 2018年發明的Bulletproofs是無需信任的,隱私性適用於中低複雜度的交易,時間複雜度與空間複雜度較高,越複雜的申明,需要證明的時間就越久。
Supersonic 實現了一定的技術性突破,因為Supersonic 不但不需要可信設置,而且速度快容量小。新型的SNARK技術Supersonic(超音速)結合了Sonic和DARK編譯器,是首個無需可信設置的非交互性簡短證明,100萬邏輯門的前提下可以將證明大小壓縮到10-20KB,甚至還有優化空間, 這些技術會幫助Findora同時具備有效率的隱私性和可審計性。
我們的零知識證明是我們用於此目的的關鍵工具之一。像比特幣這樣的系統會在鏈上透明發布所有交易的輸入和輸出。同樣在以太坊中,所有人都可以看到智能合約的所有輸入。在Findora中,我們可以將所有內容(發件人,收件人,交易明細和合同數據)隱藏在零知識證明中。我們對不同類型的交易使用不同的工具。
對於簡單的交易,例如基本的保密資產轉移,我們會使用Bulletproofs。但如果交易變得複雜,使用Bulletproof驗證就太昂貴了。因此對於高複雜度的交易,我們需要類似於ZK-SNARK的工具,即使使用了非常複雜的語句,也仍然易於驗證。這就是Supersonic閃光之處: 即使需要證明復雜的陳述,比如通過Discret添加到資產的特定規則,它也仍然易於驗證。與Bulletproofs一樣,它不需要受信任的設置即可發揮作用。 ”
我們還使用了其他可用於特殊用例場景的工具,它們是專門為那些用例量身定制的,以使它們盡可能高效。因此,不只限於Supersonic、Bulletproofs或其他SNARKS等通用證明系統,我們開發了優於最先進的通用系統的工具,但它具有更加特定的使用範圍。
隱私保護,通常使用默克爾樹(又稱哈希樹)模型,以及使用對稱密鑰交換的Diffie-Hellman模型,包括所有RSA 加密。
我們的加密技術採用了兩種方式:Bulletproofs(為我們的加密交易提供動力)、zk-Snarks(有利於實現我們的資產跟踪策略)。
不過,Findora目前不依賴zk-STARKs,因為它需要更大的驗證區塊,這將導致其在性能和可擴展性方面產生非常負面的影響。此外,我們的團隊還發明一個zk-SNARKs 無需信任的版本,名為Supersonic,目前正在對其進行優化以獲得更高的性能。
重要的是,Findora基金會(Diffie博士是該基金會的成員之一)正在與學術界一起積極發展我們的保護措施,包括斯坦福大學、麻省理工學院、佐治亞理工學院、馬裡蘭大學等一流大學和德國的國際學者。
我們在Findora協議和FRA令牌中融入了Findora的先進技術,允許在不同的網絡中進行大規模使用。因此,該協議可以調用一個多樣化和強大的保護程序庫,包括上述所有zkSNARKs、zkSTARKs和Bulletproof。斯坦福大學Bulletproof核心開發團隊包括Findora 團隊的前成員和活躍成員。
zk-SNARK代表零知識簡潔的、非交互式論證。對於沒有特定關係的用戶之間和跨用戶的應用,非交互協議特別有用。
Lemon Lin:zk-STARK代表零知識、簡潔、透明、非交互式的知識論證。在建立透明可信的基礎方面,zk-STARKs 與區塊鏈技術類似,但由於驗證規模較大、漏洞增加,帶寬和存儲需求明顯增大。由於這些問題,我們今天沒有積極部署zk-STARKs。
Bulletproofs 是一種簡潔的非交互式的零知識證明,不需要可信的設置。
Bulletproofs可以用於實現比特幣和其他加密貨幣的高效保密交易,允許用戶轉賬時隱藏他們的賬戶餘額和交易金額,允許簡潔的範圍證明
而且,Bulletproofs支持證明聚合,將加密證明的大小從超過10kB 縮小到小於1kB。
如果所有的比特幣交易都是保密的,並且使用了Bulletproofs,那麼UTXO集的總大小將只有17 GB,而當前使用的證明則是160 GB。
Paul Sherer:Bulletproofs 在加密協議中還有很多其他的應用,如縮短償付能力證明、縮短可驗證洗牌、
機密智能合約,並作為Sigma協議的一般替代方案。
ECDH(Elliptic-curve Diffie–Hellman)是一種密鑰協商協議,允許雙方各自擁有一個橢圓曲線的公私密鑰對,在一個不安全的通道上建立共享秘密。這個共享密鑰可以直接用作密鑰,也可以派生另一個密鑰。然後,可以使用該密鑰或派生密鑰使用對稱密鑰密碼對後續通信進行加密。它是使用橢圓曲線密碼學的Diffie-Hellman協議的一種變體。
Odaily:區塊鏈追求「開放透明」,隱私與透明處於天然的對立,但Findora卻想兼具兩者。為什麼會進行這樣設計?
Findora 是全球化無需信任的金融基礎設施,創建Findora 是為了解決可擴展性和隱私問題,以使Web 3.0 可以成為下一代金融基礎設施。並且,Findora 是公共的,無論是個人、中小企業還是行業巨頭,都可以使用Findora。
金融的可審計性和隱私其實是兩個極端,但Findora希望在這兩者之間找到一個非常好的平衡點,這就是為什麼我們認為零知識證明是一種非常好的密碼學和隱私計算的方式,因為它可以提供可選擇性披露,特別是在監管和審計方面,這可以為區塊鏈進入主流帶來非常大的動力。
Findora 的首要目標就是為金融應用提供一個可用的系統,所以從一開始,我們就專注某些特定的功能,比如DeFi、P2P 借貸、資產管理以及發行各類資產等等。我們的獨特之處主要是在隱私和可審計性之間尋求平衡。可審計性對金融應用而言至關重要。
Findora 如何實現這樣的平衡呢?答案是效率。我們致力於用自己發明的密碼學技術,讓我們的隱私工具變得極為高效。換言之,這些功能是平台原生的,用我們的隱私功能交易,比在以太坊上交易,費用也要低得多。
Findora 發明了一些零知識證明的技術,來實現這個平衡。我還想強調我們做的另一個功能,一個系統,實現網絡角色的良好分離,換言之:治理和共識協議和系統的存儲層是分離的,你不需要有很高的算力或存儲資源,也可以參與共識。即使不參與共識,你也可以作為存儲或計算節點參與。這樣的模塊化功能也是我們的一大獨特之處。
Lemon Lin:隱私是用戶完整性和用戶採用的基礎。如果一個平台或服務不能被信任,那麼採用當然會受到負面影響。
這種創新、無需信任的安全,是區塊鏈成功和未來發展的基石。我們所有的產品都將使用無需信任的身份驗證和分佈式協作。
最初的架構使用了非加密的方法來實現信任。然而,我們看到絕大多數金融和網絡服務要求保密。我們所實現的透明性並不會影響用戶隱私,因為它只會進行100% 驗證數據特徵但不公佈數據。
舉個例子,我們可以驗證一個名牌大學的學士學位,而不公佈校友錄。如果你要招聘,這種方式對驗證學歷是非常有用的。
Lemon Lin:如果一個中央銀行可以保證賬戶餘額有效,在授權的司法管轄區持有,並持有與他人進行交易的有效憑證,那麼我們就擁有一個保密且可信的過程。
我們相信,這些兼具私密和透明的驗證流程,將在未來幾十年內主導區塊鍊網絡的活動。
最重要的是,這種隱私性將促使Findora 用戶提供特定的個人數據,用於訪問、分析、分配和諮詢服務,而這些數據在今天是被限製或用單一服務管理的。
Paul Sherer:同時,我們相信我們獨特的監管可視性將為中央銀行和金融機構提供所需的保證,成為CBDT 和穩定幣非常活躍的成員,而後為稅收合規和投資諮詢提供服務。
Odaily:在開放透明性上,Findora又是如何設計的?在監管方面,Findora採取了哪些措施?
Findora主要是用現代密碼學零知識證明和ZK Rollup技術,來提供普惠金融所必需的隱私技術。我們相信未來隱私一定是金融和區塊鏈進入主流的必經之路。 Findora擁有全世界最好的零知識證明這類的團隊,在區塊鏈的性能和TPS方面,我們有最好的ZK Rollup技術,我們可以保證DeFi應用在這條公鏈上,可以受到非常好的隱私保護。
同時我們又會提供一些可審計性,因為金融的可審計性和隱私其實是兩個極端,但我們希望在這兩者之間找到一個非常好的平衡點,這就是為什麼我們認為零知識證明是一種非常好的密碼學和隱私計算的方式,因為它可以提供可選擇性披露,特別是在監管和審計方面,這可以為區塊鏈進入主流帶來非常大的動力。
Findora 擁有龐大的審核工具,包括償付能力證明、範圍證明和白名單資產證明、認可證明、身份選擇性披露工具、加密資產追踪器等。這些工具的設計都是出於一個目的:允許公共或某些特權審計員了解並驗證交易中的某些聲明,同時仍對原始數據保密。在許多情況下,不僅面對監管,這種細粒度的審核都是非常必要,並且可以保護隱私。
Odaily:能否介紹一下Findora目前的合作夥伴,他們都為項目發展、落地提供了哪些幫助?
目前Findora已經和美國的雲端服務商與消費產品提供商:Travel USA Express、Menusifu、the House Club、WeMeet;金融創新公司YouWorld;加拿大的金融機構服務商OTT Pay、MoneyMoov、IOT Pay、Kabu;中國領先的移動支付公司SWiftpass;汽車連鎖服務集團Deuts Auto Service、區塊鏈服務網絡BSN國際等一批知名企業建立起合作夥伴關係,在金融、保險、票務、支付、旅遊出行、餐飲外賣、房地產銷售、智慧會展、汽車銷售服務等場景進行深入案例合作和聯合應用開發。
在未來將把Findora的概念、技術和軟件與合作夥伴的業務相結合,從而進一步鞏固他們在各自行業中的市場領先創新者的地位。我們希望打破數據孤島,使所有人,包括企業家和金融科技初創公司都可以訪問的功能強大的基礎架構,這個基礎架構使用成本低、可擴展,非常合規並且可以立即投入使用。
Odaily:Findora上有哪些代表性應用產品嗎?這些產品在用戶數、交易數等方面是否有數據成果方便展示?
Lemon Lin:我們最初的應用重點是一個私人護照,作為一個簡單的用戶網關,在區塊鍊網絡上提供保密金融服務。
做個類比就像加密瀏覽器,你可以訪問網站、交換信息、支付,並且在這個過程中不暴露你的身份。
我們專注於這類擴展訪問、支持分配以及為用戶提供諮詢和情報的功能。
我們的合作夥伴是領先的數字支付平台,擁有數百萬用戶。當社區與電商供應商進行交易時,我們可以共同保護用戶身份和偏好。
我們的討論包括擁有數百萬用戶的全球網絡平台,這些平台尋求確保用戶憑證的安全,並在經過批准的合規監管下實現安全金融服務。
Paul Sherer:此外,我們還積極與金融和資本市場的領導者合作,將封閉的金融和投資服務過渡到我們的無需信任和保密模式。
通過我們去信任化的服務,Findora的合作夥伴可以開發一個疫苗登記系統,以便根據需要為正在進行的全球疫苗發放和付款。
2021年沒,我們的一項計劃是積極與企業級密碼學開發人員合作,促成DeFi 核心應用程序採用Findora架構。
Odaily:近期,Findora完成了兩次嚴格的安全審核,並將於月底正式上線主網。在如火如荼的去中心化金融(DeFi)的浪潮下,上線主網的Findora如何助力DeFi發展(性能、玩法)?
DeFi 大規模發展需要同時解決可擴展性(速度)/隱私性/可驗證性。沒有隱私技術的公鏈無法完成交易數據的保護需求;若Throughput 低,也無法完成快速交易和在波動大時快速進攻防守價位的撮合需求;若在隱私保密下無法進行第三方驗證則有無公正性和清算可監管的問題。所以要同時滿足「高效」、「隱私」、「可驗證」三點。
Findora 將通過兩種方式參與DeFi:
1. Findora 為以太坊上的現有DeFi 應用程序提供ZK Rollup 和機密交易功能,以便在以太坊上運行的DeFi 應用程序可以更好、更快,更便宜,並且可以實現更多沒有隱私性就無法實現的功能;
2. Findora 基於跨鍊和可驗證計算技術,任何基於以太坊的資產都可以在Findora 上進行原子轉移和交易。我們可以為直接基於我們構建的應用程序,提供可擴展性和成本優勢。
私密DeFi 應用程序包括一系列新的DeFi 產品:Dark Pool Dex(允許秘密大票加密交易)、保密FX 池(可以允許機密的跨境匯款),僅舉幾例。主網啟動後,我們將盡快發布。我們用於構建隱私保護定義的技術包括Bulletproofs、Dark 編譯器、Supersonic、Plonk、高級密碼學簽名等。 Findora 構建的Zei 加密庫是世界上最先進、最全面的Rust 加密庫之一。
我們專注於主網的穩定性、性能和安全性。最近通過的安全審計就是我們嚴格的內部流程審查的一部分。
隨著我們每個月取得進展,我們的用戶社區、合作夥伴和潛在合作夥伴都將獲得關於我們網絡成功的寶貴見解和數據。
Lemon Lin:合作夥伴將可以在我們的社區中推出並改進他們的核心服務。此外,用戶數據將流回他們團隊,用於分析和開發改進和擴展。
在過去的幾年裡,這一開發進展一直僅限於Findora內部,隨著我們的主網上線,我們的合作夥伴和開發者將更加活躍。
此外,主網開發人員招聘方面也取得了成功,未來幾年將繼續增加我們的團隊。
關於DeFi,我們相信我們的主網發布將會在一個公開的,未經允許的區塊鏈上展示機密交易的非常有用的性質。能夠在公眾上掩蓋金額甚至資產類型
關於DeFi,我們相信主網的推出將展示在一個非常重要的特性,即在公開的、無權限的區塊鏈上進行機密交易,掩蓋金額甚至資產類型。
交易日誌對於任何DeFi用戶來說都是非常有價值的,他們希望使用一個公共的、去中心化的應用程序,但仍然保持最大的隱私。
坦率來說,現在有多少以太坊DeFi用戶。願意整個世界知道自己剛剛通過DeFi應用完成了一筆價值100萬美元的以太坊交易?這是非常私人的信息,但現在卻是公開的。
好在,Findora將改變這一切。
Odaily:很多投資者也關注Findora主網上線後,代幣的分發情況。能否請您介紹一下代幣以及經濟模型設計?
FRA 是整個Findora 金融生態的價值樞紐,體現在幾大方面。
FRA 是公鏈的主網幣,包括公鏈底層的共識、Gas 等
FRA 是Staking Rewards 的價值媒介,回饋參與共建Findora 主網的Miner 和長期支持者
Lemon Lin:FRA 是一些特殊Premium 功能,如隱私和監管合規的支付計價代幣
FRA 是跨鏈交互媒介和價值分配單元,如ETH Rollup Service 的礦工Work Token。在涉及到為區塊鏈行業其他鏈加速和加隱私模塊上面,FRA 是跨鏈交易的實現媒介,也是Gas Fee 價值捕獲的媒介。比如近期以太坊網絡堵塞,Gas 費非常高,那麼使用Findora 的ETH Rollup Service 就可以做到降低Transaction 成本且可以增加隱私的功能,在這裡礦工需要用FRA Work Token Model 才能夠獲取ETH Gas Fee
FRA 是Findora DeFi 生態價值的橋樑,未來Findora 生態中的去中心化交易所的平台幣和流動性挖礦會圍繞FRA 作為參與條件展開。 Ecosystem 的核心流動性挖礦的項目包括:去中心化交易所,衍生品發行平台,大宗交易暗池,Yield Optimization 平台,借貸市場,去中心化穩定幣發行平台;他們都需要FRA Token 作為起始挖礦媒介展開,即FRA 是這些項目的發起Shares 的獲取媒介
FRA 具有大量的以FRA Token 為抵押物Collateral,鎖倉發行衍生品資產的場景,比如Findora 主網的自合成衍生品Token 發行需要FRA Token 的背書和抵押。我們發現在區塊鏈行業有大量的衍生品交易需求,比如期貨,保險,index 等;Findora 網絡會是最好的Programmable 衍生品發行和交易平台,滿足區塊鏈行業完整的衍生品交易需求和現在交易所還未填充的價值窪地
Lemon Lin:Findora 生態中殺手級應用產生的部分收益,比如交易手續費,借貸利率Commission, Loan Origination 費用等的一定比例會參與二級市場的FRA Token 回購
未來的企業服務Enterprise Adoption 也會圍繞FRA 的抵押憑證進行;比如企業通過內部聯盟鏈跨鏈接入Findora 共識,供應鏈金融企業節點,華爾街傳統金融資產上鍊清算,跨境支付類銀行節點等
Lemon Lin:Findora 也是Shopify for Managing DAO, 在隱私保護的環境下,創建和管理自定義的DAO Governance 社區會像一鍵上線一樣簡單
FRA Token 也是一個Governance Token,隨著社區的擴大和成熟,Findora 會在合適時間將更多的模塊開放給社區共治,讓持幣者成為生態的主人
Odaily:Findora的團隊聲名在外,其中包括圖靈獎獲得者。想請您給大家詳細介紹一下核心團隊以及顧問團隊成員。
密碼技術與安全技術領域的泰斗Dr. Whitfield Diffie 是2015 年「計算機學界的諾貝爾獎」圖靈獎的獲得者,並且入選2020 美國計算機協會ACM Fellows 表彰名單。 1975年,Dr. Whitfield Diffie 與Martin Hellman 教授開發了安全協議Diffie–Hellman key exchange,這是在密碼學領域實現的最早的公共密鑰交換的實用示例之一,更是現在互聯網商務安全的基礎。 Dr. Whitfield Diffie 於2020 年11 月正式加入Findora 高級研究院, 成為Findora 基金會的高級顧問,助力Findora 生態項目開發與落地。
Paul Sherer,Findora 基金會的首席董事和委員會成員。 Paul 是矽谷科技業和金融界資深人士,在加密貨幣、創業和風險投資方面均擁有豐富的經驗,主要負責公司的戰略拓展和全局策略。畢業於杜克大學(Duke University)和斯坦福大學商學院(MBA)。作為著名的Robertson Stephens&Co的董事總經理,他曾在投資銀行、股票研究和資本市場承擔高級管理職位超過10年。他還擔任VantagePoint Venture Partners的管理合夥人,管理著超過20億美元的投資。 Paul對於加密貨幣、計算機網絡博弈論、去中心化金融應用和基於區塊鏈的自治金融組織和穩定幣均有深入的研究和實踐。 Paul和Findora共同創始人John Powers有著超過20年的共同工作經驗,Paul也是Findora創始團隊的一員,歷經了Findora從創立到壯大的全過程。
Findora 團隊由來自MIT、斯坦福、卡耐基梅隆、哥倫比亞大學、康奈爾大學等知名院。我們現在約有50 人,工程師有40 人,這是我們北美團隊的組成,90% 以上的人都有博士以上學位。
Odaily:目前Findora獲得哪些機構融資,能否請您介紹一下目前的融資情況?
Lemon Lin:2020 年8 月,Findora Foundation 已完成數千萬美元新一輪融資,由加密貨幣風投公司Polychain Capital 領投,Allchaineed、Krypital Group、Axia8 Ventures、Cabin VC、Powerscale Capital 等機構參投,HCM Capital 創始合夥人Jack Lee 等個人也參與了此次投資。
Odaily:在主網上線後,未來Findora還有哪些發展規劃,能否介紹一下接下來的路線圖?
在2021年,我們有如下計劃:
保密流動性橋接,可以將BTC和ETH、XPR帶到Findora並進行加密交易;
開發具備隱私保護的高速去中心化交易所;