ChainIDE-English
  • 1. ChainIDE Introduction
  • 2. ChainIDE Modules
    • 2.1. File System
    • 2.2. Editor
    • 2.3. File Preview
    • 2.4. Logger
    • 2.5. Compile
    • 2.6. Deployment and Interaction
    • 2.7. Plug-in System Module
      • 2.7.1 ChainIDE Debugger
      • 2.7.2. ChainIDE Flattener Plugin
      • 2.7.3. ChainIDE Scan Verifier
    • 2.8. Functions at Bottom Part of ChainIDE
  • 3. ChainIDE - Loading Your Work
  • 4. ChainIDE - Saving Your Work
  • 5. ChainIDE - Port Forwarding
  • ChainIDE
    • 1. Ethereum IDE
      • 1. Ethereum IDE Environment Configuration
      • 2. How to Use Ethereum IDE?
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
    • 2. BNB Chain IDE
      • 1. BNB Chain IDE Environment Configuration
      • 2. How to Use BNB Chain IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
    • 3. Conflux IDE
      • 1. Conflux IDE Environment Configuration
      • 2. How to Use Conflux IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
      • 5. Using Conflux-Truffle
    • 4. Internet Computer IDE
      • 1. How to Use Internet Computer IDE
    • 5. Nervos IDE
      • 1. Nervos IDE Environment Configuration
      • 2. How to use Nervos IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
    • 6. Polygon IDE
      • 1. Polygon IDE Environment Configuration
      • 2. How to use Polygon IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
    • 7. Flow IDE
      • Learn how to use Flow IDE to develop dApps
    • 8. FISCO BCOS IDE
      • 1. FISCO BCOS Environment Configuration
      • 2. How to use FISCO BCOS IDE
    • 9. Sui IDE
      • 1. Sui Environment Configuration
      • 2. How to use Sui IDE
    • 10. Aptos IDE
      • 1. Aptos IDE Usage Process
      • 2. How to use Aptos IDE
    • 11. XDC IDE
      • 1. XDC IDE Environment Configuration
      • 2. How to Use XDC IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
    • 12. Astar IDE
      • 1. Astar Environment Configuration
      • 2. How to Use Astar EVM IDE
      • 3. How to Use Astar WASM IDE
    • 13. IRISnet IDE
      • 1. IRISnet Environment Configuration
      • 2. How to Use IRISnet EVM IDE
      • 3. How to Use IRISnet Native IDE
    • 14. Arbitrum IDE
      • 1. Arbitrum IDE Environment Configuration
      • 2. How to Use Arbitrum IDE
      • 3. Using Hardhat
      • 4. Using Ganache v7
      • 5. Using Truffle
    • 15. Starknet IDE
      • 1. Starknet IDE Environment Configuration
      • 2. How to Use Starknet IDE
    • 16. Mina IDE
      • 1. Mina IDE Environment Configuration
      • 2. How to Use Mina IDE
Powered by GitBook
On this page
  • 1. Write a contract
  • 2. Compile a contract
  • 3. Deploy a contract
  • 4. Contract interaction
  • 5. Mina Sandbox

Was this helpful?

  1. ChainIDE
  2. 16. Mina IDE

2. How to Use Mina IDE

The process of writing, compiling, deploying and interacting with Mina 01js smart contracts

Previous1. Mina IDE Environment Configuration

Last updated 7 months ago

Was this helpful?

1. Write a contract

After entering the project, you can click on the "preview" option at the top right corner of the readme.md file in the folder to preview it.

In the Explorer panel, you can create new files (or folders), refresh the directory, and download files. You can also directly click on the files that come with the template.

Click on a contract file to edit the code.

2. Compile a contract

On the right-hand menu bar, under the Compiler section, select "Module Package Path", and then click on "Compile" to start compiling the contract.

After successful compilation, a 'build' folder will be generated in the current directory.

3. Deploy a contract

Click on the "Deploy & Interaction" button on the right side, which will take you to the deployment and interaction page. Select "Module Package Path", and then click on "Config" to start zk config.

For example (Testnet):

  • Deploy alias name: devnet

    This tutorial uses devnet, but the deploy alias name can be anything and does not have to match the network name.

  • Target network kind: Testnet

  • Mina GraphQL API URL: https://api.minascan.io/node/devnet/v1/graphql

  • Transaction fee to use when deploying (in MINA): 0.1

  • Use a different account (select to see options): Create a new fee payer key pair

For example (Mainnet):

  • Deploy alias name: mainnet

    This tutorial uses devnet, but the deploy alias name can be anything and does not have to match the network name.

  • Target network kind: Mainnet

  • Mina GraphQL API URL: https://api.minascan.io/node/mainnet/v1/graphql

  • Transaction fee to use when deploying (in MINA): 0.1

  • Use a different account (select to see options): Create a new fee payer key pair

After completing the configuration, click on the faucet link in the Sandbox to obtain test tokens.

After successfully obtaining the test tokens, click on Deploy and select the appropriate Deploy Alias for deployment.

Wait for a moment, and the sandbox will display the deployment link. Click on that link to confirm that the deployment transaction has been successfully added to the chain.

4. Contract interaction

After a successful contract deployment, you can interact with the contract. Select the corresponding parameters and click on Interact to initiate the interaction.

5. Mina Sandbox

If you prefer using the command line for development, you can open the Mina Sandbox, which comes pre-loaded with , and 。

If you've started a process on a port in the Sandbox and wish to access that port, please refer to .

zkApp CLI
Git
Node.js V20
ChainIDE - Port Forwarding