以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

相比起以太 Filecoin 是如何打造智能合約的?_GAS:Pegasus

Author:

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

Filecoin區塊鏈中的Actor等同于以太坊虛擬機中的智能合約。Filecoin虛擬機是負責執行所有參與者代碼的系統組件。在FilecoinVM上執行參與者會產生GAS費用。

在FilecoinVM上執行的任何操作都將以狀態樹的形式輸出。最新的狀態樹是Filecoin區塊鏈中的當前來源。

1

VMActor接口?v??ipfskj2020

Actor是以太坊虛擬機中智能合約的Filecoin等效項。因此,Actor是系統的核心組件。Filecoin區塊鏈當前狀態的任何更改都必須通過參與者方法調用來觸發。

以下會描述Actor與Filecoin虛擬機之間的接口。

總共有十一種類型的內置Actor,但并非所有類型都與VM交互。一些Actor不會調用對區塊鏈的StateTree的更改,因此不需要與VM的接口。

這里ActorState的結構由參與者的余額,參與者所擁有的令牌以及用于查詢,檢查鏈狀態并與之交互的一組狀態方法組成。

2

狀態樹

狀態樹是對Filecoin區塊鏈應用的任何操作的執行輸出。鏈上狀態數據結構是將地址綁定到參與者狀態的映射的形式)。VM在每次執行actor方法時都會調用當前的StateTree函數。

美國法官規定SBF不能傳喚Fenwick & West律師事務所索取文件:金色財經報道,周五發布的法庭命令顯示,美國紐約地方法院法官Lewis A. Kaplan周五駁回了FTX創始人SBF傳喚Fenwick & West律師事務所作為其刑事辯護的一部分的企圖。法官稱,Fenwick & West和FTX債權人均不屬于起訴團隊。該命令補充說,政府沒有義務生產不在其擁有、保管或控制范圍內的材料。此外,被告提議的傳票如果得到執行,將成為一次釣魚執法,不符合特殊性、相關性和可受理性要求。

FTX的創始人SBF在 5月份的一份法庭文件中辯稱,他依賴了硅谷律師事務所的建議,該公司目前因該交易所在特拉華州經歷單獨破產程序時急劇崩潰而面臨美國檢察官的刑事指控。[2023/6/24 21:56:54]

3

VM消息-Actor方法調用

消息是兩個參與者之間進行通信的單位,因此是狀態變化的根本原因。一條消息結合了:

從發送方轉移到接收方的令牌金額,以及具有在接收方上調用的參數的方法。

Actor代碼可以在處理收到的消息時向其他Actor發送其他消息。消息是同步處理的,也就是說,參與者在恢復控制之前等待發送的消息完成。

硅谷銀行和Signature Bank前高管將于5月16日在美參議院銀行委員會作證:金色財經報道,美國參議院銀行委員會宣布,倒閉的硅谷銀行(Silicon Valley Bank)和Signature Bank的前高管將于 5 月 16 日在參議院作證。硅谷銀行前首席執行官 Greg Becker、 Signature Bank 前高管 Scott Shay 和 Eric Howell 將首次公開談論銀行倒閉問題,他們可能會受到兩黨參議員的盤問。委員會主席、俄亥俄州民主黨參議員 Sherrod Brown 和高級會員參議員 Tim Scott表示,你們必須為銀行的垮臺負責。[2023/5/4 14:40:44]

消息的處理消耗了計算和存儲單位,兩者均以瓦斯表示。消息的氣體限制為處理該消息提供了所需的計算上限。消息的發件人以其確定的汽油價格來支付消息執行所消耗的gas單位。區塊生產者選擇要包含在區塊中的消息,并根據每個消息的gas價格和消耗量獲得獎勵,從而形成市場。

消息語法驗證

語法無效的消息不得傳輸,保留在消息池中或包含在塊中。如果收到無效消息,則應將其丟棄,并且不要進一步傳播。

當單獨發送時SignedMessage,無論使用哪種簽名方案,都將消息打包為。有效的簽名郵件的序列化總大小不大于message.MessageMaxSize。

v??ipfskj2020

a16z生物+健康基金與Bassett合作利用數字醫療技術:金色財經報道,Andreessen Horowitz(a16z)生物+健康基金今天宣布與紐約州中部的綜合醫療保健系統Bassett Healthcare Network建立戰略合作伙伴關系。這項合作旨在利用a16z投資組合公司的數字醫療技術,通過Bassett Healthcare Network解決向農村患者群體提供高質量醫療服務的不平等和系統性挑戰。Bassett醫療集團和a16z已經為這種合作關系成立了一個執行委員會,以探索創新技術和平臺,調整優先事項,并監督相關技術改造的實施。(businesswire)[2022/11/8 12:30:19]

語法上有效的UnsignedMessage:

具有格式正確的非空To地址,

具有格式正確的非空From地址,

