以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > 萊特幣 > Info

Sin7y團隊解讀:TinyRam 指令集和電路約束_FLAG

Author:

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

簡介

Tinyram是一個簡單的RISC隨機存取機器,具有字節尋址的random-accessmemory和inputtapes。TinyRAM有兩個變體:一個遵循哈佛架構,一個遵循馮諾依曼架構(本文我們主要討論馮諾依曼架構)。

簡明計算完整性和隱私研究項目構建了證明TinyRAM程序正確執行的機制,而TinyRAM的設計是為了在這種情況下提高效率。它在“擁有足夠表達能力”和“足夠簡約”這兩個對立面之間取得平衡:

?當從高級編程語言編譯時,有足夠的表達能力來支持簡短高效的匯編代碼。

?小指令集,指令通過運算電路簡單驗證,利用SCIPR的算法和密碼機制實現高效驗證。

本文對于tinyram不再進行重復介紹,會對上一篇文章進行補充,然后重點是指令介紹和電路約束介紹。tinyram基礎介紹可以參考我們團隊上一篇文章:深入理解TinyRam

Tinyram指令集

Tinyram總共有29個指令,每條指令都由一個操作碼和最多三個操作數組成。一個操作數可以是一個寄存器的名稱。除非特別說明,否則指令不會單獨修改flag。每條指令默認將pc增加i(i%2^W),對于vnTinyram來說i=2W/8。

一般來說,第一個操作數是指令計算的目標寄存器,其他的操作數指定指令需要的參數,最后,所有指令都需要機器的一個周期來執行。

位操作

整數操作

這些是各種無符號和有符號的整數操作。在每種情況下,如果發生算術溢出或錯誤,flag被設置為1,否則被設置為0。

shift操作

??shl?指令?shlrirjA?將左移位ubit得到的W位string存儲在ri寄存器中。移位后的空白位置被填充為0。此外flag被設置為的最高有效位。

??shr?指令?shrrirjA?將右移位ubit得到的W位string存儲在ri寄存器中。移位后的空白位置被填充為0。此外flag被設置為的最低有效位。

Polygon Labs發起新提案,提議將Spark Protocol部署至Polygon zkEVM:8月2日消息,Polygon Labs團隊發起新提案,提議將MakerDAO旗下借貸協議Spark Protocol部署至Polygon zkEVM。提案稱,Spark Protocol目前利用Chainlink Price Feeds來滿足其預言機需求,目前Polygon Labs正在與Chainlink Labs團隊討論,后者將很快在8月份支持Polygon zkEVM,該時間表為Spark部署部署至Polygon zkEVM提供了充足的時間。最初上線的抵押品包括WETH、wstETH和DAI。

Polygon Labs目前正在探索一些選項,以為Spark在zkEVM上的發布提供初始DAI流動性。為了啟動流動性,DAI流動性的最低目標規模為50萬美元。Polygon Labs將確定額外的初始撥款規模,以引導Spark在Polygon zkEVM上的發展。[2023/8/2 16:13:32]

比較操作

比較操作中的指令每一個都不會修改任何寄存器;比較的結果存儲在flag中。

move操作

??mov?指令?movriA?將存儲到ri寄存器中。

??cmov?指令?cmovriA?如果flag=1,將存儲到ri寄存器中。否則ri寄存器的值不會改變。

Jump操作

這些jump和條件jump指令都不會修改寄存器和?flag?但是會修改?pc。

??jmp?指令?jmpA?將存儲到pc中。

??cjmp?指令?cjmpA?在?flag?=1的條件下將存儲到pc中,否則pc自增1。

??cnjmp?指令?cnjmpA?在?flag?=0的條件下將存儲到pc中,否則pc自增1。

Memory操作

這些是簡單的memoryload和store操作,其中memory的地址由立即數或寄存器的內容確定。這些是tinyram中唯一的尋址方式。。

NFT巨鯨地址“0x8e078”已拋售62枚Azuki NFT:5月3日消息,據NFT Whale Alert披露數據顯示,NFT巨鯨地址“0x8e078”今日已拋售62枚Azuki NFT,獲利1002枚ETH(價值約1870472.54美元)。

另據Opensea數據顯示,當前Azuki NFT地板價位16.569 ETH。[2023/5/3 14:40:08]

輸入操作

該指令是唯一一個訪問兩個tapes中的任意一個的指令。第0個tape用于primary輸入,第1個tape用戶auxiliary輸入。

輸出操作

該指令表示程序已經完成了計算,因此不能再允許其他操作。

指令集約束

Tinyram采用R1CS約束形式進行電路約束,具體形式如下:

