以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

ADA:a16z :Cicada 利用時間鎖謎題和零知識證明實現鏈上投票

Author:

Time:1900/1/1 0:00:00

原文標題:《BuildingCicada:Privateon-chainvotingusingtime-lockpuzzles》

作者:MichaelZhu,a16z?

編譯:Lynn,MarsBit

所有無論以何種有意義的方式運作的投票系統都依賴于完整性和透明度。從表面上看,這使得區塊鏈成為構建這些系統的理想平臺——事實上,許多去中心化的組織已經接受了無許可投票來表達集體意圖,通常是在揮舞大量財富或調整關鍵協議參數的情況下。但是鏈上投票也有缺點,隱私仍未被探索和開發,對Web3投票系統不利——在目前使用的大多數鏈上投票協議中,選票和投票結果是完全公開的。如果沒有隱私,投票結果很容易被操縱和選民激勵錯位,可能會導致不民主的結果。

這就是為什么我們要發布Cicada:一個新的、開源的Solidity庫,利用時間鎖謎題和零知識證明來實現私人鏈上投票。與現有的系統相比,Cicada具有新穎的隱私屬性,最大限度地減少了信任假設,并且足夠高效,可以在以太坊主網上使用。

在這篇文章中,我們調查了投票隱私的情況,并提供了關于Cicada如何工作的高層次描述。我們還鼓勵開發者查看?GitHub倉庫——Cicada可以通過許多方式進行調整和擴展,以支持不同的投票方案和功能,我們希望與社區合作,探索這些可能性。

a16z crypto和Paradigm就SEC訴Coinbase 案提交法庭之友陳述:金色財經報道,a16z crypto和Paradigm宣布就SEC訴Coinbase 案聯合提交法庭之友陳述。該陳述表示,SEC的監管過度已經危及美國區塊鏈技術的發展。盡管美國證券交易委員會聲稱每個代幣都是投資合同的一部分,但他們已經超出了定義的范圍。此外,美國證券交易委員會對加密貨幣的態度可能會破壞廣泛的經濟部門的穩定,因為它將把沒有人認為是證券交易的資產和收藏品的普通交易納入其管轄范圍。最后,美國證券交易委員會目前在數字資產監管方面超越了國會,這樣做的方式會禁止該技術,而不是促進其安全發展。[2023/8/12 16:21:55]

私人投票的簡要調查

在任何投票系統中,有許多不同層次的隱私需要考慮。個別選票的披露、運行中的計票和選民身份都會以不同方式影響選民的積極性。哪些隱私屬性是必要的,取決于投票的背景。在密碼學和社會科學文獻中經常出現的幾個:

選票隱私:秘密選票,也被稱為“澳大利亞選票”,是為現實世界的投票系統開發的,作為保持個人選民的偏好的一種方式,并減輕賄賂和脅迫。選票隱私還可以減輕社會期望偏差——某人基于他人對其選擇的看法而投票的壓力較小。

Metatheory完成2400萬美元融資,a16z領投:金色財經消息,Web3互動媒體公司Metatheory完成2400萬美元A輪融資,a16z領投,Pantera Capital、FTX Ventures、Breyer Capital、Merit Circle、Recharge Theme Ventures、Dragonfly Capital Partners、Daedalus、Sfermion和Global Coin Research等參投。

據介紹,Metatheory由Twitch聯合創始人Kevin Lin創立,旨在構建Web3游戲和虛擬世界,重點關注建立具有超越游戲本身的強大IP的特許經營權。[2022/5/17 3:20:23]

正在進行中計票的隱私:許多投票系統在選民仍在投票時隱藏正在進行中的計票,或每個選項已經投了多少票,以避免影響投票率和選民激勵。我們已經在現實世界中看到了這種情況;例如,較晚投票的美國參議員比較早投票的參議員更有可能與他們的政黨保持一致。而在鏈上:在代幣加權投票中,鯨魚可以通過讓對手保持領先來哄騙他們的虛假安全感,然后在最后一刻投出自己的選票來左右結果。

P2E游戲初創公司Battlebound獲得480萬美元融資 A16z領投:金色財經報道,P2E游戲初創公司Battlebound宣布了由Andreessen Horowitz(a16z)領投的480萬美元種子輪融資,PlayVentures和CryptoKitties開發商DapperLabs參與其中。參與本輪融資的天使投資人包括YieldGuildGames首席執行官Gabby Dizon、Dapper Labs首席執行官Roham Gharegozlou和a16z顧問AlexPrice。這筆資金將幫助Battlebound擴大規模并分階段發布其兩個正在開發中的游戲,以加快上市速度。Battlebound首席執行官表示,該公司還將擴大其開發和運營團隊。(coindesk)[2022/3/31 14:30:02]

選民的匿名性:在許多現實世界的投票系統中,你的投票是不公開的,但你投了票的事實往往是公開的。這對于防止選民欺詐很重要,因為公布投票者的記錄可以讓人們檢查是否有其他人以他們的名義投票。然而,在鏈上,我們可以防止選民欺詐,同時使用加密基元保留匿名性——例如,通過?Semaphore,你可以在零知識中證明你是一個還沒有投過票的合格的選民。