具有Value不小于零且不大于令牌總供給,并且

具有非負數GasPrice,

具有GasLimit至少等于與消息的序列化字節關聯的氣體消耗的值,

具有GasLimit不大于區塊氣體限制網絡參數的值。

快手萬鵬飛:發力元宇宙,快手有技術積淀和長期規劃:9月3日,在2022世界人工智能大會上,快手Y—tech AI技術中心負責人萬鵬飛表示,元宇宙是快手發展路徑上的重要方向。“快手發力元宇宙產業非常自然,并不是刻意而為,有扎實的技術積淀和行業認可度。”萬鵬飛表示,快手對元宇宙的布局主要圍繞現有業務展開,包括數字人、VR、AR等,重視其實際落地。從長期來看,公司對此有整體規劃,從短期來看,也希望快速地發揮現有業務的價值。(澎湃新聞)[2022/9/3 13:06:51]

從中提取信息Messagestruct,例如發件人和收件人地址,要轉移的值,執行消息所需的資金以及消息的CID。

假定消息最終應包含在一個塊中并添加到區塊鏈中,則應檢查消息的發送者和接收者的消息有效性,該值,gas費價格且BlockGasLimit該價格不應大于該區塊的gas費限額。

消息語義驗證

語義驗證是指需要消息本身之外的信息的驗證。

語義上有效的SignedMessage必須帶有簽名,以驗證有效載荷是否已被From地址標識的帳戶執行者的公鑰簽名。請注意,當From地址是ID地址時,必須在塊所標識的父狀態下的發送帳戶參與者的狀態下查找公鑰。

注意:發送方必須以包含消息的塊所標識的父級狀態存在。這意味著單個塊包含創建新帳戶actor的消息和來自同一actor的消息是無效的。來自該參與者的第一條消息必須等到下一個紀元。消息池可能會排除來自參與者的,尚未處于鏈狀狀態的消息。

NFT基礎設施平臺Byzantion完成100萬美元Pre-Seed輪融資,Hivemind領投:7月11日消息,NFT基礎設施平臺Byzantion宣布完成100萬美元Pre-Seed輪融資,Hivemind領投,KCRise Fund、Backend Capital和CryptoSlam參投。新融資將用于幫助Byzantion繼續擴展其NFT平臺,提供跨鏈服務。

Byzantion是一個供交易者和開發者使用的NFT平臺,在其用戶界面上提供了許多工具,為大量的收藏家創建了一個統一和完整的交易平臺。Byzantion還為NFT項目和開發人員提供了API和社區工具,為構建者提供了一個結構化的真實數據來源,這些數據直接從專門為NFT構建的鏈上獲得。(Globe Newswire)[2022/7/11 2:06:08]

消息沒有進一步的語義驗證,可能導致包含該消息的塊無效。每個語法有效且正確簽名的消息都可以包含在一個塊中,并會從執行中產生一個收據。其中MessageReceiptsturct包括以下內容:

但是,消息可能無法執行到完成,在這種情況下,它不會觸發所需的狀態更改。

這種“無消息語義驗證”策略的原因是,在消息作為提示集的一部分執行之前,將不知道消息將應用于的狀態。塊生產者不知道在提示集中是否有另一個塊會在它之前,因此從聲明的父狀態更改了該塊消息將應用到的狀態。

4

VM運行內部環境

MessageReceipt包含一個頂層消息執行的結果。每個語法有效且正確簽名的消息都可以包含在一個塊中,并會從執行中產生一個收據。

語法有效的MessageReceipt具有:一個非負ExitCode;Return僅當退出代碼為零時,才為非空值;并且非負數GasUsed。

5

VM解釋器-外部消息調用

VM解釋器根據其父塊狀態上的提示集協調消息,從而產生新狀態和一系列消息回執。此新狀態的CID和收據集合的CID包含在后續區塊中,這些區塊必須同意這些CID才能形成新的提示集。

每個狀態更改都由消息的執行來驅動。提示集中所有塊中的消息必須執行才能產生下一個狀態。來自第一個塊的所有消息均在技巧集中的第二個和后續塊的消息之前執行。對于每個塊,首先執行BLS聚合的消息,然后執行SECP簽名的消息。

隱式消息

除了顯示包含在每個塊中的消息之外,隱含消息還會在每個時期對狀態進行一些更改。隱式消息不在節點之間傳輸,而是由解釋器在評估時構造的。

對于提示集中的每個塊,隱式消息:

調用區塊生產者的礦工演員來處理選舉PoSt提交,作為區塊中的第一條消息;

調用獎勵參與者將區塊獎勵支付給礦工的所有者帳戶,作為區塊中的最終消息;

對于每個提示集,一個隱式消息:

調用cronactor來處理自動支票和付款,作為提示集中的最后一條消息。

