Findora：將零知識證明引入DeFi_Findora

當下，以太坊DeFi應用的熱度已越來越高，但是關于隱私問題及可審計性，一直以來都沒能得到很好的解決，以Aave借貸應用舉例，當某個鯨魚用戶抵押了大量資產，并借用了另一種資產，他可選擇去做多空交易，由于地址和相關交易信息是公開的，只要能夠實現利潤，便會有更大的鯨魚會惡意定點爆破明牌者的杠桿倉位，這就是沒有金融隱私帶來的問題之一，并且我們還知道，金融應用最終還是要接受監管的，這就是可審計性的重要意義。

而在本文當中，我們將探討：

Findora是什么

Findora創新技術

Findora如何實現隱私保護和可審計性

借貸應用案例

一、Findora：基于零知識證明的去中心化金融基礎設施

Cream Finance攻擊者將100萬枚DAI兌換為約529枚以太坊:金色財經報道，據PeckShield監測，Cream Finance攻擊者將100萬枚DAI兌換為約529枚以太坊，并轉入0xdeCE開頭地址。[2023/4/12 13:59:55]

上面我們已經提到，對于鯨魚用戶而言，將自己的資產隱私暴露在大眾面前，實際上是一件非常不利的事情，因此，很多以太坊鯨魚玩家并不會公開自己的主要地址，或者他們還會采用像tornadocash這樣的匿名方案來保護自己的隱私，這已逐漸成為了廣大DeFi玩家的共識。

而Findora是一個基于零知識證明和多方計算加密技術的高吞吐量和可擴展的公共金融基礎設施，它允許用戶及企業進行隱私交易，同時提供可審計性，這對于當前火熱的去中心化金融而言，無疑會是一個有趣的看點。

Bitfinex推出首個連接CeFi和DeFi的L2橋接:金色財經報道，加密交易所Bitfinex推出了首個連接CeFi和DeFi的Layer-2橋，以將其中心化平臺與Layer-2去中心化交易平臺及子公司DeversiFi連接起來。該橋接將為用戶提供無需許可和以隱私為中心的體驗，并結合CeFi的高流動性、可訪問特性。該公司在發布的一份新聞稿中指出，交易最初將僅限于Tether（USDT），但未來可能會對各種ERC-20代幣開放。[2021/9/24 17:02:20]

而在Findora看來，在未來的一個新世界中，金融體系中的每項資產始終都應該是合規的，并可隨時進行公開審計，想象一下：一支基金能證明他們只在被授權范圍內進行投資，一位投資者能匿名地提供資質認證，或者一個監管機構能使用細粒度審計密鑰，所有這一切的實現，同時保持著完全機密性和可互操作性。

GatlingFinance 已正式部署火幣生態鏈 并于今晚20:00點上線單幣種無損挖礦:Gatling Finance是基于火幣生態鏈首個去中心化的復合資產被動投資平臺，開發團隊未接受任何機構投資，無任何預售，團隊零預留，唯一代幣合約0xa352baa250dea5a279c825cf826891d9543bf21c，已在GitHub開源并部署至Heco瀏覽器。

目前，Gatling Finance正在接受北京知道創宇和零時科技安全公司審計，審計結果公布后全網公布。[2021/1/25 13:27:22]

二、Findora的創新點

2、1共識機制

相比許可制的拜占庭容錯共識協議，Findora采用的是聯邦拜占庭協議，它允許每個驗證者節點選擇自己的信任圈子。具體來說，驗證者節點可自定義什么構成quorum，即它將信任并一致行動的一組節點。這種共識機制，在理論上相比經典的BFT共識協議于更富彈性。

Gate.io今日中午12點開啟投票上幣第65期—DeFiner（FIN）:據官方公告，Gate.io將于12月3日（今日）中午12:00開啟第65期投票上幣項目DeFiner（FIN），投票結束時間為12月4日（明日）上午10:00。在本輪投票中，FIN如獲得1000萬票，Gate.io將上線FIN對USDT交易，參與投票的用戶均可分享40,320 FIN的空投，參與充值等活動更有5000美金空投獎勵。[2020/12/3 22:57:18]

