什么是Meta Force佛薩奇2.0系統(tǒng)開發(fā)?
META FORCE系統(tǒng)屬于我們的社區(qū),并且是完全的去中心化,這意味著它是透明的,安全的,并且能夠抵抗外部影響。 智能合約是一種自動執(zhí)行的算法(程序代碼)。
I8O系統(tǒng)2857開發(fā)8624游戲
它保證了在區(qū)塊鏈內(nèi)執(zhí)行邏輯或傳輸?shù)耐该鞫群桶踩浴? 隱私合約功能由一個基于可信執(zhí)行環(huán)境的隱私合約環(huán)境提供。這個隱私合約環(huán)境由可信執(zhí)行環(huán)境Enclave和隱私計算網(wǎng)關(guān)組成。其中Enclave是運行在可信執(zhí)行環(huán)境的邏輯,負(fù)責(zé)對合約進(jìn)行驗證、編譯、執(zhí)行,敏感數(shù)據(jù)密文只能在Enclave中解密。長安鏈的Enclave中實現(xiàn)了一套WASM邏輯,可以對任意數(shù)據(jù)處理邏輯進(jìn)行編譯、運行。隱私計算網(wǎng)關(guān)負(fù)責(zé)將用戶、Enclave發(fā)出的信息打包成區(qū)塊鏈的交易payload,并轉(zhuǎn)發(fā)給區(qū)塊鏈存證。 整個流程分為三個階段:可信執(zhí)行環(huán)境的遠(yuǎn)程證明、隱私合約的部署、隱私合約的調(diào)用。 遠(yuǎn)程證明動作可以是一次性的。在該階段,由用戶發(fā)起對隱私合約環(huán)境中Enclave的遠(yuǎn)程證明,驗證該Enclave是否運行于可信執(zhí)行環(huán)境中,以及該Enclave中的邏輯是否在部署后被篡改過。 隱私合約的部署發(fā)生在遠(yuǎn)程證明之后,每個不同的隱私合約需要單獨進(jìn)行一次部署。在這個階段中,用戶可以部署經(jīng)區(qū)塊鏈共識接受的任意數(shù)據(jù)處理邏輯作為隱私合約,隱私合約會被存在區(qū)塊鏈上,其邏輯受到公開監(jiān)管。不同于普通合約用戶直接將合約代碼上傳到區(qū)塊鏈節(jié)點的部署方式,隱私合約需要用戶將合約上傳到隱私計算環(huán)境初始化后,由隱私計算環(huán)境通過網(wǎng)關(guān)將處理好的合約上傳到區(qū)塊鏈賬本中。 隱私合約的調(diào)用發(fā)生在部署之后。一個隱私合約部署后,用戶可以用相同或不同的數(shù)據(jù)為入?yún)⑦M(jìn)行多次調(diào)用。 1.可信執(zhí)行環(huán)境與遠(yuǎn)程證明 可信執(zhí)行環(huán)境是CPU的一個安全加固區(qū)域,可以保證其中的軟件邏輯和數(shù)據(jù)在機(jī)密性和完整性上得到保護(hù)。該區(qū)域的軟硬件環(huán)境可以看做是與外界隔離的一個反沙箱環(huán)境。在這個環(huán)境中運行的程序,外部包括操作系統(tǒng)無法讀取或?qū)懭肫鋬?nèi)存,也無法干擾其代碼運行邏輯。 遠(yuǎn)程證明可以使驗證者辨別被驗證的可信執(zhí)行環(huán)境上的軟件邏輯是否有變更。通常,遠(yuǎn)程證明的被驗證方通過可信硬件生成一個證書,這個證書包含一個report信息,這個信息描述當(dāng)前運行在可信執(zhí)行環(huán)境中的軟件(代碼度量)。驗證者通過驗證這個證書的合法性來驗證可信硬件上的軟件進(jìn)程是否被修改過。 2.Intel DCAP遠(yuǎn)程證明 Intel提供的遠(yuǎn)程證明機(jī)制。 信任Intel。在DCAP遠(yuǎn)程證明模式中,Intel會作為根CA為SGX硬件提供認(rèn)證。 需要在網(wǎng)絡(luò)中維護(hù)一個PCCS服務(wù)提供對網(wǎng)絡(luò)中的SGX硬件認(rèn)證。PCCS服務(wù)是將Intel為SGX下發(fā)的類似二級證書的信息緩存到一個局域網(wǎng)絡(luò)中。 3.自定義信任根的遠(yuǎn)程證明(v1.2.0開始支持) 自定義信任根的遠(yuǎn)程證明對DCAP做了一些改動,將對Intel的信任轉(zhuǎn)移到對任意選定的CA機(jī)構(gòu)的信任上。 在可信執(zhí)行環(huán)境初始化階段,可信硬件基于硬件固有密鑰生成一對簽名公私鑰對和一對加密公私鑰對,并向一個選定的CA機(jī)構(gòu)申請證書。該證書中包含簽名公鑰和加密公鑰。這個過程類似于硬件出廠時向Intel注冊信息。 在用戶發(fā)起對Enclave的遠(yuǎn)程證明時: 用戶生成一個隨機(jī)挑戰(zhàn)(任意隨機(jī)字符串),將其發(fā)送到隱私合約環(huán)境,由隱私計算網(wǎng)關(guān)轉(zhuǎn)發(fā)到Enclave中。 Enclave對收到的隨機(jī)挑戰(zhàn)制作一個遠(yuǎn)程證明。Enclave收到隨機(jī)挑戰(zhàn)后,調(diào)用SGX EREPORT指令獲取report。這個report包含當(dāng)前運行中的軟件的代碼度量和Enclave的其他信息。Enclave將隨機(jī)挑戰(zhàn)與report拼接后,用簽名私鑰對其簽名,制作出包含隨機(jī)挑戰(zhàn)、report、Enclave簽名、Enclave證書4個組件的遠(yuǎn)程證明。 Enclave通過隱私計算網(wǎng)關(guān)輸出遠(yuǎn)程證明(包括隨機(jī)挑戰(zhàn)、report、Enclave簽名、Enclave證書)。 隱私計算網(wǎng)關(guān)會調(diào)用系統(tǒng)合約將遠(yuǎn)程證明寫入?yún)^(qū)塊鏈存證。系統(tǒng)合約中包含驗證遠(yuǎn)程證明合法性的邏輯,通過驗證的遠(yuǎn)程證明會被寫入?yún)^(qū)塊鏈存證。 隱私計算網(wǎng)關(guān)會返回一份遠(yuǎn)程證明給發(fā)起證明流程的用戶,用戶可以線下自行驗證遠(yuǎn)程證明。