一個R1CS約束,可以有a,b,c三個linear_combination表示,一個R1CS系統中的所有變量的賦值,可以分為兩個部分:primaryinput和auxilaryinput。Primary就是我們經常說的“statement”。auxiliary就是“witness”。

一個R1CS約束系統包含多個R1CS約束。每個約束的向量長度是固定的。

Tinyram在libsnark的代碼實現中大量使用了一些定制gadgtes來表述vm的約束以及opcode執行和memory的約束。具體代碼在gadgetslib1/gadgets/cpu_checkers/tinyram文件夾下。

位操作約束

??and?約束公式:

Pudgy Penguins推出蘇富比靈魂綁定代幣:2月8日消息,NFT項目Pudgy Penguins宣布推出蘇富比的靈魂綁定代幣(SBT)。Pudgy Penguins表示,這是首批由大型公司發行的SBT之一,并將作為數字認證解決方案。這些SBT將永久作為該NFT項目的拍賣認證及參與憑證。此舉將進一步擴大Web3的可訪問性。[2023/2/8 11:54:10]

and的R1CS約束將參數1和參數2以及計算結果逐bit位進行乘法計算驗證,約束步驟如下:

1.計算過程約束,代碼如下:

2.結果編碼約束

3.計算結果非全0約束

4.flag約束

??or?約束公式:

具體約束步驟如下:

1.計算過程約束,代碼如下:

2.結果編碼約束

3.計算結果非全0約束

4.flag約束

??xor?約束公式:

具體約束步驟如下:

1.計算過程約束,代碼如下:

“大空頭”Michael Burry:對加密交易所的審計是“毫無意義的”:金色財經報道,投資公司Scion Asset Management創始人Michael Burry周五表示,對加密貨幣交易所(包括Binance和倒閉的交易所FTX)的儲備證明(POR)審計毫無意義。在評論會計師事務所Mazars Group停止對加密貨幣公司的儲備證明審計時,Burry在推特上寫道:這就是問題所在。2005年,當我開始使用一種新的信用違約互換時,我們的審計師正在邊做邊學。

此前Binance首席執行官趙長鵬在接受采訪時談到對其交易所POR的擔憂,他還聲稱大多數會計師事務所不知道如何審計加密貨幣交易所。(news.bitcoin)[2022/12/17 21:50:55]

步驟2,3,4同上

?not?約束公式:

具體約束步驟如下:

步驟2,3,4同上

整數操作約束

?add:?約束公式:

具體約束步驟如下:

1.計算過程約束,代碼如下:

2.解碼結果約束和boolean約束

3.編碼結果約束

?sub:?約束公式:sub約束比add稍微復雜一些,采用了一個中間變量表示a-b的結果,同時為了保證結果計算表示為正整數和符號的形式,給結果加上了2^w。具體約束步驟如下:

1.計算過程約束

MeebitsDAO的總經理加入Yuga Labs任Meebits品牌負責人:8月8日消息,MeebitsDAO的總經理Danny Greene 加入 Yuga Labs 任 Meebits 品牌負責人,將負責為 Meebit 持有者建立社區和公用事業,此外 Danny Greene 還將擔任社區聯絡人并發展戰略合作伙伴關系。 (The Block)[2022/8/8 12:10:26]

2.解碼結果約束和boolean約束

3.符號位約束

?mull?、umulh、smulh?約束公式:

mull相關的約束都涉及以下幾個步驟

1.計算乘法約束

2.計算結果編碼約束

3.計算結果flag約束

?udiv?、umod?約束公式:

B為除數,q商,r為余數。余數與需要滿足不能超過除數的條件。具體約束代碼如下:

shift操作約束

??shl、shr?約束公式

比較操作

比較操作中的指令每一個都不會修改任何寄存器;比較的結果存儲在flag中。比較指令包含cmpe、?cmpa?、cmpae、cmpg、cmpge?。比較指令可以分為兩類,分別為有符號數的比較和無符號數比較,兩者約束過程核心都利用了libsnark中實現的comparison_gadget。

其他剩余過程跟有符號數比較約束相同

move操作約束

??mov?約束公式:

mov的約束比較簡單,只需要確保將存儲到ri寄存器中,由于mov操作沒有修改flag,所以約束需要確保flag的值沒有產生變化。約束代碼如下:

??cmov?約束公式:

cmov的約束條件比mov復雜一些,主要mov的行為跟flag值的變化有關系,同時cmov不會修改flag,所以約束需要確保flag的值沒有變化,cmov的代碼如下:

Jump操作約束

這些jump和條件jump指令都不會修改寄存器和?flag?但是會修改?pc。

??jmp

Jmp操作約束pc值與指令執行結果一致,具體約束代碼如下:

??cjmp

