Mina 프로토콜 탐색: zk 애플리케이션의 실제 사용 사례

Zkapps(제로 지식 애플리케이션)는 영지식 증명, 특히 zk-Snarks[영지식 간결한 비대화형 지식 인수]를 기반으로 하는 미나 프로토콜 스마트 계약입니다.zkapps 대체 snapps [스마트 비대화형 지식 인수 응용 프로그램]. ZkApp ​​스마트 계약은 o1js(TypeScript 라이브러리)를 사용하여 작성됩니다. zkApps는 사용자의 웹 브라우저에서 클라이언트 측을 실행하고 Mina 노드에서 확인되는 작은 유효성 증명만 게시합니다. Zkapp은 스마트 컨트랙트와 UI로 구성되어 있으며 이에 대해서는 다음 섹션에서 자세히 설명하겠습니다.

애플리케이션

개인 데이터에 개입하지 않고 사용자 연령을 확인하는 연령 확인 관련 zkapp을 만들었습니다.

zk Proof 빌드 과정의 일환으로 증명 기능과 검증 기능을 진행하기 위한 실제로 템플릿을 생성한 zkapp-cli npm 패키지를 설치하여 진행했습니다

구현

아래는 검증 커스텀 로직을 추가하는 구현입니다. 이는 증명 생성 중에 사용되는 zk-SNARK의 회로 논리를 정의합니다. 실제 증명 기능은 o1js 라이브러리에 의해 관리되며 zkApp 메소드가 비공개 입력을 통해 오프체인으로 실행될 때 호출됩니다.

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

/**
 * Private Age Verification Contract
 * The contract will verify if the user's age is greater than or equal to the threshold age.
 * The contract uses zero-knowledge proofs to keep the user's age private.
 */
export class AgeVerification extends SmartContract {
  // State variable to store the verification result (valid or invalid)
  @state(Field) valid = State<field>();

  // Method to initialize the state
  init() {
    super.init();
    this.valid.set(Field(0)); // Default is invalid
  }

  // Method to verify the age
  @method async verifyAge(age: Field, threshold: Field) {


    // Compute age - threshold
    const difference = age.sub(threshold);

    // Use circuit-compatible logic to check if the difference is non-negative
    const isValid = difference.equals(Field(0)).or(difference.greaterThanOrEqual(Field(0)))
      ? Field(1)
      : Field(0);

    // Set the validity of the verification result
    this.valid.set(isValid);
  }
}


</field>

아래 스크립트는 AgeVerification zkApp과 상호 작용하는 테스트 모음입니다. txn.prove() 중에 증명자 논리를 호출하고 업데이트된 상태를 확인하여 zkApp의 동작을 확인합니다.

실제 증명 기능은 기본 zkApp 메서드(verifyAge)에 있으며, txn.prove()는 테스트 중에 증명을 생성하는 메커니즘입니다.

입력을 테스트하기 위해 다음과 같이 테스트 스크립트를 편집했습니다.

import { AccountUpdate, Field, Mina, PrivateKey, PublicKey } from 'o1js';
import { AgeVerification } from './AgeVerification'; // Import the correct contract

let proofsEnabled = false;

describe('AgeVerification', () => {
  let deployerAccount: Mina.TestPublicKey,
    deployerKey: PrivateKey,
    senderAccount: Mina.TestPublicKey,
    senderKey: PrivateKey,
    zkAppAddress: PublicKey,
    zkAppPrivateKey: PrivateKey,
    zkApp: AgeVerification; // Update to use AgeVerification instead of Add

  beforeAll(async () => {
    if (proofsEnabled) await AgeVerification.compile(); // Update compile for AgeVerification
  });

  beforeEach(async () => {
    const Local = await Mina.LocalBlockchain({ proofsEnabled });
    Mina.setActiveInstance(Local);
    [deployerAccount, senderAccount] = Local.testAccounts;
    let feePayer = Local.testAccounts[0].key;
    deployerKey = deployerAccount.key;
    senderKey = senderAccount.key;

    zkAppPrivateKey = PrivateKey.random();
    zkAppAddress = zkAppPrivateKey.toPublicKey();
    zkApp = new AgeVerification(zkAppAddress); // Instantiate AgeVerification contract
  });



  async function localDeploy() {
    const txn = await Mina.transaction(deployerAccount, async () => {
      AccountUpdate.fundNewAccount(deployerAccount);
      await zkApp.deploy();
    });
    await txn.prove();
    // this tx needs .sign(), because `deploy()` adds an account update that requires signature authorization
    await txn.sign([deployerKey, zkAppPrivateKey]).send();
  }

  it('generates and deploys the `AgeVerification` smart contract', async () => {
    await localDeploy();
    const valid = zkApp.valid.get(); // Access the 'valid' state variable
    expect(valid).toEqual(Field(0)); // Initially, the contract should set 'valid' to Field(0)
  });

  it('correctly verifies the age in the `AgeVerification` smart contract', async () => {
    await localDeploy();

    const age = Field(25); // Example age value
    const threshold = Field(18); // Example threshold value

    // Call the verifyAge method
    const txn = await Mina.transaction(senderAccount, async () => {
      await zkApp.verifyAge(age, threshold); // Use the verifyAge method
    });
    await txn.prove();
    await txn.sign([senderKey]).send();

    const valid = zkApp.valid.get(); // Check the validity state after verification
    expect(valid).toEqual(Field(1)); // Expected to be valid if age >= threshold
  });
});

아래는 테스트 결과입니다

