equal
deleted
inserted
replaced
45 \begin{isamarkuptext}% |
45 \begin{isamarkuptext}% |
46 Keys are just natural numbers. Function \isa{invKey} maps a public key to |
46 Keys are just natural numbers. Function \isa{invKey} maps a public key to |
47 the matching private key, and vice versa:% |
47 the matching private key, and vice versa:% |
48 \end{isamarkuptext}% |
48 \end{isamarkuptext}% |
49 \isamarkuptrue% |
49 \isamarkuptrue% |
50 \isacommand{types}\isamarkupfalse% |
50 \isacommand{type{\isaliteral{5F}{\isacharunderscore}}synonym}\isamarkupfalse% |
51 \ key\ {\isaliteral{3D}{\isacharequal}}\ nat\isanewline |
51 \ key\ {\isaliteral{3D}{\isacharequal}}\ nat\isanewline |
52 \isacommand{consts}\isamarkupfalse% |
52 \isacommand{consts}\isamarkupfalse% |
53 \ invKey\ {\isaliteral{3A}{\isacharcolon}}{\isaliteral{3A}{\isacharcolon}}\ {\isaliteral{22}{\isachardoublequoteopen}}key\ {\isaliteral{5C3C52696768746172726F773E}{\isasymRightarrow}}\ key{\isaliteral{22}{\isachardoublequoteclose}}% |
53 \ invKey\ {\isaliteral{3A}{\isacharcolon}}{\isaliteral{3A}{\isacharcolon}}\ {\isaliteral{22}{\isachardoublequoteopen}}key\ {\isaliteral{5C3C52696768746172726F773E}{\isasymRightarrow}}\ key{\isaliteral{22}{\isachardoublequoteclose}}% |
54 \isadelimproof |
54 \isadelimproof |
55 % |
55 % |