Transaction component that proves shielded inputs and outputs balance without revealing addresses or amounts, enabling private transfers in Zcash.