Mina protocol - 体验教程

Mina protocol - 体验教程

一、零知识证明( Zero Knowledge Proof )

零知识证明是一种密码学协议,允许证明者在不泄露任何额外信息的情况下,向验证者证明自己知道某个特定的秘密或信息。简单来说,证明者可以证明自己"知道"某件事,而无需透露这件事的具体内容。

零知识证明的重要性在于它能在保护隐私的同时,确保信息的真实性和可靠性。


零知识证明通常生成很麻烦,但是验证很迅速,其主要的运用场景是:

  • 隐私保护:验资、投票、交易
  • 计算压缩:区块链扩容

1、零知识证明(ZKP)的基本流程

  1. 编译(Compile)
  • 输入:program
  • 输出:verification_key(验证密钥,类型为字符串)
  1. 证明(Prove)
  • 输入:program,public_inputs(公共输入),private_inputs(私有输入)
  • 输出:proof(证明,类型为字符串)
  1. 验证(Verify)
  • 输入:proof,public_inputs,verification_key
  • 输出:布尔值(返回true 或 false 以验证证明的有效性)

工作流程:

Prover Function(证明者函数): 通过私有输入和公共输入生成零知识证明。

Verifier Function(验证者函数): 接收零知识证明与公共输入,并通过验证密钥进行验证,返回 true 或 false。


