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