Introducing zcash_dart: A Dart Library for Zcash Transactions & Zero-Knowledge Proofs

General
1

Hi Zcash community,

I’d like to share an early-stage open-source project: zcash_dart, a low-level Dart library for working with the Zcash protocol.

The goal of this project is to provide a correct, protocol-faithful Dart implementation of Zcash cryptography and transaction construction, suitable for wallets, SDKs, and developer tooling.

Highlights

  1. Full support for Sapling, Orchard, and Transparent transactions
  2. Transaction creation, signing, serialization, and verification
  3. PCZT (Partially Constructed Zcash Transactions) support
  4. ZIP-32 / BIP-32 HD wallet functionality
  5. Unified Addresses, Sapling, Sprout, and Transparent address types
  6. Dart port of Zcash incremental Merkle tree
  7. Zero-knowledge proof systems:

    • PLONK (pure Dart + Rust FFI / WASM)

    • Groth16 (pure Dart + Rust FFI / WASM)

Pure Dart implementations for zero-knowledge proofs are very slow; Rust FFI / WASM backends are recommended.

:warning: Project status: early release, not production-ready. APIs may change and test coverage is still evolving.

Repository:
https://github.com/mrtnetwork/zcash_dart

Feedback, review, and contributions are very welcome.

2 Likes
ZCG Communication Guidelines
2

hello @mrhaydari would you like to present this to Light Client Group tomorrow?

Sent you a DM

3

Great work! Dart/Flutter has been a gap in the ecosystem. We built ZChat on Rust SDK - Dart bindings would help mobile devs avoid full wallet sync overhead.

Any plans for memo field API exposure? Would be useful for non-payment use cases.

4

I’m curious about an asymmetry in this library. You’re using the orchard crate directly for Orchard transactions, but not the sapling-crypto crate? What is the reasoning behind using one but not the other? The API of sapling-crypto intentionally rhymes with that of orchard and it provides equivalent functionality for the Sapling protocol that the orchard crate does for Orchard.

2 Likes
5

Ywallet and zkool are both flutter app. I am curious why you say there are no dart bindings…

1 Like
6

This is intentional. The Rust zk packages here are only used to create Sapling/Orchard proofs, and both implemented purely in Dart.

We use the orchard crate directly because its circuit and parameters are fully public and easy to pass into the default Orchard circuit for proof generation and verification.

For Sapling, the default circuit relies on internal parameters and private constructors, so you must closely follow the Sapling circuit implementation. To avoid pulling in sapling-crypto, reduce binary size, and simplify Dart integration, Sapling proof generation is implemented internally instead.

7

Good point - Ywallet’s FFI approach works well. Was thinking more about pure Dart options for simpler integrations. Both paths grow the ecosystem :+1:

8

Would you be interested in joining Light Client Working Group?

9

Absolutely, yes! Would be great to join.

Happy to contribute testing or feedback.

Sent a DM