ZKP

发表于2025-04-18|更新于2025-04-26

|浏览量:

计算复杂度理论

P问题：可以在多项式时间内求解

NP问题：不可以在多项式时间（可能需要指数或亚指数时间）计算求解；

但是可以验证解的正确性。

零知识证明系统是基于NP问题空间来构建的

什么是IPA

什么是plonk

eg: circom语言

w1是私用输入

文章作者: kizy

文章链接: https://kizzy899.github.io/2025/04/18/ZKP/

版权声明: 本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 EIGHTJIU！

相关推荐

一、DAO 基础概念什么是 DAO（去中心化自治组织）定义： Decentralized：基于区块链，由利益相关者共同决策。 Autonomous：运行逻辑由智能合约执行，在特定情况下无需人工干预。 DAO 是一个自主存在于网络中的实体，由公开透明的代码编码组织规则，管理组织资产。特点：社区治理：以集体方式作出决策（某种方式为自己做决定）。资产管理：拥有和分配内部资产的能力（包含内部资产，且它有能力将该资产用于奖励某些活动）。 DAO vs 传统公司特性 DAO 公司管理结构自下而上，去中心化自上而下，层级分明决策透明度公开透明相对封闭成员参与方式自主发起，自愿参与由雇佣关系或股份结构决定目标社区共识，长期共赢股东利润最大化 DAO 的类别 Protocol DAO：Uniswap、MakerDAO Social DAO：SeedClub、FWB Venture DAO：CultDAO Media DAO：Bankless DAO Grant DAO：Gitcoin dao究竟在做什么（1）去中...

12import "@openzeppelin/contracts/token/ERC721/ERC721.sol"; 定义非同质化代币（也称为契约）的标准接口。每个符合 ERC-721 的合约都必须实现ERC721和ERC165接口它更大的想象空间在于将物理世界的资产映射到区块链上。谜恋猫是第一个实现了ERC721 标准的去中心化应用 ERC20代币是可置换的，且可细分为N份（1 = 10 * 0.1）, 而ERC721的Token最小的单位为1，无法再分割。如果同一个集合的两个物品具有不同的特征，这两个物品是非同质的，而同质是某个部分或数量可以被另一个同等部分或数量所代替。钱包接口123456789101112131415/// @dev Note: the ERC-165 identifier for this interface is 0x150b7a02.interface ERC721TokenReceiver { /// @notice Handle the receipt of an NF...

DEX & CEXCEX vs DEX 核心知识点总结1. CEX（中心化交易所）托管模式：用户资产由交易所控制，存在平台跑路风险。透明度低：交易记录不公开，依赖交易所的内部账本。流动性来源：主要依赖专业做市商提供深度。 KYC要求：必须完成身份认证才能交易（合规要求）。典型代表：Binance、Coinbase、Kraken。 2. DEX（去中心化交易所）非托管模式：用户自持私钥，资产存于个人钱包（如MetaMask）。链上透明：所有交易记录公开可查（如Etherscan）。流动性来源： AMM 模式（如Uniswap）：依赖流动性池（LP提供）。订单簿模式（如dYdX）：可能结合做市商。无需许可：无需KYC，支持匿名交易。典型代表：Uniswap、SushiSwap、dYdX。 Token的作用？作为数字资产在区块链上流通代表项目权益或使用权提供激励机制（如质押、治理）增强生态内流动性早期融资：帮助项目方（尤其是小团队）筹集启动资金（如通过IDO/IEO）。社区治理：代币持有者可参与DAO投票，影响项...

定义Foundry 是一个由 Paradigm开发的智能合约开发工具包，用于在以太坊区块链上开发应用程序。Foundry 基于 Rust 运行，提供多种工具来开发和测试 Solidity 智能合约。Foundry 具有一套 CLI 命令，使创建新项目、编译、部署和与合约交互变得简单。创建Foundry项目安装命令： 12curl -L <https://foundry.paradigm.xyz> | bash //下载foundryupfoundryup //运行它安装 Foundry 安装后，有三个命令行工具 forge, cast, anvil 组成 forge: 用来执行初始化项目、管理依赖、测试、构建、部署智能合约 ; cast: 执行以太坊 RPC 调用的命令行工具, 进行智能合约调用、发送交易或检索任何类型的链数据 anvil: 创建一个本地测试网节点, 也可以用来分叉其他与 EVM 兼容的网络。初始化通过 forge 的 forge init 初始化项目 1forge init <project_name> i...

定义Hardhat 是一个由 Nomiclabs 构建和维护的以太坊智能合约开发环境。它是一个可扩展的 Javascript 框架，提供了一套管理智能合约生命周期的工具和功能，包括编译、部署、测试和调试。可以用npm直接安装： 12npm install hardhatnpx hardhat init 高度可定制性：Hardhat 的插件系统允许开发者通过自定义插件扩展其功能。 Hardhat 使用 Node 进行包管理，如果你熟悉 Node 及 Javascript， Hardhat 将非常简单上手。创建Hardhat项目创建项目目录 12mkdir hardhat-tutorialcd hardhat-tutorial 初始化Node项目 1npm init 安装Hardhat 1npm install --save-dev hardhat 将hatdhat添加到 package.json 的 devDependencies 中，而不是 dependencies 中在安装Hatdhat的目录下运行 1npx hardhat 使...

FISCO BCOS联盟链

FISCO BCOS介绍FISCO BCOS 是一个稳定、高效、安全的区块链底层平台。联盟链需要多家机构来组成联盟，所以FISCO BCOS 支持多群组概念，这意味着多个组织可以通过FISCOBCOS的联盟链组成多个联盟，而且联盟中可以允许共同的组织节点。如下图所示，在多群组技术下FISCO BCOS可以支持众多应用领域。逻辑架构以下是FISCO BCOS 的逻辑架构，分为：基础层、互联核心层、链核心层、管理层和接口层。基础层基础层提供区块链的基础数据结构和算法库，包括密码学算法、隐私算法等。链核心层链核心层主要实现区块链的链式数据结构和数据存储（分布式存储），采用了不同的数据库（LevelDB、MySQL、Qracle）来存储区块数据。互联核心层互联核心层实现了区块链的基础 P2P 网络通信、共识机制和区块同步机制。管理层相对于区块链基础架构，FISCO BCOS 细分出了管理层，实现区块链的管理功能，比如说参数配置、账本管理等。接口层接口层主要对应的是应用层，面向区块链用户，提供交互式控制台与各类应用接口。同时还包括智能合约与DApp。区块链交易流程...

评论