BreederDAO完成1000萬美元A輪融資,a16z和Delphi Digital領投:1月26日消息,BreederDAO宣布完成了1000萬美元A輪融資,a16z和Delphi Digital領投,Hashed、com2us、Morningstar Ventures、Mechanism Capital、Sfermion、The LAO、Emfarsis 等參投。

BreederDAO將利用這筆資金來擴大其資產生產計劃。同時,BreederDAO 還將對采用玩家驅動型經濟模型的區塊鏈游戲進行戰略投資。在這些游戲中,需要大量的優質資產,以滿足從游戲推出時起不斷上升的消費需求。BreederDAO 還將擴大其核心團隊,聘請工程和業務方面的資深人才。[2022/1/26 9:12:39]

無收據性:個人選民提供其選票的“收據”,以證明他們是如何向第三方投票的,否則可能導致賣票。一個密切相關但更強大的屬性是抗脅迫,它可以防止有人脅迫選民以某種方式投票。這些屬性在去中心化的環境中特別有吸引力,因為投票權可以通過智能合約市場實現流動性。不幸的是,它們也很難實現——事實上,Juels等人指出,在沒有可信硬件的情況下,這在無許可的環境下是不可能的。

a16z正為第二支加密貨幣基金尋求4.5億美元資金:金色財經報道,硅谷投資巨頭Andreessen Horowitz(a16z)正為其第二支專注于加密貨幣的基金籌集4.5億美元資金。其中一位知情人士說,a16z可能會在大約一周內敲定新基金,但尚未對其規模設定硬性上限。據此前報道,該投資公司的第一支加密專用基金在2018年中期吸引了3.5億美元的資本承諾。[2020/4/15]

Cicada專注于正在進行中計票隱私,但它可以與零知識組成員證明聯合,以達成選民的匿名性和選票隱私。

介紹Cicada:來自同態時間鎖難題的計票隱私

為了實現正在進行中計票的隱私,Cicada利用了以前從未在鏈上使用過的密碼學基元。

首先,時間鎖謎題是一個加密謎題,它封裝了一個秘密,只有在一些預定的時間過后才能被揭示——更具體地說,這個謎題可以通過重復進行一些非平行計算來解密。時間鎖定謎題在投票的背景下對于實現運行統計的隱私很有用:用戶可以將他們的選票作為時間鎖謎題提交,這樣他們在投票過程中是保密的,但在投票后可以被揭露。與其他大多數私人投票結構不同的是,這使得運行統計隱私不需要依賴統計機構、閾值加密或任何其他受信任方:任何人都可以解決一個時間鎖謎題,以確保投票后結果被揭示。

其次,一個同構的時間鎖謎題具有額外的屬性,即在知道秘密密鑰、解密謎題或使用后門的情況下,對加密值的一些計算是可能的。特別是,一個線性同態的時間鎖謎題允許我們將謎題組合在一起,產生一個新的謎題,封裝了原始謎題的秘密值的總和。

正如論文作者所指出的,線性同態的時間鎖謎題是一種特別適合于私人投票的基元:選票可以被編碼為謎題,并且它們可以被同態地組合起來,以獲得一個編碼最終計票的謎題。這意味著只需要一次計算就可以揭示出最終結果,而不是為每張選票解決一個獨特的謎題。

一個新的結構:效率和權衡

要使投票方案在鏈上實用,還需要考慮幾個問題。首先,攻擊者可能會試圖通過投一個不正確的編碼的選票來操縱投票。例如,我們可能希望每張選票的時間鎖謎題都編碼為一個布爾值:“1”表示支持被投票的提案,“0”表示反對。一個熱心的提案支持者可能會試圖編碼,例如“100”來擴大他們的有效投票權。

我們可以通過讓選民在提交選票本身的同時提交一份關于選票有效性的零知識證明來防止這種攻擊。不過零知識證明的計算成本很高——為了盡可能降低選民參與的成本,證明應該是可有效計算的客戶端和可有效驗證的鏈上證明。

為了使證明盡可能高效,我們使用了定制的?sigma協議——為特定代數關系設計的零知識證明,而不是通用的證明系統。這使得證明者的時間非常快:用Python生成一個選票有效性證明,在一臺現成的筆記本電腦上需要14ms.

雖然該sigma協議的驗證器在概念上很簡單,但它需要相當一部分大的模冪。Malavolta和Thyagarajan的線性同態方案使用?Paillier加密,因此這些求冪將對某些RSA模N以N^2為模執行。對于合理大小的N,在大多數EVM鏈上,取冪非常昂貴。為了降低成本,Cicada使用?指數ElGamal——指數ElGamal仍然提供加性同態,但在更小的模數上工作。

使用ElGamal的一個缺點是解密計數的最后一步需要暴力破解離散日志。因此,它僅適用于預期的最終票數相當小的情況。在最初的基于Paillier的方案中,無論其大小如何,計數都可以被有效地解密。

