new DividendProof66561(notionalNote, residualNote, targetNote, sender, za, zb)
Constructs a Dividend proof. It is assumed that it is in the prover's interest for targetNote to be
as large as possible. What we are actually checking, is that targetNote <= (zb / za) * notionalNote.
If they desire, a prover can create a targetNote that is smaller than the note they are entitled to.
Parameters:
| Name | Type | Description |
|---|---|---|
notionalNote |
Object |
the note that one is computing a dividend of |
residualNote |
Object |
the note that represents the integer rounding error |
targetNote |
Object |
the note that is being produced |
sender |
string | |
za |
Number |
numerator for the ratio between notionalNote and targetNote |
zb |
Number |
denominator for the ratio between notionalNote and targetNote |