Singularity: https://www.thesingularity.network/[https://www.thesingularity.network/] S...
RISC Zero 主要構(gòu)建 一個通用計算的零知識證明虛擬機zkVM渊迁,以證明任意計算,并即時驗證剃盾。 代碼完全開源 支持Rust開發(fā)零知識證明腺占,可支持任何編譯成RISC-V的程...
Polygon Miden是基于STARK虛擬機的通用執(zhí)行層,相比EVM兼容性痒谴,Miden更偏向于ZK友好性衰伯。 Miden 支持構(gòu)建計算量大的或隱私保護的應(yīng)用; Miden基...
本文以Plookup約束為例對PIL-STARK源碼進行分析积蔚。 1. 定義starkStruct 首先定義starkStruct 結(jié)構(gòu)為: 2. 編譯PIL Plookup ...
V神最近參與投資了一個賬戶隱私相關(guān)的項目 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...
Dimension 主要用來部署app-chains, 也稱為RollApps淑翼。Dymension Hub 主要用來服務(wù)RollApps。 RollApps為Dymensio...
ZK-WASM 可以將更加能用的應(yīng)用通過Layer2引入到區(qū)塊鏈場景中品追。 目前區(qū)塊鏈技術(shù)發(fā)展主要集中在兩方面: 一是提升TPS玄括, 主要采用optimistic rollup,...
最近研究Nym 區(qū)塊鏈項目,提到 Coconut 簽名方案肉瓦,順便看一下論文遭京。 Coconut 是一種選擇性展示憑證屬性的分布式門限盲化簽名分發(fā)方案,具有公開和私有的屬性泞莉,重新...