以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > ETH > Info

LON:從 AIRs 到 RAPs —— PLONK 式的算術化如何工作

Author:

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

我們在這篇文章中解釋了如何思考和利用PLONK中使用的算術化類型。在其最一般的形式中,我們將這種算術化稱為帶預處理的隨機性Air,簡稱RAP。然而,在實踐中,處理RAP的約束情況通常會變得便利,我們稱之為turbo-Plonk和ultra-Plonk程序。在本文中,我們將解釋以上所有這些術語!

我們的起點是AlgebraicIntermediateRepresentations-AIRs;這是?STARKWARE?使用的算術化。

AIRs

一個?AIRP?在一個域?F?有長度為?n,和寬度為?w。

P?由一組?2w?個變量,預定義階數?d?的約束多項式?定義?{f?i??}?。

P?的執行軌跡?T?由?F?的元素長度為?w?的?n?個向量組成。我們認為是“行寬?w”。

T?是有效的,如果將任意兩個連續行??的?2w?值替換為任何約束多項式?fi,則計算結果為零。

STARK可以證明我們知道有效?P?的執行軌跡與一些驗證者定義的邊界約束一致:例如,我們可以要求軌跡的第一行的第一個值應該為零。

Outlier Ventures宣布與Mina基金會達成合作:7月19日消息,加密風投機構 Outlier Ventures 宣布與 Mina 基金會達成合作,以共同推動其零知識證明加速器計劃。Mina 基金會將為成功的 ZK 團隊提供研討會和指導,為創始人提供創新隱私和可擴展性解決方案所需的支持。[2023/7/20 11:05:29]

讓我們看一個經典的例子——斐波那契數列。

我們使用寬度?w=2;作為邊界條件,我們要求第一行包含兩個。然后我們使用約束多項式

有效的長度軌跡?n=4看起來像這樣:

也就是說,有效軌跡必須包含斐波那契數列的連續元素。因此,在第四行的第二個值21上添加邊界條件將驗證這確實是正確的第8個斐波那契元素。

PAIRs-帶有預處理列的AIRs

在一個預處理AIR(PreprocessedAIR),或者說PAIR?T,我們有一個額外的參數?t,并且?t?預處理/預定義了列?c1,…,ct∈F^n。除了證明者提供的?w?列外,一個執行軌跡現在還包括?{ci}?。(我們將證明者提供的列稱為執行軌跡的見證部分。)

區塊鏈NFC協議IYK發布基于ERC-6551標準的簽名模塊:金色財經報道,區塊鏈NFC協議IYK在官推宣布推出基于ERC-6551代幣標準的簽名模塊,用戶能夠使用區塊鏈技術在數字物品上留下簽名,IYK 使用近場通信 (NFC) 和區塊鏈技術來標記物理項目和IRL體驗。它提供各種支持 NFC 和區塊鏈的產品,這些產品可以鏈接到 NFT、考勤令牌、網絡鏈接和其他獨家內容。目前該模塊已在旗下IT-01和IT-03產品上部署并將為巴黎時裝周提供簽名機會,巴黎時裝周的參加者有機會獲得藝術家gmoney和Jeff Staple的數字簽名。[2023/6/26 21:59:33]

舉例來說當?t=1,w=2,n=4,執行軌跡可能如下所示:

這個多項式約束?fi?將有?2(t+w)?個變量——換句話說,預定義值?ci,j?參與了約束。

為了說明PAIRs強大的功能,讓我們看看如何使用它們來模擬AIR,其中不同行的約束不同。???一個天然的例子就是AIR,其中對于某些行,我們希望執行的行值相加;對于其他行,我們希望執行乘法。

數據:Blur交易總量達50億美元:5月30日消息,Dapprader 數據顯示,NFT 市場 Blur 交易總量已達 50 億美元,獨立買家數量 257,909 個,平均交易價格 1400 美元。截止目前,Blur暫報0.516美元。[2023/5/30 9:50:15]

為此,我們將PAIR?P?定義如下:我們設置?t=1,并將列?c1??定義為行中的一員,當然我們想要相加時為1,以及當我們要相乘時為0。

P的單約束多項式為:

變量?C1??是從預定義的列?c?1??分配的。

很明顯,根據?c1?的值強制執行加法或乘法關系。

例如,在我們希望執行兩次加法然后執行一次乘法的程序中,執行軌跡可能如下所示:

因為可以通過這種方式使用預定義的列來選擇操作,所以它們通常被稱為“選擇器(selecors)”。???

門(gate)之間交替:

上面的例子示意并建議了人們設計PAIR的典型方式:我們預定義了幾組約束,將每一組視為一個“門”。然后,在設計我們的最終程序時,我們將這些門分配給每一行。如上例所示,選擇器將用來為我們的程序“編譯”成PAIR。

知情人士:Twitter大幅削減負責全球內容審核的國際員工:金色財經報道,據知情人士報道,Twitter 上周五裁減了十幾位負責全球內容審核的國際員工,以及與仇恨言論和處理錯誤信息相關的部門。處理社交網絡錯誤信息政策、全球呼吁和平臺上官方媒體的團隊的工作人員也被淘汰。

Twitter 的信任和安全負責人Ella Irwin證實,該團隊的幾名成員被裁掉了,但否認他們針對的是彭博社提到的一些領域。她說,Twitter 確實取消了公司中那些沒有獲得足夠“數量”以證明繼續支持合理的領域的角色。但她表示,Twitter 已經增加了其上訴部門的人員編制,并將繼續擁有一名收入政策負責人和該平臺亞太地區負責信任和安全的負責人。[2023/1/9 11:02:46]

值得注意的是,除了使用選擇器在門之間切換外,很多時候門本身也會使用選擇器來實現更大的靈活性。一個典型的例子是通過預定義點添加橢圓曲線的門-預定義點將在選擇器的值中編碼。

RAPs-插入驗證者隨機性的PAIRs

我們的最終模型是允許多輪交互,其中驗證者發送域中隨機元素,而證明者可以在看到這些域元素后隨后添加更多列。

新加坡高等法院:Su Zhu和Kyle Davies需在一周時間內提供提供關鍵財務文件:金色財經報道,已倒閉的加密貨幣對沖基金三箭資本聯合創始人Su Zhu和Kyle Davies最近在推特和媒體采訪中重新露面,對 Sam Bankman-Fried的FTX倒閉發表看法,但其新加坡法律團隊并沒有合作處理與三箭清算有關的文件請求,新加坡共和國高等法院已命令三箭資本及其聯合創始人需要在一周時間內提交宣誓書,概述他們與該公司的交易,同時也正式承認在英屬維爾京群島提交的清算令,這意味著法院指定的清算人 Teneo 可以要求公司及其聯合創始人提供新加坡財務記錄。

Solitaire 是代表三箭資本 (Three Arrows Capital)(也稱為 3AC)的新加坡律師事務所之一,該律所試圖獲取文件但未得到答復。[2022/12/2 21:17:03]

約束多項式現在可以使用驗證者隨機性作為附加變量。

我們將這樣的程序稱為RAP(RandomizedAIRwithPreprocessing)。

讓我們用下面的例子來說明RAP。假設我們有一個寬度為2的AIR,并且想要檢查證明者提供的列是否是彼此的排列。

假設這些列的值為?a1,…,an,b1,…,bn。

從Schwartz-Zippel引理我們知道,要檢查它們是否是彼此的排列,只需檢查對于統一選擇的γ∈F,我們有很高的概率。

上等式右側的因子都是非零的,在這種情況下,這相當于

一個RAP長度為n+1和總寬度為3可以很容易地檢查:

證明者首先發送列?(a1,…,an,0),(b1,…,bn,0)驗證者隨機發送γ∈F。證明者發送第三列?(1,z1,…,zn)?這樣對于每個i∈

如果?z?是這樣定義的,我們的排列檢查相當于檢查?zn=1。我們可以將其添加為邊界約束。

此外,程序必須檢查?z?確實是這樣定義的。

以此目的

為了說明,下面是這個程序的有效執行軌跡,是當?b?只是?a?的一個移位時:

這里可能在哲學上很有趣的是,隨機性使局部約束能夠驗證全局屬性。

turbo-PLONK和ultra-PLONK程序-便于RAPs的特別用例

RAPs比PAIRs更強大,但是對于程序設計通常想到一個PAIR是很方便的,同時允許自己將RAP的一些特殊功能使用黑盒,稍后,這個程序會編譯成最后的RAP。

RAP的一種非常有用的特殊功能是強制復制約束。

這意味著強制軌跡的某些元素相等。例如“第一列的第二個元素?a?2???必須等于第二列的第40個元素?b40??”。這就賦予了程序一定的長時記憶能力。

turbo-plonk程序?是一個PAIR,具有在執行軌跡的任意兩個元素之間定義復制約束的額外能力。

“在turbo-Plonk中編程”的實用方法:

復制約束使設計人員能夠抽象出對執行軌跡和PAIR的明確思考,而是設計如下程序:

