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.

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