interact.ts 파일에 기본적으로 zk-SNARK 증명을 생성하고 mina 블록체인에서 거래할 때 증명을 제출하는 증명 메커니즘을 추가했습니다. Interact.ts 스크립트가 증명을 생성하는 동안 거래가 처리될 때 Mina 블록체인에 의해 검증이 수행됩니다. 이는 검증자(Mina 네트워크)가 확인하는 증거를 증명자가 생성하는 zk-SNARK 시스템의 핵심 측면입니다.

import fs from 'fs/promises';
import { Mina, NetworkId, PrivateKey, Field } from 'o1js';
import { AgeVerification } from './AgeVerification'; 

// check command line arg
let deployAlias = process.argv[2];
if (!deployAlias)
  throw Error(`Missing <deployalias> argument.

Usage:
node build/src/interact.js <deployalias>
`);
Error.stackTraceLimit = 1000;
const DEFAULT_NETWORK_ID = 'testnet';

// parse config and private key from file
type Config = {
  deployAliases: Record;
};
let configJson: Config = JSON.parse(await fs.readFile('config.json', 'utf8'));
let config = configJson.deployAliases[deployAlias];
let feepayerKeysBase58: { privateKey: string; publicKey: string } = JSON.parse(
  await fs.readFile(config.feepayerKeyPath, 'utf8')
);

let zkAppKeysBase58: { privateKey: string; publicKey: string } = JSON.parse(
  await fs.readFile(config.keyPath, 'utf8')
);

let feepayerKey = PrivateKey.fromBase58(feepayerKeysBase58.privateKey);
let zkAppKey = PrivateKey.fromBase58(zkAppKeysBase58.privateKey);

// set up Mina instance and contract we interact with
const Network = Mina.Network({
  // We need to default to the testnet networkId if none is specified for this deploy alias in config.json
  // This is to ensure the backward compatibility.
  networkId: (config.networkId ?? DEFAULT_NETWORK_ID) as NetworkId,
  mina: config.url,
});

const fee = Number(config.fee) * 1e9; // in nanomina (1 billion = 1.0 mina)
Mina.setActiveInstance(Network);
let feepayerAddress = feepayerKey.toPublicKey();
let zkAppAddress = zkAppKey.toPublicKey();
let zkApp = new AgeVerification(zkAppAddress);

let age = Field(25); // Example age
let threshold = Field(18); // Example threshold age

// compile the contract to create prover keys
console.log('compile the contract...');
await AgeVerification.compile();

try {
  // call verifyAge() and send transaction
  console.log('build transaction and create proof...');
  let tx = await Mina.transaction(
    { sender: feepayerAddress, fee },
    async () => {
      await zkApp.verifyAge(age, threshold); // Replacing update() with verifyAge
    }
  );
  await tx.prove();

  console.log('send transaction...');
  const sentTx = await tx.sign([feepayerKey]).send();
  if (sentTx.status === 'pending') {
    console.log(
      '\nSuccess! Age verification transaction sent.\n' +
        '\nYour smart contract state will be updated' +
        `\nas soon as the transaction is included in a block:` +
        `\n${getTxnUrl(config.url, sentTx.hash)}`
    );
  }
} catch (err) {
  console.log(err);
}

function getTxnUrl(graphQlUrl: string, txnHash: string | undefined) {
  const hostName = new URL(graphQlUrl).hostname;
  const txnBroadcastServiceName = hostName
    .split('.')
    .filter((item) => item === 'minascan')?.[0];
  const networkName = graphQlUrl
    .split('/')
    .filter((item) => item === 'mainnet' || item === 'devnet')?.[0];
  if (txnBroadcastServiceName && networkName) {
    return `https://minascan.io/${networkName}/tx/${txnHash}?type=zk-tx`;
  }
  return `Transaction hash: ${txnHash}`;
}


</deployalias></deployalias>

연령과 임계값을 25세와 18세로 입력했습니다.

npm run test를 실행하여 테스트가 성공적으로 완료되었으므로. zk config를 사용하여 devnet에 배포를 진행했습니다

다음 입력을 제공한 경우:

별칭 배포: 테스트
네트워크 종류: 테스트넷
URL: https://api.minascan.io/node/devnet/v1/graphql
수수료 납부자: 새로운 수수료 납부자 키
거래량: 0.1

URL은 여기에서 검색할 수 있습니다:

그런 다음 배포 시 다음과 같은 응답을 받았습니다.

컨트랙트는 다음 devnet에 배포됩니다

배포 후 RPC URL과 배포된 컨트랙트 주소를 제공하여 간단한 html, css, js를 선택하는 UI를 진행했는데 이것이 최종 UI입니다.

이렇게 스마트 계약과 UI를 통합한 후 zkapp 생성이 완료됩니다. AgeVerification zkApp용 사용자 인터페이스(UI)를 구축한 후 프런트엔드와 스마트 계약의 통합을 통해 사용자는 영지식 증명 시스템과 원활하게 상호 작용할 수 있습니다. UI는 zk-SNARK를 통해 개인 정보를 유지하면서 사용자 연령 및 임계값 데이터를 계약에 제출하는 것을 용이하게 합니다. 이를 통해 사용자는 실제 값을 공개하지 않고 나이를 확인할 수 있어 기밀이 유지됩니다. 증명 기능을 활용한 백엔드가 증명을 생성하고, Mina 블록체인이 이를 효율적으로 검증합니다. 이 엔드 투 엔드 솔루션은 Mina의 zk-SNARK 기반 아키텍처가 제공하는 개인 정보 보호 및 확장성 기능을 최대한 활용하면서 안전하고 사용자 친화적인 환경을 보장합니다.

위 내용은 Mina 프로토콜 탐색: zk 애플리케이션의 실제 사용 사례의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!