counterLogic (r : Resource) (tx : Transaction) : BoolSource#

mkCounter (n : Nat) : ResourceSource#

zeroedCounter : ResourceSource#

zeroedCounterKind : KindSource#

incrementedCounter : ResourceSource#

incrementedCounterCommitment : CommitmentSource#

zeroedCounterNullifier : NullifierSource#

counterTransaction : TransactionSource#

main : Internal.TransactionSource#