ZK已经成为区块链领域首要的技术，并在应用层在巨大的潜力，实现数据隐私保护和链下数据真实性。 [图片上传失败...(image-4289e1-1743780087575)] ...
发简信
IP属地：云南
-
-
ZKP 请求者-证明者离模型ZKP 有很多应用场景，包含rollup, brige, oracle, 由此开发很多项目，例如ZK-rollup， ZK-bridge，和 ZK-oracle。 混合(Hy...
-
-
账户抽象系列EIP梳理ERC-4337 2021年，vitalik提出一种新的账户抽象模型，主要目标是让智能合约账户具有 EOA 主动发起交易的特性，完整的账户抽象包括身份验证、授权、重放保护、g...
-
-
RISC Zero 介绍
RISC Zero 主要构建 一个通用计算的零知识证明虚拟机zkVM，以证明任意计算，并即时验证。 代码完全开源 支持Rust开发零知识证明，可支持任何编译成RISC-V的程...
-
Polygon Miden 介绍Polygon Miden是基于STARK虚拟机的通用执行层，相比EVM兼容性，Miden更偏向于ZK友好性。 Miden 支持构建计算量大的或隐私保护的应用； Miden基...
-
Polygon PIL-STARK 源码分析本文以Plookup约束为例对PIL-STARK源码进行分析。 1. 定义starkStruct 首先定义starkStruct 结构为： 2. 编译PIL Plookup ...