def tn

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/pschn.bend:137

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/schnorr.bend as SS
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr.bend as SC

137def tn() -> {SC.tag_nonce() == SS.tag_nonce() : List<&2, U32>}:
138  {==}