Skip to content

chore(zk): update TON verifier export commands #2102

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
novusnota merged 6 commits into from
Apr 26, 2026
+31 −18
Merged

chore(zk): update TON verifier export commands #2102

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
8e076f7
docs: update TON verifier export commands
Apr 20, 2026
9df9cb1
apply review comments to documentation
Apr 20, 2026
bfa1e0a
fix
Apr 20, 2026
fa5b342
Merge remote-tracking branch 'upstream/main'
mysteryon88 Apr 22, 2026
e8b7c6d
docs: update Tolk/FunC wrapper import instructions
mysteryon88 Apr 22, 2026
f120356
Merge branch 'ton-org:main' into main
mysteryon88 Apr 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 31 additions & 18 deletions contract-dev/techniques/zero-knowledge.mdx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -133,24 +133,34 @@ rm pot10_0000.ptau pot10_0001.ptau pot10_final.ptau Multiplier_0000.zkey

## Export the verifier contract

Return to the Blueprint project root before running these commands if you are still in `circuits/Multiplier`:

```bash
cd ../..
```

```bash
# export FunC contract (default)
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.fc
# export Tolk contract (default for Groth16)
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.tolk

# export Tolk contract
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.tolk --tolk
# export FunC contract
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.fc --func

# export Tact contract
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.tact --tact
```
Comment thread
coderabbitai[bot] marked this conversation as resolved.

For FunC and Tolk, wrappers must be generated manually:
For FunC and Tolk, generate the wrapper that matches your contract target in `./wrappers/`:

```bash
npx export-ton-verifier import-wrapper ./wrappers/Verifier.ts --force
# Copy the TypeScript wrapper for Tolk
npx export-ton-verifier import-wrapper ./wrappers/Verifier_tolk.ts --groth16 --force

# Copy the TypeScript wrapper for FunC
npx export-ton-verifier import-wrapper ./wrappers/Verifier_func.ts --groth16 --func --force
```

This command generates a TypeScript wrapper file that provides type-safe methods to interact with the verifier contract.
These commands copy TypeScript wrapper files that provide type-safe methods for interacting with the verifier contract. If you keep both wrappers in the same project, update the test import to match the wrapper you generated: use `Verifier_tolk` for Tolk and `Verifier_func` for FunC.

## Testing and verification

Expand All @@ -164,8 +174,11 @@ import { dictFromInputList, groth16CompressProof } from 'export-ton-verifier';
// for Tact (After running `npx blueprint build --all`)
import { Verifier } from '../build/Verifier_tact/tact_Verifier';

// for FunC and Tolk
import { Verifier } from '../wrappers/Verifier';
// for Tolk
import { Verifier } from '../wrappers/Verifier_tolk';

// for FunC
import { Verifier } from '../wrappers/Verifier_func';
```

Local verification:
Expand Down Expand Up @@ -252,14 +265,14 @@ The directory and files will be created automatically.
5. Export the verifier contract:

```sh
# Tolk contract (default)
npx export-ton-verifier ./circuits/Arkworks/MulCircuit/json/verification_key.json ./contracts/verifier_ark.tolk

# FunC contract
npx export-ton-verifier ./circuits/Arkworks/MulCircuit/json/verification_key.json ./contracts/verifier_ark.fc
npx export-ton-verifier ./circuits/Arkworks/MulCircuit/json/verification_key.json ./contracts/verifier_ark.fc --func

# Tact contract
npx export-ton-verifier ./circuits/Arkworks/MulCircuit/json/verification_key.json ./contracts/verifier_ark.tact --tact

# Tolk contract
npx export-ton-verifier ./circuits/Arkworks/MulCircuit/json/verification_key.json ./contracts/verifier_ark.tolk --tolk
```

### `gnark` (Go)
Expand Down Expand Up @@ -292,14 +305,14 @@ go get github.com/mysteryon88/gnark-to-snarkjs@latest
4. Export the verifier contract:

```sh
# Tact contract
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.tact --tact
# Tolk contract (default)
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.tolk

# FunC contract
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.fc
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.fc --func

# Tolk contract
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.tolk --tolk
# Tact contract
npx export-ton-verifier ./circuits/cubic-gnark/verification_key.json ./contracts/verifier_cubic.tact --tact
```

## Conclusion
Expand Down