Como implantar um contrato para a Testnet zkEVM da Polygon

mkdir zkevm-erc20;
cd zkevm-erc20;
git init;
pnpx hardhat;

# Prompts Esperados
# 888    888                      888 888               888
# 888    888                      888 888               888
# 888    888                      888 888               888
# 8888888888  8888b.  888d888 .d88888 88888b.   8888b.  888888
# 888    888     "88b 888P"  d88" 888 888 "88b     "88b 888
# 888    888 .d888888 888    888  888 888  888 .d888888 888
# 888    888 888  888 888    Y88b 888 888  888 888  888 Y88b.
# 888    888 "Y888888 888     "Y88888 888  888 "Y888888  "Y888
#
# 👷 Benvindo ao Hardhat v2.12.3 👷‍
#
# ? O que você deseja fazer? …
#  Criar um projeto Javascript
# ❯ Criar um projeto TypeScript 
#   Criar um hardhat.config.js vazio
#   Sair

# ? Raiz do projeto Hardhat: › /path/to/zkevm-erc20

# ? Você deseja adicionar um .gitignore? (Y/n) › y

# ? Você quer instalar as dependências deste projeto de amostra com npm (@nomicfoundation/hardhat-toolbox)? (Y/n) › y

pnpm install;

# FROM: ./zkevm-erc20

./node_modules/.bin/hardhat node;

# Output esperado:
# Servidor HTTP e WebSocket JSON-RPC inicializado em http://127.0.0.1:8545/
#
# Contas
# ========
#
# Aviso: Essas contas e suas chaves privadas são publicamente conhecidas.
# Quaisquer fundos enviados para eles na Mainnet ou em qualquer outra rede ao vivo SERÃO PERDIDOS.
# ...

# FROM: ./zkevm-erc20

./node_modules/.bin/hardhat run scripts/deploy.ts

# Output esperado:
# Compilado 1 arquivo Solidity com sucesso
# Bloquear com 1 ETH e desbloquear o timestamp 1701595951 implantado para 0x5FbDB2315678afecb367f032d93F642f64180aa3

# FROM: ./zkevm-erc20

./node_modules/.bin/hardhat test;

# Output Esperado:
#   Bloquear
#     Implantação
#       ✔ Deve definir o unlockTime correto (894ms)
#       ✔ Deve definir o proprietário certo
#       ✔ Deve receber e armazenar os fundos para bloquear
#       ✔ Deve falhar se o UnlockTime não existir no futuro
#     Retiradas
#       Validações
#         ✔ Deve reverter com o erro exato se for chamado muito cedo
#         ✔ Deve reverter com o erro exato se for chamado de outra conta
#         ✔ Não deve falhar se o unlockTime tiver chegado e o proprietário o chamar

#       Eventos
#         ✔ Deve emitir um evento no momento da retirada
#       Transferências
#         ✔ Deve transferir os fundos para o proprietário
#
#  9 passando (1s)

# FROM: ./zkevm-erc20

pnpm add -D @openzeppelin/contracts;

# FROM: ./zkevm-erc20

mv ./contracts/Lock.sol ./contracts/zkERC20.sol;

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.9;

import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
import "@openzeppelin/contracts/access/Ownable.sol";

contract ZkERC20 is ERC20, Ownable {
   constructor() ERC20("zkERC20", "ZK20") {
       _mint(msg.sender, 10000 * 10 ** decimals());
   }

   function mint(address to, uint256 amount) public onlyOwner {
       _mint(to, amount);
   }
}

// Importa
// ========================================================
import { ethers } from "hardhat";

// Script de Implantação Principal
// ========================================================
async function main() {
 // Certificar-se na fábrica do contrato que ele corresponda ao nome do contrato no arquivo da Solidity

 // Ex: contrato ZkERC20
 const zkERC20Contract = await ethers.getContractFactory("ZkERC20");
 const contract = await zkERC20Contract.deploy();

 await contract.deployed();

 console.log(`ZkERC20 deployed to ${contract.address}`);
};

// Init
// ========================================================
// Recomendamos este padrão para poder usar async/await em qualquer lugar
// e lidar apropriadamente com os erros.
main().catch((error) => {
 console.error(error);
 process.exitCode = 1;
});

# FROM: ./zkevm-erc20

mv ./test/Lock.ts ./test/zkERC20.test.ts;

// Importa
// ========================================================
import { loadFixture } from "@nomicfoundation/hardhat-network-helpers";
import { expect } from "chai";
import { ethers } from "hardhat";

// Testa
// ========================================================
describe("zkERC20", function () {
 // Definimos um mecanismo para reutilizar a mesma configuração em cada teste.
 // Usamos loadFixture para executar esta configuração uma vez, fazer um snapshot desse estado,
 // e redefinir a rede Hardhat para esse snapshot em cada teste.
 async function deployZkERC20() {
   // Os contratos são implantados usando o primeiro signatário/conta por padrão
   const [owner, otherAccount] = await ethers.getSigners();
   // Certificar-se na fábrica do contrato que ele corresponda ao nome do contrato no arquivo Solidity
   // Ex: contrato ZkERC20
   const zkERC20Contract = await ethers.getContractFactory("ZkERC20");
   const zkERC20 = await zkERC20Contract.deploy();

   return { zkERC20, owner, otherAccount };
 };

 /**
  *
  */
 describe("Deployment", function () {
   /**
    *
    */
   it("Deve implantar com suprimento inicial de 10,000", async function () {
     // Configura
     const { zkERC20 } = await loadFixture(deployZkERC20);

     // Init + Test
     expect(await zkERC20.totalSupply()).to.equal(ethers.utils.parseEther(`10000`).toString());
   });
 });

 /**
  *
  */
  describe("Minting", function () {
   /**
    *
    */
   it("Deve cunhar e aumentar o suprimento de 137", async function () {
     // Configura
     const { zkERC20, owner } = await loadFixture(deployZkERC20);

     // Init
     await zkERC20.connect(owner).mint(owner.address, ethers.utils.parseUnits('137', 18));

     // Init + Test
     expect(await zkERC20.totalSupply()).to.equal(ethers.utils.parseEther(`10137`).toString());
   });
 });
});

# FROM: ./zkevm-erc20

./node_modules/.bin/hardhat node;

# Saída esperada:
# Servidor HTTP e WebSocket JSON-RPC inicializado em http://127.0.0.1:8545/
#
# Contas
# ========
#
# Aviso: Essas contas e suas chaves privadas são de conhecimento público.
# Quaisquer fundos enviados para eles na Mainnet ou em qualquer outra rede ao vivo SERÃO PERDIDOS.
# ...

# FROM: ./zkevm-erc20

./node_modules/.bin/hardhat test;

# Saída esperada:
#   zkERC20
#     Implantação
#       ✔ Deve implantar com um suprimento inicial de 10,000 (803ms)
#     Cunhando
#       ✔ Deve cunhar e aumentar o suprimento de 137
#
#  2 passando (819ms)