ZIP 224: Document that \rho is set to the action's nullifier

This commit is contained in:
Jack Grigg 2021-02-27 16:57:45 +00:00 committed by Daira Hopwood
parent ca326ab40e
commit 9fd129ff86
2 changed files with 7 additions and 5 deletions

View File

@ -103,8 +103,9 @@ Discussions-To: &lt;<a href="https://github.com/zcash/zips/issues/435">https://g
</section>
<section id="notes"><h3><span class="section-heading">Notes</span><span class="section-anchor"> <a rel="bookmark" href="#notes"><img width="24" height="24" src="assets/images/section-anchor.png" alt=""></a></span></h3>
<p>Orchard notes have the structure
<span class="math">\((addr, v, \rho, \psi, \mathsf{rcm})\)</span>
.
<span class="math">\((addr, v, \rho, \psi, \mathsf{rcm}).\)</span>
<span class="math">\(\rho\)</span>
is set to the nullifier of the spent note in the same action, which ensures it is unique.
<span class="math">\(\psi\)</span>
and
<span class="math">\(\mathsf{rcm}\)</span>

View File

@ -133,9 +133,10 @@ derivation mechanism (similar to Sprout).
Notes
-----
Orchard notes have the structure :math:`(addr, v, \rho, \psi, \mathsf{rcm})`. :math:`\psi`
and :math:`\mathsf{rcm}` are derived from a random seed (as with Sapling after ZIP 212
[#zip-0212]_).
Orchard notes have the structure :math:`(addr, v, \rho, \psi, \mathsf{rcm}).` :math:`\rho`
is set to the nullifier of the spent note in the same action, which ensures it is unique.
:math:`\psi` and :math:`\mathsf{rcm}` are derived from a random seed (as with Sapling
after ZIP 212 [#zip-0212]_).
- Orchard notes: [#spec-notes]_