2、2可擴展性技術

除了共識機制，Findora在數據壓縮方面也進行了一些有意義的探索，例如，Findora最新的路線圖表明：團隊將把基于透明SNARKs的ZK-Rollup擴容和跨鏈互操作的開發，作為2021年重點。這樣可以在不犧牲主鏈安全性的情況下，實現更大的交易吞吐量，以滿足潛在的大規模金融交易需求。

公告 | Bitfinex：Ethfinex用戶將可參與少數項目的代幣預售:Bitfinex發布公告稱：在Ethfinex平臺上推出Token Sales，用戶可以參與少數新項目的代幣預售。[2018/10/26]

而在狀態存儲方面，Findora還試圖通過RSA加密累加器技術大幅壓縮歷史數據，從而為全節點降低負擔，也就是說，采用這種方案有利于提高系統的魯棒性。

2、3零知識證明密碼學技術

Findora采用了多種密碼學技術以應對不同的應用場景，例如，對于資產轉移，Findora使用了Pedersen承諾、ElGamal加密、Bulletproofs等技術組合，并以毫秒級的速度生成和驗證這些密碼學證明，從而實現保密資產轉移。

另外，Findora還采用了Supersonic零知識證明方案，其突破的意義在于其將零知識證明的實用性和能力提升到一個新水平的能力。許多零知識解決方案的關鍵問題是證明量大，消耗存儲和帶寬，并且驗證交易證明可能是一個非常漫長的過程。先前的解決方案要么不切實際，龐大，緩慢，要么并非真正不可信。通過消除對可信設置的需求，Supersonic將使Findora能夠解決區塊鏈的一些最大風險和問題，例如隱私，合規性和選擇性披露問題。

三、Findora如何實現隱私保護和可審計性

談了一些術語概念，下面我們來具體了解一下Findora是如何實現的隱私保護和可審計性。

Findora的保密性體現在轉賬交易中，在定義轉賬的方法中，我們可以設置是否對資產類型以及數量進行隱藏，例如Alice想給Bob轉賬10個FRA代幣，當Alice在交易前對Amount和Type進行Blind，那么這筆交易只有Alice和Bob知道實際發生的具體的資產類型和數量，其他用戶無法查看該筆交易所轉移的資產類型和數量信息。

而Findora的可審計性體現在創建資產的規則中，資產規則用于對資產的一些特殊屬性的定義，可審計性就是資產規則的一項，資產創建者可以對資產進行trackingKey標記，那么他將對該筆資產的交易流向進行跟蹤，當提出審計時，可以對這些交易進行檢查。

四、借貸應用案例

最后，我們來談談應用案例。

Findora使用了無狀態智能合約，這種特殊的的智能合約沒有任何動態狀態，它可用于執行貸款平臺的基本功能。

原理上，合約首先會檢查貸款請求是否與貸款質押相匹配，簽名是否有效，輸入記錄是否有足夠的資金來支付貸款。如果滿足所有條件，則從地址A支付到地址B，向運營商支付1%的費用，以及從B到A發行債務通證。與正常交易不同，因為最終交易是由智能合約本身“發行”的。驗證其中一筆交易需要檢查合約程序的結果。最終交易包括了合約輸入、合約輸出以及智能合約程序的引用，智能合約程序是可以在分類帳本上查找的內容可尋址數據對象。由于沒有中間狀態，只有最終的智能合約發布的交易會影響永久分類帳本存儲。驗證流程只檢查輸入、運行程序以及輸出的有效性。

結合隱私保護及可審計性，Findora的借貸應用可以在減少對區塊鏈負擔的同時，給用戶帶來更好的隱私保護，以及可以為監管留下足夠的空間。

當然，以上這些都只是技術方向上的探索，究竟Findora能否給以太坊帶來一些威脅，還需要我們進行更多的觀察。

Tags：FININDORAFindoraPERI FinancePepe LindaTorah Networ

波場