cjmp根據flag條件進行跳轉,flag=1進行跳轉,否則pc自增1

約束公式如下:

約束代碼如下:

??cnjmp

cnjmp根據flag條件進行跳轉,flag=0進行跳轉,否則pc自增1

約束公式如下:

約束代碼如下:

Memory操作約束

這些是簡單的memoryload和store操作,其中memory的地址由立即數或寄存器的內容確定。這些是tinyram中唯一的尋址方式。。

??store.b?和?store.w

對于store.w取整個arg1val的值,對于store.b操作碼只會取arg1val的必要部分,約束代碼如下:

??load.b?和?load.w

這兩個指令我們要求從內存中加載的內容被存儲在instruction_results中,約束代碼如下:

輸入操作約束

??read

read操作跟tape有關,具體的約束規則是:

1.上一個tape中的內容被讀完,沒有內容可讀,不會讀取下一個tape。

2.上一個tape中的內容被讀完,沒有內容可讀,flag被設置為1

3.如果當前執行的指令是read,那么read讀取到的內容和tape輸入內容一致

4.從tape1以外的地方讀取內容,flag被設置為1

5.result為不為0,意味著flag為0

約束代碼:

輸出操作約束

該指令表示程序已經完成了計算,因此不能再允許其他操作

??answer

當程序的輸出值被接受,has_accepted會被設置為1,程序返回值能夠被正常接受意味著當前的指令為answner以及arg2value為0。

約束代碼如下:

其他

當然除了上述提到的一些指令相關的約束外,tinyram還有一些pc一致性、參數編解碼、內存檢查等各種約束。這些約束通過R1CS系統組合起來構成一個完成的tinyram約束系統。所以這也是R1CS形式的tinyram生成約束數量較多的根本原因。

這里引用一個tinyram介紹ppt的圖片,展示一個ERC20transfer用tinyram生成證明需要的時間消耗。

從上圖的例子可以得出結論:使用vnTinyram+zk-SNARKs驗證所有EVM操作是不可能的,只適合驗證少量的指令的計算驗證,可以使用vnTinyram驗證EVM的部分計算類型的opcode。

參考

tinyram介紹ppt:

https://docs.google.com/presentation/d/1lbyLmXhCry61fxWm8LLxPKhCYV67RcZaK3WL20Hb-t8/edit#slide=id.g5b38da04a0_0_21

關于我們

Sin7y成立于2021年,由頂尖的區塊鏈開發者和密碼學工程師組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號:Sin7y

GitHub:Sin7y

Twitter:@Sin7y_Labs

Medium:Sin7y

Mirror:Sin7y

HackMD:Sin7y

HackerNoon:Sin7y

Email:contact@sin7y.org

來源:金色財經

Tags:FLAGTINRAMMOVFLAG價格BROADCASTINGRamp DeFimove幣價格

萊特幣
幣安位居榜首成為 2017 年以來最高市場份額的頂級交易所_加密貨幣

簡單來說 8月,頂級交易所占現貨總量的94.3%,為2017年11月以來的最高市場份額。幣安以55.1%的總交易量市場份額保持市場第一.

1900/1/1 0:00:00
盤點StarkNet鏈游生態_ARK

原文標題:《盤點StarkNet鏈游生態》原文來源:StarkNet中文本文向讀者介紹StarkNet鏈游生態.

1900/1/1 0:00:00
CAKE 代幣:如何在 PancakeSwap 交易所質押 CAKE_CAKE

質押允許加密貨幣持有者在其加密貨幣投資組合中產生被動收入。煎餅交換因其可負擔的交易費用而成為一種流行的加密貨幣交易所。因此,其原生的CAKEToken也獲得了一定的人氣.

1900/1/1 0:00:00
觀點:開放式元宇宙將釋放每個人的創造力_元宇宙

注:原文標題為《Ikigai》,指“即使眼下元宇宙不怎么樣,也能讓你始終懷有希望”,作者是AhadShams,本文由DeFi之道隔夜的粥編譯.

1900/1/1 0:00:00
ETH2.0敘事結束后,相關代幣還值得關注嘛?_ETH

ETH2.0從POW轉換到POS,ETH的挖礦方式也從顯卡挖礦到Staking挖礦的轉變。ETH的Staking挖礦,目前主要是LDO和CEX占主導.

1900/1/1 0:00:00
2022 年全球加密貨幣采用指數出現一些重大的驚喜_加密貨幣

區塊鏈情報公司Chainalysis最新發布的2022年全球加密貨幣采用指數里包含了幾個驚喜,其中最值得注意的是,盡管禁止幾乎所有的加密貨幣,中國仍然是采用加密貨幣的前10名國家.

1900/1/1 0:00:00
ads