Tezos Stack Exchange is a question and answer site for users, experts, and developers of the Tezos blockchain project. It only takes a minute to sign up.
Sign up to join this community
I wanna ask about the parameters s and b in the cryptographic function:
the second parameter s: is the string that we should inject in the blockchain or the signature of the value returned by the Forge operation?
the third parameter b: is the value returned by the Forge operation?
Thank you in advance.
The SmartPy manual (https://smartpy.io/demo/reference.html#_cryptography) says that:
sp.check_signature(k, s, b): Determine whether the signature s (a sp.TSignature value) has been produced by signing b (a sp.TBytes value) with the private key corresponding to k (a sp.TKey public key value).
It simply computes a boolean after checking that the data in 'b' has been signed by 'k' into 's'.
== True is as always useless so: sp.verify(sp.check_signature(params.k, params.s, params.b)) is typically the right way to do it. It's used everywhere in the State Channel template smartpy.io/demo/index.html?template=stateChannels.py.