chore(zk): update TON verifier export commands

contract-dev/zero-knowledge.mdx

@@ -133,24 +133,38 @@ 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)
+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, copy only the wrapper that matches your contract target into `./wrappers/`. If you need both wrappers in the same project, export them into separate directories so they do not overwrite each other:
 
 ```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
+
+# or keep both wrappers side by side
+npx export-ton-verifier import-wrapper ./wrappers/groth16/ --groth16 --force
+npx export-ton-verifier import-wrapper ./wrappers/func/ --groth16 --func --force
 ```
 
-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. If you keep the default `./wrappers/Verifier.ts` path, use the import that matches the single wrapper you exported there.
 
 ## Testing and verification
 
@@ -252,14 +266,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)
@@ -292,14 +306,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