Singularity: https://www.thesingularity.network/[https://www.thesingular...
RISC Zero 主要構(gòu)建 一個(gè)通用計(jì)算的零知識證明虛擬機(jī)zkVM滔灶,以證明任意計(jì)算准脂,并即時(shí)驗(yàn)證柜砾。 代碼完全開源 支持Rust開發(fā)零知識證明蛙紫,可...
Polygon Miden是基于STARK虛擬機(jī)的通用執(zhí)行層毒费,相比EVM兼容性界弧,Miden更偏向于ZK友好性捡需。 Miden 支持構(gòu)建計(jì)算量大的或...
本文以Plookup約束為例對PIL-STARK源碼進(jìn)行分析办桨。 1. 定義starkStruct 首先定義starkStruct 結(jié)構(gòu)為: 2....
V神最近參與投資了一個(gè)賬戶隱私相關(guān)的項(xiàng)目 Nocturne。nocturne于2022年開始創(chuàng)建站辉,是一個(gè)隱私的抽象賬戶協(xié)議呢撞, 可以讓用戶在以太坊...
Neptune 是一個(gè)點(diǎn)對點(diǎn)的匿名支付協(xié)議,首個(gè)在Layer 1 集成zk-STARKs協(xié)議的網(wǎng)絡(luò)饰剥,采用mutator sets殊霞, 能夠在不犧牲...
Lagrange協(xié)議是一個(gè)跨鏈的基礎(chǔ)設(shè)施,允許創(chuàng)建在主要區(qū)塊鏈中創(chuàng)建通用的狀態(tài)證明汰蓉,方便Dapps可以整合多個(gè)鏈狀態(tài)的聚合證明绷蹲。 Lagrang...
全同態(tài)加密FHE(Fully Homomorphic Encryption) 可以在加密的情況下對數(shù)據(jù)進(jìn)行處理,Zama利用全同態(tài)加密FHE和 ...
EIP-444 主要用于削減客戶端大于1年以上的歷史數(shù)據(jù)顾孽∽8郑客戶端必須在p2p層停止為大于1年以上的歷史區(qū)塊頭,區(qū)塊體若厚,和收據(jù)數(shù)據(jù)提供服務(wù)拦英。客戶端...