比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > MATIC > Info

zk-STARK: 在以太坊上驗證復雜的自動對戰計算

Author:

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

原文作者:?Killari

原文標題:?STARKs:VerifyingcomplexautobattlercalculationonEthereum—Scalingdecentralizedgames

在以太坊上執行復雜的函數一直是一個大忌,永遠不應該這么做。區塊鏈計算是非常昂貴的,因為需要所有節點執行相同的計算來驗證其正確性。

StarkWare是以太坊擴展服務之一,它試圖使用STARK證明來擴展以太坊。在這篇文章中,我不會太深入于STARK是如何工作的,但我將對它在實踐中的應用做一個實際的概述。

有時在STARK前面加上“zk-”前綴,表示“零知識證明”,這使得STARK能夠在不透露我們試圖證明的事物的所有信息的情況下證明一些東西。StarkWare公司正致力于在以后的管道中加入ZK,但現在他們只關注可擴展性,而要實現這一點并不需要零知識。

Vitalik的博客文章對于zk-SNARK如何呈現在用戶面前所繪制的插圖。

Vitalik在他的文章中對STARK做了一個簡短的概述。STARK第一部分:用多項式進行證明,簡要解釋了這些加密基元的工作原理。還有SNARK,可以實現與STARK類似的東西,但有點不同。如果對理解zk-SNARK更感興趣,強烈推薦這篇解釋論文:zk-SNARK的原理和實現,MaksymPetkus的權威解釋。Petkus解釋了zk-SNARK的原理,從非常基本的數學,然后逐步深入更復雜的數學,站在前人的肩膀上眺望。非常棒的閱讀體驗。

Petkus對zk-SNARK總結如下:

零知識簡明非交互式知識論證是真正巧妙的方法,可以證明某件事情是真實的,而不透露任何其他信息。

STARK和自動對戰游戲

自動對戰游戲是一種游戲類型,玩家在其中做出角色成長的選擇,但在戰斗當中不能做出任何選擇,而是自動進行。如果有這樣的游戲在以太坊L1上運行,會很好玩,但目前這樣的游戲做不起來。

那么,STARK能給自動對戰游戲帶來什么好處呢?自動對戰游戲的模擬可能是非常復雜的,所以很難跑起來。如果有一種技術可以使它只運行一次,而其他玩家可以只相信這種計算,同時確信沒有人在說謊,這將使我們能夠擁有一個去中心化的自動對戰。

以下是行動計劃:

1)用Python編寫自動對戰邏輯。

2)用StarkNet的Cairo語言建立一個驗證器。

3)執行自動戰斗的代碼,用我們建立的Cairo驗證器創建一個關于程序執行的STARK證明。

4)觀察我們如何在以太坊的Solidity環境利用自動戰斗器的戰斗結果。

用Python編寫自動戰斗系統

為了開始我們的旅程,我們簡單地對自動對戰的邏輯進行編程,就像我們平時做的那樣,這里不需要STARK的魔法。

我們在兩個角色之間做一個自動對戰的模擬器。這些角色有四種狀態:

-健康。等于他們能承受的傷害總量。

接下來,讓我們選出誰將會有這場史詩般的戰斗:

我們將有一個食人魔,它有很長的血條,每次攻擊造成48點傷害,但每次攻擊之間需要等80下。食人魔每回合還能恢復三點健康值。

鏈游Abyss World將基于Polygon zk-EVM構建游戲:6月28日消息,鏈游Abyss World發推稱,將基于Polygon zk-EVM來構建游戲,這將使Abyss World中的智能合約執行更高效,并能夠處理更多的用戶交互。

Abyss World稱,希望雙方合作能夠釋放出Web3游戲創造力的全部潛力。[2023/6/28 22:06:23]

我們的挑戰者英雄的生命值要低得多,只有240血,完全沒有生命值恢復,每次攻擊的傷害較小,但我們的英雄只需等待2個回合就可以攻擊。因此,至少我們的英雄在某種程度上比食人魔要好!這就是我們的英雄。這是一場真正的大衛和歌利亞之間的戰斗。

我們可以在代碼中定義我們的角色,如下所示

