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