* Reject duplicate sprout nullifiers in the state * Improve docs and error messages * Clarify "must be present" assert logs * Move nullifier checks to their own module Also: * make non-finalized nullifier checks and errors generic over sprout, sapling, and orchard * create and update module and function documentation * Fix a block type name in docs * Move state assertions or skip them during tests These changes enable state testing, while still asserting in production. * Add sprout duplicate nullifier tests * Improve comments * Set value balance to 0 to pass future chain value pool checks * Test finalized state in sprout nullifier accept test * Replace assert with expect * Improve assertion messages |
||
---|---|---|
.. | ||
prop.txt |