2、zkApp 的优势:

  1. zkApp 使用 TypeScript 编写,支持在浏览器中直接运行。
  2. 可编程隐私(Programmable Privacy):提供灵活的隐私配置,允许开发者根据需求编写隐私功能。
  3. 链下执行与链上验证(Offchain Execution & Onchain Verification):zkApp 可以在链下执行计算,链上只做验证,从而减少了Gas费用。
  4. 无需可信设置(No Trusted Setup):zkApp 不依赖于传统的可信设置步骤,简化了系统复杂度。
  5. 可组合性与 zkRollup 风格的扩展性(Composability and zkRollup-style Scaling):zkApp 通过递归扩展支持可组合性和 Rollup 风格的扩展性,提升了系统的可扩展性。
  6. 通过 Mina 区块链实现互操作性(Interoperability through Mina's succinct blockchain):zkApp 通过 Mina 的精简区块链实现了跨链互操作性。

3、zkApp 每个方法的编译过程:

每个 zkApp 的方法实际上被编译成一个程序,该程序具有以下两个要素:

  • 输入(Input): 方法的参数(arguments)和链上状态(on-chain values)。
  • 输出(Output): 执行的更新列表以及与链上状态相关的前提条件列表。

zkApp 中的智能合约的执行流程可以被描述为:

zkCircuits(State0 (public), private inputs) ===> Tx[proof, updates] ===> State1

解释 :zkCircuits 处理初始状态(State0),接受公共和私有输入,生成交易证明(Tx proof)和更新列表(updates),最终更新到新的状态(State1)。

方法的参数包含私有输入和智能合约的某些状态。

方法还利用外部世界的状态信息,生成对智能合约状态和外部世界状态的更新。

二、搭建第一个zkapp

  • 编写一个基本的智能合约,该合约存储一个作为链上状态的数字。
  • 合约逻辑允许仅通过其平方来替换这个数字;例如,3 -> 9 ->81,依此类推。
  • 使用zkApp CLI创建一个项目。
  • 编写你的智能合约代码。
  • 使用模拟的本地 Mina 区块链与智能合约进行交互。

先决条件

  • Node.JS v18+
  • NPM v10+
  • git v2+

1、下载或者更新 zkApp CLI​

shell 复制代码
npm install -g zkapp-cli

2、创建一个新项目

  • Zk project 命令能够为你的项目生成用户界面。
  • 请选择none选项。
shell 复制代码
zk project <project-name>

3、准备项目

首先删除新项目附带的默认文件。

shell 复制代码
rm src/Add.ts
rm src/Add.test.ts
rm src/interact.ts

创建新文件:

shell 复制代码
zk file src/Square
touch src/main.ts
  • zk file命令创建了src/square.ts 和 src/Square.test.ts 测试文件。

4、编写 index.ts

在文本编辑器中打开 src/index.ts 并将其更改为如下所示:

typescript 复制代码
import { Square } from './Square.js';

export { Square };

src/index.ts 文件包含了你希望从智能合约项目外部(例如从用户界面)进行调用的所有导出内容。

5.、编写 zkapp 智能合约

在src/Square.ts文件中编写你的智能合约。

typescript 复制代码
/*

Field:o1js中的原生数字类型。你可以将Field元素视为无符号整数。Field元素是o1js中最基础的类型,所有其他o1js兼容类型都是基于 Field元素构建的。
SmartContract:创建zkApp智能合约的类。
state:在zkApp智能合约中使用的便捷装饰器,用于创建对zkApp账户中链上存储状态的引用。
State:在zkApp智能合约中使用的类,用于在zkApp账户中创建链上存储的状态。
method:在zkApp智能合约中使用的便捷装饰器,用于创建智能合约中的方法(类似函数)。使用此装饰器的方法是用户与智能合约交互的入口点。

*/ 
import { Field, SmartContract, state, State, method } from 'o1js';

// 名为 Square 的智能合约有一个链上状态元素,名为num,类型为Field,
// zkApp可以拥有最多八个链上状态字段
export class Square extends SmartContract {
    @state(Field) num = State<Field>();
    init() {
        super.init(); // 添加init方法,用于在部署时设置智能合约的初始状态
        this.num.set(Field(3)); // 将链上状态num初始化为值 3
    }
    
    // 如果用户向update()方法提供的数字(例如 9)是现有链上状态num的平方(例如 3),则将链上存储的num值更新为提供的值(在此情况下为 9)。
    // 如果用户提供的数字不满足这些条件,他们将无法生成证明或更新链上状态。
    @method async update(square: Field) {
        const currentstate = this.num.get(); 
        this.num.requireEquals(currentstate); 
        square.assertEquals(currentstate.mul(currentstate));
        this.num.set(square);
    }
}

当用户调用智能合约上的方法时,所有断言必须为真,才能从该智能合约生成零知识证明。Mina网络只有在附加的证明有效时才会接受交易并更新链上状态。

6、与智能合约交互

接下来,编写一个与智能合约交互的脚本。在 src 文件夹下创建 main.ts 文件,以便你能够与智能合约进行交互。

typescript 复制代码
/*
    Field:与之前学到的相同的 o1js 无符号整数类型。
    Mina:用于模拟本地 Mina 区块链,方便将智能合约部署到其中,并像用户一样与其交互。
    PrivateKey:一个包含用于操作私钥的函数的类。
    AccountUpdate:生成一个可以更新 zkApp 账户的数据结构的类。
*/
import { Square } from './Square.js';
import { Field, Mina, PrivateKey, AccountUpdate } from 'o1js';

// 初始化本地区块链
const useProof = false; // 设置是否使用证明
const Local = await Mina.LocalBlockchain({ proofsEnabled: useProof });
Mina.setActiveInstance(Local);

// 模拟本地区块链提供了预先资助的账户
const deployerAccount = Local.testAccounts[0];
const deployerKey = deployerAccount.key;
const senderAccount = Local.testAccounts[1];
const senderKey = senderAccount.key;
// ----------------------------------------------------

// 创建公钥/私钥对。公钥是您的地址以及将 zkApp 部署到的位置
const zkAppPrivateKey = PrivateKey.random();
const zkAppAddress = zkAppPrivateKey.toPublicKey();

// 创建一个 Square 实例,并将其部署到 zkAppAddress
const zkAppInstance = new Square(zkAppAddress);
const deployTxn = await Mina.transaction(deployerAccount, async () => {
    AccountUpdate.fundNewAccount(deployerAccount);
    await zkAppInstance.deploy();
});
await deployTxn.sign([deployerKey, zkAppPrivateKey]).send(); // 发送签名

// 获取部署后 Square 的初始状态
const num0 = zkAppInstance.num.get();
console.log('state after init:', num0.toString());

// ----------------------------------------------------
// 创建了一个新交易,尝试将字段更新为值9。
const txn1 = await Mina.transaction(senderAccount, async () => {
    await zkAppInstance.update(Field(9));
});
await txn1.prove();
await txn1.sign([senderKey]).send();

const num1 = zkAppInstance.num.get();
console.log('state after txn1:', num1.toString());

// ----------------------------------------------------
// 尝试一个失败的交易,看一看结果会是怎样
try {
    const txn2 = await Mina.transaction(senderAccount, async () => {
        await zkAppInstance.update(Field(75));
    });
    await txn2.prove();
    await txn2.sign([senderKey]).send();
} catch (error: any) {
    console.log(error.message);
}
const num2 = zkAppInstance.num.get();
console.log('state after txn2:', num2.toString());

// ----------------------------------------------------

const txn3 = await Mina.transaction(senderAccount, async () => {
    await zkAppInstance.update(Field(81));
});
await txn3.prove();
await txn3.sign([senderKey]).send();

const num3 = zkAppInstance.num.get();
console.log('state after txn3:', num3.toString());

// ----------------------------------------------------

7、构建并运行智能合约

现在,Square 智能合约已经完成,以下命令将以模拟本地区块链运行您的项目。要将 TypeScript 代码编译成 JavaScript,请使用:

shell 复制代码
npm run build

要运行 JavaScript 代码:

shell 复制代码
node build/src/main.js

您可以选择将这些命令合并为一行(推荐):

shell 复制代码
npm run build && node build/src/main.js

8、运行结果

相关推荐
web3探路者7 小时前
深入探索Solana链上的Meme生态:创新、潜力与挑战#区块链开发#dapp开发
web3·区块链·团队开发·dapp开发·区块链技术·链游开发·交易所开发
加密新世界20 小时前
指南: 如何在 MEV 项目中使用 Yul
区块链
祁许1 天前
【Golang】手搓DES加密
开发语言·golang·密码学
MavenTalk3 天前
solana链上智能合约开发案例一则
rust·区块链·智能合约·dapp·solana
kejijianwen3 天前
Algen的跨链互操作性:增强区块链连接性
运维·centos·区块链
Sui_Network4 天前
World Wide Walrus:下一代数据存储协议
大数据·人工智能·web3·去中心化·区块链
Huazzi.4 天前
区块链中的wasm合约是什么?
区块链·wasm