Skip to content

Conversation

@mysteryon88
Copy link
Contributor

@mysteryon88 mysteryon88 commented Nov 21, 2025

Closes #111

Add Zero-Knowledge Proofs Guide for TON

Summary

This PR adds a comprehensive guide for working with zero-knowledge proofs on the TON blockchain, covering the complete workflow from circuit creation to on-chain verification.

Changes

Documentation

  • Created new guide: contract-dev/zero-knowledge.mdx
    • Complete step-by-step tutorial for ZK-proofs on TON
    • Covers Circom circuit creation, compilation, and trusted setup
    • Includes examples for FunC, Tolk, and Tact verifier contracts
    • Provides integration examples with Arkworks (Rust) and Gnark (Go)
    • Features local and on-chain proof verification examples

Navigation

  • Added sidebar entry: Added contract-dev/zero-knowledge to the "Contract development" section in docs.json

Dictionary Updates

  • Added words to custom dictionary (resources/dictionaries/custom.txt)
  • Removed 2 words from ban list (resources/dictionaries/two-letter-words-ban.txt)

Quality Assurance

  • Ran npm run check:spell - all spelling checks passed

@github-actions
Copy link

Skipping AI review because this PR is from a fork. A maintainer can start the review by commenting /review in this PR.

@Kaladin13
Copy link
Collaborator

/review

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the update—across contract-dev/zero-knowledge.mdx, there are several suggestions to align structure, tone, and safety; please apply the inline suggestions.

Copy link
Collaborator

@Kaladin13 Kaladin13 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great article, lets fix AI review results and my comments

@mysteryon88
Copy link
Contributor Author

@Kaladin13, I made corrections, you can check it.

@Kaladin13
Copy link
Collaborator

@mysteryon88 Lint fails, please run npx remark -o --silent --silently-ignore contract-dev/zero-knowledge.mdx on your branch for this

@mysteryon88
Copy link
Contributor Author

@Kaladin13 Fixed

@Kaladin13 Kaladin13 self-requested a review November 25, 2025 10:46
Kaladin13
Kaladin13 previously approved these changes Nov 25, 2025
Copy link
Collaborator

@Kaladin13 Kaladin13 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good!

@verytactical verytactical changed the title ZK-proof guide (Circom, Gnark, Noname, Arkworks + Groth16) for TON feat: zero-knowledge proof guide Nov 25, 2025
Copy link
Collaborator

@verytactical verytactical left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've cleaned up this branch and pushed the result into the zk branch of this repo, because I don't have perms to push into the fork.

Please recommit it back from your account, so that your contribution is preserved in repo history.

@verytactical verytactical marked this pull request as draft December 1, 2025 14:23
@mysteryon88 mysteryon88 marked this pull request as ready for review December 1, 2025 18:18
@mysteryon88
Copy link
Contributor Author

@verytactical Did I do everything right?

@verytactical
Copy link
Collaborator

Every CI failed, because it's out of date with main. Can't fix it from GH interface, as I don't have perms to push to the fork (would you mind toggling the setting?)

image

Copy link
Collaborator

@verytactical verytactical left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

^

@verytactical verytactical marked this pull request as draft December 3, 2025 10:32
@mysteryon88 mysteryon88 marked this pull request as ready for review December 3, 2025 11:31
@mysteryon88
Copy link
Contributor Author

@verytactical If I understand correctly, then it's ready.

anton-trunov
anton-trunov previously approved these changes Dec 3, 2025
Copy link
Collaborator

@anton-trunov anton-trunov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot!

@anton-trunov
Copy link
Collaborator

@mysteryon88 please help us fix formatting issues

@mysteryon88
Copy link
Contributor Author

@anton-trunov run npm run fmt:some -- contract-dev/zero-knowledge.mdx. Is this enough?

@novusnota
Copy link
Collaborator

novusnota commented Dec 3, 2025

run npm run fmt:some -- contract-dev/zero-knowledge.mdx. Is this enough?

Yeah, just push those changes now, please :)

UPD: Thanks!

@anton-trunov anton-trunov merged commit da70be2 into ton-org:main Dec 3, 2025
6 checks passed
@verytactical
Copy link
Collaborator

Sorry for making it a long trip: we've managed to catch up with all the PRs only now, and are concurrently on some other projects.

Just a heads up for any future PRs: I recommend keeping the "let maintainers push into the branch" setting on when a PR is created. It'd take less review roundtrips, and we would likely fix all these minor issues on our own.

@mysteryon88
Copy link
Contributor Author

@verytactical No worries at all — everything’s totally fine. I understand, and I didn’t know about that feature, but I’ll make sure to keep it enabled in future PRs.
Thanks for taking the time to review everything!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Contract dev > ZK]

5 participants