player1?=?Character(1000,?48,?80,?3)?#?Ogreplayer2?=?Character(240,?20,?2,?0)?#?Hero

然后我們可以通過調用戰斗函數來模擬戰斗。

simulateFight(player1,?player2

我們將得到戰斗的結果:

{????"player1":?{?????"stats":?????},????"player2":?{?????"stats":?????},????"log":?{?????"endHealths":?,?????"nCombatRounds":?272????}}ZERO_HP_POINT?=?1000assert?player1.damage?<?ZERO_HP_POINTassert?player2.damage?<?ZERO_HP_POINTdata?=?{????'player1':?{?????'stats':?????},????'player2':?{?????'stats':?????},??'log':?simulateFight(player1,?player2。data?=?]with?open('combat-input.json',?'w')?as?outfile:json.dump(data,?outfile)

我們可以從結果中讀出,這場戰斗持續了272個回合,戰斗結束是因為食人魔被打敗了。我們的英雄以巨多的96點血取得了勝利!這就是我們的英雄。

接下來讓我們把所有關于戰斗的必要的重要信息存儲在一個文件中,這樣我們就可以在以后用STARK證明來證明這場戰斗。我們所需要的是程序輸入和程序輸出。我們的驗證器根本不需要程序本身!

我們將用Cairo編寫驗證器。Cairo是一種用于編寫可驗證程序的編程語言。Cairo的許多要求之一是,所有的輸入都必須是非負數。這是我們開發人員的不幸,但是我們英雄的幸事,食人魔的健康值會變負,這就是一個負數:(

為了繞過這個限制,我們將在所有的健康值上加上1000,如果一個角色的健康值低于1000,就認為他已經死亡。為了使這個方法適用于不同的角色傷害值,我們還需要確保一個角色的傷害永遠不會超過1000,因為那樣的話某人的健康狀況可能會再次變成負數。以下是代碼:

{????"player1":?{?????"stats":?????},????"player2":?{?????"stats":?????},????"log":?{?????"endHealths":?,?????"nCombatRounds":?272????}}ZERO_HP_POINT?=?1000assert?player1.damage?<?ZERO_HP_POINTassert?player2.damage?<?ZERO_HP_POINTdata?=?{????'player1':?{?????'stats':?????},????'player2':?{?????'stats':?????},??'log':?simulateFight(player1,?player2。data?=?]with?open('combat-input.json',?'w')?as?outfile:json.dump(data,?outfile)

去中心化ZK-RaaS平臺Opside公布代幣經濟學:金色財經報道,去中心化ZK-RaaS平臺Opside首次公開其代幣經濟學,其中33%將分配于PoS和PoW獎勵。Opside為眾多ZK-Rollup/zkEVM提供了一個統一的ZKP算力市場,以激勵礦工參與ZKP計算。文中還解釋了PoS&PoW混合共識的經濟模型。(The Block)[2023/5/4 14:41:36]

這段代碼為我們產生了最終的模擬輸出,它將被儲存在combat-input.json文件中。

{????"player1":?{?????"stats":?????},????"player2":?{?????"stats":?????},????"log":?{?????"endHealths":?,?????"nCombatRounds":?272????}}

編寫Cairo驗證器

接下來,我們需要編寫一個驗證器程序,以便能夠對我們的Python程序的執行進行STARK證明。這個程序需要能夠驗證,在給定初始玩家屬性的情況下,當模擬代碼運行時,模擬器會產生顯示在log區域的確切輸出。為了實現這一點,我們將改用Cairo語言編程。

我們將在Cairo中定義角色結構,其方式與我們在python中看到的非常相似:

struct?Character:????member?health:?felt????member?damage:?felt????member?attackRecoverTime:?felt????member?healthPerTurn:?feltend

與Python相比,這里的一個很大的區別是,我們需要將所有的變量指定為某種陌生的數據類型felt。felt數據類型是一個252位的變量類型,定義在(-P/2,P/2)之間,其中P是一個252位的大素數。

雖然看起來很奇怪,但對于我們的目的來說,felt的行為就像一個整數。這種數據類型的意義在于,與我們實際處理整數或浮點變量類型相比,Cairo編譯器更容易從我們的代碼中做出STARK證明。你可以從Cairo的文檔中閱讀更多關于felt變量類型的信息。

現在,讓我們開始編寫Cairo程序,以確保戰斗已經按計劃進行,而且程序的執行者不能對其他玩家撒謊。除了輸入變量的felt類型和非負性之外,Cairo還有一些其他的限制。我們在Python代碼中使用了一個while循環,但是動態長度循環在Cairo中是不可能的,我們需要通過遞歸來實現同樣的邏輯。因此,讓我們定義一個遞歸函數,它將驗證一個單一回合的戰斗,然后再遞歸驗證所有其他回合的戰斗:

func?simulateCombat{?range_check_ptr?}?(?player1:?Character,?player2:?Character,?currentHealths:?(felt,?felt),?lastAttacks:?(felt,?felt),?currentRound:?felt,?nCombatRounds:?felt)?->?(?simNextHealths:?(felt,?felt),?simNextLastAttacks:?(felt,?felt))

該函數接收我們的兩個角色,他們當前的健康狀況和最后一次攻擊的計時器,當前的戰斗回合和要模擬的戰斗回合數。然后,我們將在驗證回合后返回更新的健康和最后一次攻擊的計時器,以便能夠通過遞歸驗證下一個回合。

ZK-RaaS提供商Opside完成400萬美元種子輪融資:4月6日消息,ZK-RaaS(ZK-rollup-as-a-service)提供商 Opside 宣布完成 400 萬美元種子輪融資,本輪融資由 Web3.com Ventures 領投。種子輪資金將用于加速 Opside 的發展,擴大其團隊并擴大其運營規模。[2023/4/6 13:48:06]

你可能已經注意到了我們函數開頭的range_check_ptr。range_check_ptr是一個指針,我們需要用它來進行范圍檢查。這些運算在Cairo中也很困難,但幸運的是,我們仍然能夠通過使用Cairo的range_check_ptr內置函數來完成這些運算。

接下來,讓我們開始定義函數的內部內容。我們基本上實現了與我們在Python中的戰斗回合完全相同的邏輯:

alloc_localslocal?nextHealths:?(felt,?felt)local?nextLastAttacks:?(felt,?felt)local?ZERO_HP_POINT?=?1000if?lastAttacks?==?player2.attackRecoverTime:?tempvar?afterDamage?=?currentHealths?-?player2.damage?nextHealths?=?afterDamage??player1.healthPerTurn?nextLastAttacks?=?0else:?nextHealths?=?currentHealths??player1.healthPerTurn?nextLastAttacks?=?lastAttacks??1endif?lastAttacks?==?player1.attackRecoverTime:?tempvar?afterDamage?=?currentHealths?-?player1.damage?nextHealths?=?afterDamage??player2.healthPerTurn?nextLastAttacks?=?0else:?nextHealths?=?currentHealths??player2.healthPerTurn?nextLastAttacks?=?lastAttacks??1end

與Python相比,Cairo代碼的編寫方式有些不同。這是因為在Cairo中我們只能利用常數變量。一旦我們為一個變量設置了一個值,我們就不能再改變它的內容。因此,當我們為健康恢復而增加玩家的生命值時,我們在計算傷害的同時也計算了它。

接下來我們將檢查我們是否已經模擬了所要求的回合數,如果是,我們就結束模擬。如果模擬還沒有結束,我們需要檢查兩個玩家是否還活著。如果我們沒有這個檢查,惡意的模擬器運行者可以一直模擬戰斗,直到兩個玩家都死了,這會讓一個已經死了的玩家繼續戰斗!我們不能允許這樣的瘋狂行為,我們不能允許不死的戰士出現在我們的競技場上!

if?currentRound?==?nCombatRounds:?return(nextHealths,?nextLastAttacks)else:?#?if?the?combat?has?not?ended,?nobody?can?be?dead?assert_nn(nextHealths?-?ZERO_HP_POINT)?assert_nn(nextHealths?-?ZERO_HP_POINT)end

Scroll在Goerli測試網推出以太坊L2網絡zk-EVM的測試網版本:金色財經報道,Scroll在Goerli測試網上發布了其以太坊L2網絡的測試網版本,這是將zk-EVM從pre-alpha轉移到alpha的測試階段。到目前為止,Scroll可以在基于該項目的以太坊克隆的測試網上進行試用。測試網的代碼將是開源的,這意味著該網絡可以開始建立彈性。此外,Goerli測試網和Scroll之間已經建立了一個橋梁來轉移資產。

據悉,Zk-EVM是建立在以太坊上的第2層網絡,它使用零知識證明來實現可擴展性。[2023/2/28 12:32:53]

這里我們使用的是assert_nn函數,它正在檢查函數內部的值是否為非負值:nextHealths>ZERO_HP_POINT。如果assert為假,則執行失敗,我們知道運行模擬器的人對我們撒謊了。

最后,讓我們調用我們的函數來獲得下一輪的模擬,然后我們將返回最終的模擬結果。

let?(simulatedEndHealths,?simulatedLastAttacks)?=?simulateCombat(?player1?=?player1,?player2?=?player2,?currentHealths?=?nextHealths,?lastAttacks?=?nextLastAttacks,?currentRound?=?currentRound??1,?nCombatRounds?=?nCombatRounds)return(?simNextHealths?=?simulatedEndHealths,?simNextLastAttacks?=?simulatedLastAttacks)

一旦我們有了模擬邏輯的代碼,我們就需要為我們的Cairo程序編寫主函數。該程序需要讀取Python程序的輸出,然后調用我們剛剛創建的simulateCombat函數。該函數將返回最終的健康值,然后我們需要將其與Python程序的輸出進行對比。下面是代碼:

func?main{?output_ptr:?felt*,?range_check_ptr?}()?->?():?alloc_locals?local?range_check_ptr?=?range_check_ptr?local?pl1:?Character*?local?pl2:?Character*?local?endHealths:?felt*?local?nCombatRounds:?felt?%{?????log?=?program_input?????dat_endHealths?=?log?????dat_nCombatRounds?=?log??????????ids.pl1?=?pl1?=?segments.add()?????for?i,?val?in?enumerate(program_input):?????????memory?=?val??????????????ids.pl2?=?pl2?=?segments.add()?????for?i,?val?in?enumerate(program_input):?????????memory?=?val?????ids.endHealths?=?endHealths?=?segments.add()?????for?i,?val?in?enumerate(dat_endHealths):?????????memory?=?val?????ids.nCombatRounds?=?dat_nCombatRounds?????assert?len(program_input)?==?4?????assert?len(program_input)?==?4?????assert?len(dat_endHealths)?==?2?%}?????local?player1:?Character?=?pl1?local?player2:?Character?=?pl2?????local?currentHealths:?(felt,?felt)?=?(player1.health,?player2.health)?local?lastAttacks:?(felt,?felt)?=?(0,?0)?????let?(simulatedEndHealths,?lastSimulatedAttacks)?=?simulateCombat(?????player1?=?player1,?????player2?=?player2,?????currentHealths?=?currentHealths,?????lastAttacks?=?lastAttacks,?????currentRound?=?0,?????nCombatRounds?=?nCombatRounds?)?????#?Check?that?the?healths?will?match?what?was?claimed?assert?simulatedEndHealths?=?endHealths?assert?simulatedEndHealths?=?endHealths?#?Return?the?program?input?and?output?serialize_word(player1.health)?serialize_word(player1.damage)?serialize_word(player1.attackRecoverTime)?serialize_word(player1.healthPerTurn)?????serialize_word(player2.health)?serialize_word(player2.damage)?serialize_word(player2.attackRecoverTime)?serialize_word(player2.healthPerTurn)?????serialize_word(simulatedEndHealths)?serialize_word(simulatedEndHealths)?????return?()end

V神:ERC20項目應積極研究ZK-Rollup L2擴容解決方案:金色財經報道,Education Ecosystem今日發推稱,過去幾周,以太坊gas價格高昂,每筆交易價格為0.40至0.88美元,這使得ERC20項目無法在以太坊上進行任何微交易支付,這挫敗了使用以太坊網絡進行支付的想法。對此,以太坊創始人V神表示,ERC20項目應該積極研究ZK-Rollup L2擴容解決方案,這些解決方案目前已在主網上運行。[2020/7/10]

除了檢查這些戰士的nCombatRounds模擬結果是否為給定的健康值外,我們還應該檢查在戰斗結束時是否有一個或兩個角色已經死亡。如果想讓戰斗持續下去,直到有人死亡。我們沒有在這個簡單的例子中實現這一點,可以由讀者來實現。在目前的代碼中,只能模擬運行幾輪,并在給定回合后,在任何一個玩家死之前停止戰斗。然而,執行者不能對模擬回合的進行情況撒謊,因為這是我們要檢查的。

運行!

我們可以運行Python模擬器,用以下命令編譯我們的Cairo驗證器:

>?python?combat.py>?cairo-compile?combat.cairo?--?output?combat-compiled.json

然后我們可以用我們用combat.py生成的輸入文件來運行Cairo程序,生成combat.pie文件:

>?cairo-run?--?program=combat-compiled.json?--?program_input=combat-input.json?--?layout=small?--?cairo_pie_output=combat.pie

我們還可以用以下命令驗證pie文件是否正確:

>?cairo-run?--?layout=small?--?run_from_cairo_pie=combat.pie

你可以嘗試修改battle-input.json文件的結果健康值,要注意的是,如果不得到Cairo的驗證錯誤,你就不能修改它們。對于每個起始輸入,戰斗只有一種解決方式。例如,如果我們試圖作弊,在戰斗結束時給我們的英雄多加一個健康值,驗證器會注意到我們在試圖作弊。

combat.cairo:120:5:?Error?at?pc=0:201:An?ASSERT_EQ?instruction?failed:?1096?!=?1097assert?simulatedEndHealths?=?endHealths^*******************************************^

.pie文件包含了SHARP為我們進行證明生成所需的所有信息。SHARP是由StarkWare運營的一項服務,它可以生成證明,證明Cairo程序執行的有效性。然后,它將這些證明發送到以太坊測試網,由以太坊智能合約進行驗證。

目前,SHARP不能在本地運行,從Cairo程序中生成證明的唯一方法是利用StarkWare的服務器來做證明驗證。希望這種情況在未來會有所改變,任何人都可以生成關于任何東西的證明。StarkWare公司計劃在稍后階段發布SHARP的源代碼。目前現狀來說,去中心化的游戲無法使用Cairo來構建。

讓我們向SHARP提交我們的工作吧:

>?cairo-sharp?submit?--?cairo_pie?combat.pieSubmitting?to?SHARP...Job?sent.Job?key:?f48c551e-c0c6-4cf5-8a52-a0aa1c43728cFact:?0x17ee903dfb54b55e53cc03d5a47602e83ed0ff9e219fe4567b8d59fa2666f682

過了很久,我們應該能看到我們的事實被驗證了,而且是有效的:

>?cairo-sharp?is_verified?0x17ee903dfb54b55e53cc03d5a47602e83ed0ff9e219fe4567b8d59fa2666f682?--?node_url=https://goerli-light.eth.linkpool.io/True

我們也可以從Cairo的游樂場找到這個結果。

https://www.cairo-lang.org/playground/sharp.html?job_key=f48c551e-c0c6-4cf5-8a52-a0aa1c43728c

在以太坊智能合約上利用證明

現在我們知道,對于給定的輸入值,給定事實哈希值,程序應該輸出最終的健康值,我們能夠在鏈上驗證計算,而無需在鏈上再次執行計算。

實際上,我們還缺少一個信息,那就是程序的哈希值。

>?cairo-hash-program?-program?combat-compiled.json0x248070cb7b7f20b0b9445a382fdb4faa6b69c1f3653355077ae05b82c636ddf

這是我們之前所有工作的高潮,現代密碼學的奇跡,一個簡單的Solidity函數可以驗證一個事實并檢查程序輸出programOutput是否有效。所有這些都不需要計算本身。

function?verifyCombatOutput(uint256?memory?programOutput)?public?bytes32?cairoProgramHash_?=?0x248070cb7b7f20b0b9445a382fdb4faa6b69c1f3653355077ae05b82c636ddf?//?Ensure?that?a?corresponding?proof?was?verified.?bytes32?outputHash?=?keccak256(abi.encodePacked(programOutput));?bytes32?fact?=?keccak256(abi.encodePacked(cairoProgramHash_,?outputHash));?require(cairoVerifier_.isValid(fact),?"MISSING_CAIRO_PROOF");?//?Ensure?the?output?consistency?with?current?system?state.?require(programOutput.length?==?10,?"INVALID_PROGRAM_OUTPUT");?require(player1.health?==?programOutput,?"INVALID_PROGRAM_OUTPUT?0");?require(player1.damage?==?programOutput,?"INVALID_PROGRAM_OUTPUT?1");?require(player1.attackRecoverTime?==?programOutput,?"INVALID_PROGRAM_OUTPUT?2");?require(player1.healthPerTurn?==?programOutput,?"INVALID_PROGRAM_OUTPUT?3");?????require(player2.health?==?programOutput,?"INVALID_PROGRAM_OUTPUT?4");?require(player2.damage?==?programOutput,?"INVALID_PROGRAM_OUTPUT?5");?require(player2.attackRecoverTime?==?programOutput,?"INVALID_PROGRAM_OUTPUT?6");?require(player2.healthPerTurn?==?programOutput,?"INVALID_PROGRAM_OUTPUT?7");?????//?Now?we?know?that?programOutput?and?programOutput?represent?the?resulting?health?values,?//?given?the?initial?combat?state?variables?programOutput!.?????//?Pure?Magic.}

這里cairoVerifier._isValid(fact)是一個Goerli的合約。

https://goerli.etherscan.io/address/0xAB43bA48c9edF4C2C4bB01237348D1D7B28ef168

可以在這里找到文章中文件的源代碼:https://github.com/KillariDev/STARK-Combat

Tags:PLAPLAYLAYERHEALBitcoin PlanetPlayCoin [ERC20]layer幣最新消息Health care chain

MATIC
NFT:NFT—BOX為用戶提供多元化金融服務

近日,一個名為“NFT—BOX”的世界級的智能權益機制平臺引起行業內各界人士大咖們的關注。據相關人士透露,NFT—BOX是一個由去中心化自治社區賦能的基于DAPP去中心化錢包進行WKuang的智.

1900/1/1 0:00:00
Huobi Global to Open Trading for DEXE at 08:00 (UTC) on August 11

DearValuedUsers,HuobiGlobalwillbeopeningDEXE(DeXeNetwork)?spottrading(DEXE/USDT)andspotGridtradin.

1900/1/1 0:00:00
比特幣:幣圈老呂:以太坊2045下絕地反擊,比特幣25250空頭不改

大家好,我是幣圈老呂。接上篇,行情依舊會是在區間震蕩之中,但是以太坊尤其走的強勢,今天一舉拿下并且站穩1922美元的壓力位,那也就意味著此次考慮中線布局空單的思路失敗,市場就是如此,價格在192.

1900/1/1 0:00:00
ETH:一覽以太坊合并最新進程及生態發展

來源 主網合并前夕:PoW硬分叉影響分析以及輿論事件最近,社區對于PoW分叉的討論不斷,DeFi借貸協議MakerDAO在推特發布了一條更新.

1900/1/1 0:00:00
加密貨幣:機構投資者越來越多地使用加密期權交易來對沖熊市的賭注

在當前的熊市中,加密期權交易一直是一個罕見的亮點,即使在加密價格暴跌的情況下也能形成勢頭。許多加密貨幣交易所在今年早些時候達到低點后注意到交易量上升.

1900/1/1 0:00:00
ETH:快速理解以太合并、分叉、機會和策略

一、以太網從Pow升級Pos的原因二、以太合并其實是Pos硬分叉三、合并后會出現的狀態四、分叉后Pow鏈的DeFi應用狀態五、套利者的機會和方法六、散戶應采取的策略一、以太網從Pow升級Pos的.

1900/1/1 0:00:00
ads