ZK已經(jīng)成為區(qū)塊鏈領(lǐng)域首要的技術(shù),并在應(yīng)用層在巨大的潛力,實(shí)現(xiàn)數(shù)據(jù)隱私保護(hù)和鏈下數(shù)據(jù)真實(shí)性。 [圖片上傳失敗...(image-4289e1-1743780087575)] ...
ZK已經(jīng)成為區(qū)塊鏈領(lǐng)域首要的技術(shù),并在應(yīng)用層在巨大的潛力,實(shí)現(xiàn)數(shù)據(jù)隱私保護(hù)和鏈下數(shù)據(jù)真實(shí)性。 [圖片上傳失敗...(image-4289e1-1743780087575)] ...
ZKP 有很多應(yīng)用場(chǎng)景,包含rollup, brige, oracle, 由此開(kāi)發(fā)很多項(xiàng)目,例如ZK-rollup, ZK-bridge,和 ZK-oracle。 混合(Hy...
ConsenSys 團(tuán)隊(duì)發(fā)布了zkEVM規(guī)范,描述了zk-EVM算術(shù)化的目標(biāo):(1)支持所有的EVM 操作碼,包含內(nèi)部合約調(diào)用,錯(cuò)誤管理和gas 管理;(2)能夠執(zhí)行字節(jié)碼;...
ERC-4337 2021年,vitalik提出一種新的賬戶(hù)抽象模型,主要目標(biāo)是讓智能合約賬戶(hù)具有 EOA 主動(dòng)發(fā)起交易的特性,完整的賬戶(hù)抽象包括身份驗(yàn)證、授權(quán)、重放保護(hù)、g...
RISC Zero 主要構(gòu)建 一個(gè)通用計(jì)算的零知識(shí)證明虛擬機(jī)zkVM,以證明任意計(jì)算,并即時(shí)驗(yàn)證。 代碼完全開(kāi)源 支持Rust開(kāi)發(fā)零知識(shí)證明,可支持任何編譯成RISC-V的程...
Polygon Miden是基于STARK虛擬機(jī)的通用執(zhí)行層,相比EVM兼容性,Miden更偏向于ZK友好性。 Miden 支持構(gòu)建計(jì)算量大的或隱私保護(hù)的應(yīng)用; Miden基...
本文以Plookup約束為例對(duì)PIL-STARK源碼進(jìn)行分析。 1. 定義starkStruct 首先定義starkStruct 結(jié)構(gòu)為: 2. 編譯PIL Plookup ...