Singularity: https://www.thesingularity.network/[https://www.thesingularity.network/] S...
RISC Zero 主要構(gòu)建 一個通用計(jì)算的零知識證明虛擬機(jī)zkVM昔字,以證明任意計(jì)算,并即時驗(yàn)證携狭。 代碼完全開源 支持Rust開發(fā)零知識證明夯膀,可支持任何編譯成RISC-V的程...
Polygon Miden是基于STARK虛擬機(jī)的通用執(zhí)行層诗充,相比EVM兼容性,Miden更偏向于ZK友好性诱建。 Miden 支持構(gòu)建計(jì)算量大的或隱私保護(hù)的應(yīng)用蝴蜓; Miden基...
本文以Plookup約束為例對PIL-STARK源碼進(jìn)行分析。 1. 定義starkStruct 首先定義starkStruct 結(jié)構(gòu)為: 2. 編譯PIL Plookup ...
V神最近參與投資了一個賬戶隱私相關(guān)的項(xiàng)目 Nocturne俺猿。nocturne于2022年開始創(chuàng)建茎匠,是一個隱私的抽象賬戶協(xié)議, 可以讓用戶在以太坊生態(tài)內(nèi)匿名交易押袍,首先支持以太坊...
Lagrange協(xié)議是一個跨鏈的基礎(chǔ)設(shè)施,允許創(chuàng)建在主要區(qū)塊鏈中創(chuàng)建通用的狀態(tài)證明午笛,方便Dapps可以整合多個鏈狀態(tài)的聚合證明惭蟋。 Lagrange State Committ...