Update to new annotation syntax.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2022-07-21 21:43:00 +01:00
parent 7c83d6d676
commit 2d15aeaa69
2 changed files with 3 additions and 3 deletions

View File

@ -111,7 +111,7 @@ impl Flags {
///
/// [txencoding]: https://zips.z.cash/protocol/protocol.pdf#txnencoding
pub fn from_byte(value: u8) -> Option<Self> {
// TCR:bad-txns-v5-reserved-bits-nonzero
// https://p.z.cash/TCR:bad-txns-v5-reserved-bits-nonzero
if value & FLAGS_EXPECTED_UNSET == 0 {
Some(Self::from_parts(
value & FLAG_SPENDS_ENABLED != 0,
@ -372,7 +372,7 @@ impl<T: Authorization, V: Copy + Into<i64>> Bundle<T, V> {
/// This can be used to validate the [`Authorized::binding_signature`] returned from
/// [`Bundle::authorization`].
pub fn binding_validating_key(&self) -> redpallas::VerificationKey<Binding> {
// *TCR:bad-txns-orchard-binding-signature-invalid
// https://p.z.cash/TCR:bad-txns-orchard-binding-signature-invalid?partial
(self
.actions
.iter()

View File

@ -67,7 +67,7 @@ impl BatchValidator {
/// figure out which of the accumulated bundles might be invalid; if that information
/// is desired, construct separate [`BatchValidator`]s for sub-batches of the bundles.
pub fn validate<R: RngCore + CryptoRng>(self, vk: &VerifyingKey, rng: R) -> bool {
// *TCR:bad-txns-orchard-binding-signature-invalid
// https://p.z.cash/TCR:bad-txns-orchard-binding-signature-invalid?partial
if self.signatures.is_empty() {
// An empty batch is always valid, but is not free to run; skip it.