Glossary

Commitment

A cryptographic binding of a value and randomness used to hide balances while enabling later proof relations.

A unique derived value marking a commitment as spent, preventing double-use without revealing linkage.

Opt-in revealing of limited proof-derived facts (e.g., balance change attestation) without full transaction trace.

A ZK-friendly hash function optimized for arithmetic circuits, used in commitment and Merkle operations.

Property that transactions cannot be feasibly correlated to the same user under defined adversarial models.

A contract maintaining private balances and enabling confidential transfers via zero-knowledge proofs.

Ability for third parties to independently check correctness of state transitions and optional disclosures.