Digital Signature
- Your digital signature is the proof that you signed something
- Your digital signature attests to the fact that your data was not tampered with
- In asymmetric key system you ought to sign with the private key 🗝 or any symbol representing one
Example:
message: any expression from symbols to numerals to expressions to images to audio and video and so on.
: symbol for digital signature
🗝message;
: Free Form language symbol for digital signature in binary operator form in this case. keymessage computes a signature for the message given this key. Operator form should be thought of a multiplication a ⨉ b where two left and right operands are act on each other to compute a product. In a b, the key a acts on the message/data b to output a signature.
Sign
🔐["rsa"];
message = "hi";
signature = 🗝message;
save as signature1;
Cloud Object Browser: signature1
Verify Signature
base = "/certs/free/signature1";
s = "base/signature/value";
key = "base/🔑";
message = "hi";
q = ( ✍🏻 s ⚲ message ) key;
show q;
save as verify1;
Output:
"q" ⟶ True
Cloud Object Browser: verify1
FAIL: Verify Signature
base = "/certs/free/signature1";
s = "base/signature/value";
key = "base/🔑";
message = "hi!";
q = ( ✍🏻 s ⚲ message ) key;
show q;
save as verify1-2;
Output:
"q" ⟶ False