所有隱式消息的構造From地址都是杰出的系統帳戶參與者。他們將汽油價格指定為零,但必須包含在計算中。為了計算新狀態,它們必須成功。隱式郵件的收據不包括在收據列表中;只有明確的消息才有明確的回執。

GAS費

在大多數情況下,消息的發送者向產生包含該消息的塊的礦工支付執行該消息所需的GAS費。

執行該消息后,每次執行該消息所產生的GAS費將立即支付給礦工所有者帳戶。所獲得的集體獎勵或汽油費沒有任何負擔:兩者都可以立即花費。

郵件重復

由于不同的礦工在同一時期產生區塊,因此單個提示集中的多個區塊可能包含相同的消息。發生這種情況時,僅在第一次以提示集的規范順序遇到該消息時才處理該消息。消息的后續實例將被忽略,不會導致任何狀態突變,產生收據或向區塊生產者支付費用。

總結一下提示集的執行順序:

為第一塊支付獎勵

處理第一塊的選舉職位

第一個塊的消息

支付第二塊獎勵

處理第二個區塊的選舉職位

第二個塊的消息

定時刻度

消息有效性和失敗

有效塊中的每個消息都可以被處理并產生收據。但是,執行成功與否取決于消息所應用的狀態。如果消息執行失敗,則相應的收據將攜帶非零的退出代碼。

如果消息由于可以合理地歸因于礦工的原因而失敗,包括在父塊狀態中永遠不可能成功的消息,或者由于發件人缺乏資金來支付最大消息成本,則礦工將通過燒錢來支付罰款GAS費。

消息失敗導致的唯一狀態更改是:

發送方的增量CallSeqNum,并從發送方向包含消息的區塊礦主支付汽油費;

罰款等于失敗消息的GAS費,由礦工燒掉。

如果處于緊接的先前狀態,則消息執行將失敗:

該FromActor不存在于該州

該FromActor是不是帳號Actor

該CallSeqNum消息不匹配CallSeqNum的的FromActor

FromActor不具有足夠的平衡,以覆蓋消息的總和Value加上最大GAS成本,GasLimit*GasPrice

該參與者不在To狀態中,并且該To地址不是pubkey樣式的地址

該Toactor存在,但是沒有對應于非零的方法MethodNum

反序列化Params不是長度匹配數組Toactor的MethodNum方法的數組

反序列化Params對于Toactor的MethodNum方法指定的類型無效

所調用的方法消耗的GAS多于GasLimit允許的量

調用的方法以非零代碼退出

由于上述任何原因,接收方發送的任何內部消息都會失敗。

請注意,如果To參與者不在狀態中并且該地址是有效H(pubkey)地址,則它將被創建為帳戶參與者。

來源:金色財經

Tags:ACTCTOTORGASCACT價格OctowillBit StorePegasus

以太坊交易所
老A幣深度解析_AST:BTC

BTC大幅度上漲觸及新高,隨后有所回落,24小時資金流出36.6億美刀,技術面分析來看,日線在2.37萬USD附近出,出現插針后交易量達到6個月來的新高,大量資金開始出逃,引起一波瀑布.

1900/1/1 0:00:00
比特幣價格突破2萬美元 散戶投資者如何才能“駕馭”第二波牛市?_QUID:LIQ

美SEC主席曾于2018年稱“BTC、ETH、LTC和BCH不是證券”:金色財經報道,一段視頻顯示,美國證券交易委員會(SEC)主席Gary Gensler曾于2018年告訴機構投資者.

1900/1/1 0:00:00
亮亮說幣:12.20ETH早間行情分析._AND:HashNet BitEco

前言: 所謂最難忘的,恰恰是從來都不曾想起,卻永遠無法忘記,隨著年齡的增長,人總會變得越來越包容,不是沒了脾氣,而是很多事已經無法讓你生氣,有坐下來的素養,也有掀桌子的能力,似水流年.

1900/1/1 0:00:00
比特幣劉先生:ETH 晚間 行情分析及操作建議_THE:tether幣怎么買

昨天再好,也走不回去,明天再難,也要抬腳繼續,不管你昨天有多優秀,代表不了今天的輝煌,堅信,昨天的太陽永遠曬不干今天的衣裳,以陽光的心態繼續前行.

1900/1/1 0:00:00
12.19比特幣多次回踩下方底部再次進行上方空間、詭異的行情是空還是多呢?_MUSE:元宇宙數字虛擬人游戲

12.19比特幣多次回踩下方底部再次進行上方空間,詭異的行情是空行情回顧:比特幣大周期的行情動態來看的話價格還是上行空間為主要的,畢竟日線級別的都是向上的趨勢.

1900/1/1 0:00:00
12.19BTC凌晨行情分析及操作策略_BTC:op幣價格跟隨以太坊價格走

前言:勿讓今天交易影響明天交易,這個形態換句話說就是,無論今天你的事情有多么壞,要相信明天將是另外一個改正它的機會.

1900/1/1 0:00:00
ads