我們有一組見證變量,其值只能在程序中設置一次。我們在每個步驟中選擇將哪個門應用于哪些變量。上面的內容可能看起來微不足道,也并沒有說太多。然而,復制約束對于這種簡化的設計方法至關重要的原因是,當見證變量參與兩個門時,復制約束將確保兩個門中確實使用相同的值,即使它們最終可能會出現在實際RAP中完全不同的行。

ultra-Plonk編程

一個ultra-Plonk程序???是一個turbo-Plonk程序,帶有一個額外的、非常強大的門類型,稱為查找門。

這意味著作為設計程序的一部分,我們定義了一組表?T1,...,Tk。這些表的元素是一定長度?t的域元素的元組(tuples)。

現在,在設計程序時;我們被允許使用具有以下形式的查找門:“檢查這些?t?witness變量的元組是否在表?T4?中”。

在這一點上,從RAP到具有此類功能的程序的飛躍似乎有點神奇。有關如何通過我們在上一節中展示的多重集檢查確實可以實現復制約束和查找表的詳細信息,請參閱這篇文章。

何時使用lookupgates

啟用查找門在最終的SNARK中有很大的成本;根據經驗,一旦查找次數與表一樣大,它就會得到回報。

總的來說:

對于程序設計者來說,使用turbo和ultra-plonk程序通常會很方便,考慮將哪些門應用于哪些見證變量。這已經很底層了,而且足夠復雜和通用!然而,有時最好記住引擎蓋下有一個RAP,當需要時,可以利用驗證者的隨機性來獲得更具體/更有效的功能。

這一切與R1CS有什么關系?

如果你熟悉SNARK開發和文獻,可能已經看過R1CS約束格式,其中所有約束都具有以下形式

R1CS很好地捕捉了從到Groth優化版本的一系列作品的約束格式。這項工作依賴于檢查指數中秘密元素的驗證者方程。正如我們目前擁有的加密貨幣k-線性映射僅適用于k=2個,R1CS確實是這些協議可以使用的最通用的約束形式。

然而,構建SNARK的多項式IOP方法支持更靈活的約束格式。特別是,可以使用大于二的階數約束。

當使用GGPR方法時,R1CS有一個很好的理論優勢——不需要隨機預言機模型;還有一個很好的實際優勢——證明者組指數的數量不依賴于加法門的數量或fan-in。然而,獲得這些優勢需要為每個電路的做可信設置。

假設我們正在使用Sonic、Plonk和Marlin這樣的通用設置系統,可能更難說我們應該將自己限制在R1CS上。

Tags:AIRRAPLONPLOAirdropTokensugarappleELONDOGECEOPLO幣

ETH
以太坊:對話藍狐筆記:以太坊上海升級真的是大利空嗎?

本期0x499邀請到藍狐就以太坊即將到來的上海升級分享他的寶貴觀點以太坊升級那塊,就是說應該我看到很多這種媒體在看空。其實我覺得從我個人感覺來說是完全沒有必要,我不會有太大的影響.

1900/1/1 0:00:00
EFI:鏈游啟示錄:如何構建一款真正的加密游戲

2022年,加密行業牛市結束,寒冬來臨。在這一年中,主流資產都迎來了一次又一次的腰斬,DeFi、NFT、GameFi,沒有一個賽道可以獨善其身,FTX、3AC、Voyager、BlockFi、T.

1900/1/1 0:00:00
HASH:HashKey Capital 年度復盤:募資 5 億美元,重點布局基礎設施等

2022是我們聚焦區塊鏈及加密投資的第7年,感謝所有創業者和投資人的信任與支持。目前,HashKeyCapital的資產管理規模已超10億美金.

1900/1/1 0:00:00
NFT:Foresight Ventures周報:市場由熊主導,BNB遭擠兌

市場觀點: 1、宏觀流動性 貨幣流動性有所放松。美聯儲今年的最后一次會議如期加息50個基點,較此前連續四次加息75個基點步伐放緩,基準利率提升至4.25-4.5%.

1900/1/1 0:00:00
CON:The Beacon與Web3游戲的初啟動

TheBeacon游戲跟之前GameFi不同 把好玩放在首位 上個周期的游戲大多是GameFi,核心是Fi,而不是Game,Game只是手段,Fi是目的.

1900/1/1 0:00:00
CRY:a16z:2023年Crypto行業將突破的7大方向

注:頂級投資機構a16z剛剛發布了一份綜合關注清單,列出了科技建設者在未來一年可能要解決的“大想法”,這份清單涵蓋了消費科技、游戲、AI、crypto等多個領域.

1900/1/1 0:00:00
ads