選擇RSA模數N也涉及權衡。我們的實現使用1024位模數來提高gas效率。雖然這遠高于有史以來公開分解的最大RSA模數,但低于通常推薦的大小為2048位,用于RSA加密或簽名。但是,我們的應用程序不需要長期安全性:一旦選舉結束,如果將來考慮N就沒有風險。假定計票和選票在時間鎖定期滿后公開,因此使用相對較小的模數是合理的。

匿名和選民資格

如上所述,Cicada提供了運行計票隱私——時間鎖定謎題屬性在投票期間保持計票的私密性。然而,每個單獨的選票也是一個時間鎖難題,在相同的公共參數下加密。這意味著就像可以解密計數一樣,每張選票也可以。換句話說,Cicada僅在投票期間保證選票隱私——如果好奇的觀察者希望解密特定選民的選票,他們可以這樣做。解密任何個人選票與解密最終計票一樣昂貴,因此天真地需要O(n)的工作來完全解密有n名選民的選票。但是所有這些選票都可以并行解密,花費的掛鐘時間與解密最終計票所需的時間相同。

對于某些選票,這可能是不可取的。雖然我們對臨時運行計票隱私感到滿意,但我們可能希望無限期投票隱私。為實現這一點,我們可以將Cicada與匿名選民資格協議結合起來,通過零知識組成員身份證明進行實例化。這樣,即使選票被解密,它所揭示的只是某人以這種方式投票——我們已經從計票中知道了這一點。

在我們的存儲庫中,我們包含一個使用?Semaphore?進行選民匿名的示例合約。但是請注意,Cicada合約本身沒有對如何確定或執行選民資格做出任何假設。特別是,您可以將Semaphore替換為例如Semacaulk或ZK狀態證明。

統計當局

我們在設計Cicada時的首要任務之一是避免需要統計機構:許多私人投票結構需要一個半信任的統計機構接收和匯總選票。在區塊鏈環境中,這意味著這些方案不能僅由智能合約執行,需要一些人為干預和信任。

在大多數結構中,計票當局在完整性方面不受信任,但在活性方面值得信任——如果他們離線,則無法計算最終結果,從而無限期地拖延投票結果。在某些結構中,他們也被信任維護隱私——也就是說,他們了解每個人如何投票,但預計會在不透露此信息的情況下公布投票結果。

盡管在許多現實世界的場景中,統計當局是一個合理的假設,但它們在區塊鏈環境中并不理想,我們的目標是最大限度地減少信任并確保審查阻力。

Cicada探索了鏈上投票隱私領域的眾多方向之一,并補充了其他團隊正在進行的大部分研究。如上所述,Cicada與信號量、ZK存儲證明和限速無效器等匿名組成員技術密切相關。Cicada還可以集成NounsVortex團隊提出的?optimistic證明檢查器,以減輕選民的gas負擔。

還有機會調整Cicada以支持不同的投票方案——更復雜的方案對于以太坊主網來說可能計算成本太高,但它們在L2上可能是實用的。考慮到這一點,我們歡迎您就下一步將Cicada帶到哪里做出貢獻、分叉和建議。

Tags:CICADAICACADcichainYabbaDabbaDooshibmerican幣大莊Avocado guild

芝麻開門交易所
MINE:蜜聊(Mechat)—ABS引領去中心化社交新風潮

包容開放的互聯網一方面拉近了人與人之間的距離,但不得不承認的是,另一方面它也讓隱私泄露、密碼泄露等安全事件發生的概率越來越高.

1900/1/1 0:00:00
BAR:大餅晚間行情分析及入場建議

大餅晚間行情分析及入場建議比特幣行情多次試探上方阻力13200強壓位未果,早間多頭突然強勢上攻終于突破,并且順勢拉伸至新高13350一線并未企穩,隨及幣價開始快速跳水最低回調至12891.

1900/1/1 0:00:00
ERA:幣圈總監:BTC實時策略完美止盈提示

一切事無法追求完美,唯有追求盡力而為。這樣心無壓力,出來的結果反而會更好。滴水穿石,不是力量大,而是功夫深.

1900/1/1 0:00:00
OBI:BTC在13000USDT整理操作空間還有嗎

大家好,我是雄哥。我們看一下昨天的行情,昨日BTC上午達到年內新高高位13350之后開始大幅回落到12891,之后全天都維持在12850-13000左右高位震蕩,期間最低位12830,到今日早上.

1900/1/1 0:00:00
COI:亮亮說幣:10/25ETH晚間情分析.還在為不懂思路而煩惱嗎?那就過來關注我吧.

前言: 時間沒有等你,是誰忘了帶你走,左手過目不忘的是你我,右手里是十年一個漫長的打坐。如果能夠繼續等待,如果時間能夠停下,如果沒有如果?所謂的單邊還在不在,提過的念想還想不想,期待的行情還來不.

1900/1/1 0:00:00
SHARE:幣海藍天:10.26比特幣行情分析 多次上探,能否打破僵局

趨勢的形成不是憑想象,利潤的積累不是靠運氣!也許會有犯錯,也許會有過失,但這些都是交易中的風險所造成,而風險只能去防控,并不能去避免,因為沒了風險就等于沒了利潤,因此只有明白把控風險.

1900/1/1 0:00:00
ads