05 - Orchard and Halo 2

This chapter has moved

The Orchard and Halo 2 material is not maintained here. It lives in two dedicated onboarding courses, each generated from the upstream repository it documents.

• Orchard (Action circuit, key tree, Sinsemilla, note encryption, the orchard crate end to end): dannywillems.github.io/orchard built from zcash/orchard.
• Halo 2 (PLONKish arithmetisation, custom gates, lookups, IPA, Fiat-Shamir transcript, halo2_proofs internals): dannywillems.github.io/halo2 built from zcash/halo2.

The technical detail (math, code walkthroughs, exercises) belongs in those courses, where the source embeds pin against the actual proving system implementation rather than the librustzcash workspace.

How Orchard plugs into librustzcash

This workspace consumes Orchard as an external dependency:

Cargo.toml

loading...

View on GitHub

The integration surface is small: bundle parsing in zcash_primitives, wallet scanning in zcash_client_backend, and proof-system verification via the orchard crate's public API.

For everything else, follow the redirect.