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
Merged

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

Changes from 1 commit
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
36 changes: 20 additions & 16 deletions contract-dev/zero-knowledge.mdx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -134,23 +134,27 @@ rm pot10_0000.ptau pot10_0001.ptau pot10_final.ptau Multiplier_0000.zkey
## Export the verifier contract

```bash
# export FunC contract (default)
npx export-ton-verifier ./circuits/Multiplier/Multiplier_final.zkey ./contracts/verifier_multiplier.fc
# export Tolk contract (default)
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
```

For FunC and Tolk, wrappers must be generated manually:
For FunC and Tolk, the TypeScript wrapper must be copied manually:

```bash
npx export-ton-verifier import-wrapper ./wrappers/Verifier.ts --force
# copy the TypeScript wrapper for Tolk (default for Groth16)
npx export-ton-verifier import-wrapper ./wrappers/ --groth16 --force

# copy the TypeScript wrapper for FunC
npx export-ton-verifier import-wrapper ./wrappers/ --groth16 --func --force
```
Comment thread
coderabbitai[bot] marked this conversation as resolved.
Outdated

This command generates a TypeScript wrapper file that provides type-safe methods to interact with the verifier contract.
These commands copy a TypeScript wrapper file that provides type-safe methods to interact with the verifier contract.

## Testing and verification

Expand Down Expand Up @@ -252,14 +256,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 +296,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
Loading