Export TON Verifier

Export TON Verifier is a CLI tool and JavaScript library for generating Groth16 and PLONK (experimental, Circom) smart contract verifiers for the TON blockchain from .zkey or .json verification key files.

It integrates with the snarkjs library and supports circuits built with Circom, Noname, Gnark, and Arkworks (via verification_key.json). The protocol (Groth16 or PLONK) is auto-detected from the .zkey file.

Verifier code can be generated for three TON languages: FunC, Tolk, and Tact (selected via the --func, --tolk, or --tact flags). TypeScript wrapper templates are available per protocol (--groth16 / --plonk for import-wrapper and --wrapper-dest).

Installation

npm install export-ton-verifier

# Help
npx export-ton-verifier --help

Import as a library

import {
  dictFromInputList,
  groth16CompressProof,
  generateVerifier,
  zkeyExportPlonkVerificationKey,
  exportPlonkFuncCalldata,
  calldataToTupleItems,
} from "export-ton-verifier";

Usage CLI

# From .zkey, FunC by default:
npx export-ton-verifier ./circuits/verifier.zkey ./verifier.fc

# From verification_key.json (auto-detected by .json):
npx export-ton-verifier ./circuits/verification_key.json ./verifier.fc

# Force JSON mode (even if extension is not .json):
npx export-ton-verifier ./vk.txt ./verifier.tolk --tolk --vk

# Generate Tact verifier:
npx export-ton-verifier ./circuits/verifier.zkey ./verifier.tact --tact

# Generate and also drop the TypeScript wrapper:
npx export-ton-verifier ./circuits/verification_key.json ./verifier.fc --func --wrapper-dest ./wrappers/ --force

# Only copy the TypeScript wrapper (specify protocol):
npx export-ton-verifier import-wrapper ./wrappers/ --groth16 --force
npx export-ton-verifier import-wrapper ./wrappers/ --plonk --force

References

• TON Documentation
• Tact Documentation
• Examples
  • zk-examples/zk-ton-examples (Groth16)
  • zk-examples/zk-ton-plonk (PLONK)
  • zk-examples/zkJetton
• Export of proof and verification key in JSON format compatible with snarkjs
  • gnark-to-snarkjs
  • ark-snarkjs
• Frameworks verified for compatibility
  • Circom
  • Noname
  • Gnark
  • Arkworks