发简信
IP属地：北京
Singularity： https://www.thesingularity.network/[https://www.thesingular...
RISC Zero 主要构建 一个通用计算的零知识证明虚拟机zkVM，以证明任意计算，并即时验证。 代码完全开源 支持Rust开发零知识证明，可...
Polygon Miden是基于STARK虚拟机的通用执行层，相比EVM兼容性，Miden更偏向于ZK友好性。 Miden 支持构建计算量大的或...
本文以Plookup约束为例对PIL-STARK源码进行分析。 1. 定义starkStruct 首先定义starkStruct 结构为： 2....
V神最近参与投资了一个账户隐私相关的项目 Nocturne。nocturne于2022年开始创建，是一个隐私的抽象账户协议， 可以让用户在以太坊...
Neptune 是一个点对点的匿名支付协议，首个在Layer 1 集成zk-STARKs协议的网络，采用mutator sets， 能够在不牺牲...
Lagrange协议是一个跨链的基础设施，允许创建在主要区块链中创建通用的状态证明，方便Dapps可以整合多个链状态的聚合证明。 Lagrang...
全同态加密FHE(Fully Homomorphic Encryption) 可以在加密的情况下对数据进行处理，Zama利用全同态加密FHE和 ...
EIP-444 主要用于削减客户端大于1年以上的历史数据。客户端必须在p2p层停止为大于1年以上的历史区块头，区块体，和收据数据提供服务。客户端...