definitions.tex (2728B)
1 \newcommand{\blue}[1]{{\color{blue}#1}} 2 \newcommand{\red}[1]{{\color{red}#1}} 3 \newcommand{\Guardian}{\mathcal{G}} 4 \newcommand{\Child}{\mathcal{C}} 5 \newcommand{\Customer}{\mathcal{C}} 6 \newcommand{\Merchant}{\mathcal{M}} 7 \newcommand{\Exchange}{\mathcal{E}} 8 9 \newcommand{\Commit}{\mathsf{Commit}} 10 \newcommand{\Attest}{\mathsf{Attest}} 11 \newcommand{\Verify}{\mathsf{Verify}} 12 \newcommand{\Derive}{\mathsf{Derive}} 13 \newcommand{\DeriveCompare}{\mathsf{DeriveCompare_\kappa}} 14 \newcommand{\Compare}{\mathsf{Compare}} 15 \newcommand{\AgeVer}{\mathsf{AgeVer}} 16 17 \newcommand{\HashF}{\mathsf{H}} 18 \newcommand{\Hash}{\mathsf{H}} 19 \newcommand{\Block}{\mathbb{B}} 20 \newcommand{\Pub}{\mathsf{Pub}} 21 \newcommand{\Sign}{\mathsf{Sig}} 22 \newcommand{\Ver}{\mathsf{Ver}} 23 \newcommand{\Encoding}{\mathsf{Encoding}} 24 \newcommand{\ECDSA}{\mathsf{ECDSA}} 25 \newcommand{\Null}{\mathcal{O}} 26 \newcommand{\EC}{\mathrm{ec}} 27 \newcommand{\Curve}{\mathsf{Curve25519}} 28 \newcommand{\SHA}{\mathsf{SHA256}} 29 \newcommand{\SHAF}{\mathsf{SHA252}} 30 \newcommand{\FDH}{\mathsf{FDH}} 31 32 \newcommand{\negl}{\epsilon} 33 34 \newcommand{\rand}{\mathsf{rand}} 35 \newcommand{\age}{\mathsf{a}} 36 \newcommand{\Age}{\mathsf{M}} 37 \newcommand{\bage}{\mathsf{b}} 38 \newcommand{\minage}{\mathsf{m}} 39 \newcommand{\attest}{\mathsf{T}} 40 \newcommand{\commitment}{\mathsf{Q}} 41 \newcommand{\pruf}{\mathsf{P}} 42 \newcommand{\Vcommitment}{\vec{\mathsf{Q}}} 43 \newcommand{\Vpruf}{\vec{\mathsf{P}}} 44 \newcommand{\blinding}{\beta} 45 46 \newcommand{\ZN}{\mathbb{Z}_N} 47 \newcommand{\Z}{\mathbb{Z}} 48 \newcommand{\N}{\mathbb{N}} 49 \newcommand{\A}{\mathbb{A}} 50 \newcommand{\E}{\mathbb{E}} 51 \newcommand{\F}{\mathbb{F}} 52 \newcommand{\seck}{\mathsf{s}} 53 \newcommand{\pubk}{\mathsf{P}} 54 \renewcommand{\H}{\mathbb{H}} 55 \newcommand{\K}{\mathbb{K}} 56 \newcommand{\Proofs}{\mathbb{P}} 57 \newcommand{\Commitments}{\mathbb{O}} 58 \newcommand{\Attests}{\mathbb{T}} 59 \newcommand{\Blindings}{\mathbb{B}} 60 \newcommand{\Nil}{\perp} 61 62 \newcommand{\p}{\mathsf{p}} 63 \newcommand{\com}{\mathsf{com}} 64 \newcommand{\prf}{\mathsf{prf}} 65 66 \newcommand{\Adv}{\mathcal{A}} 67 \newcommand{\PPT}{\mathfrak{A}} 68 \newcommand{\Probability}{\mathrm{Pr}} 69 \newcommand{\Algorithm}{f} 70 \renewcommand{\Game}[1]{G_\Adv^\mathsf{#1}} 71 72 \DeclareMathOperator{\Image}{Im} 73 \DeclareMathOperator{\Mod}{mod} 74 75 \newcommand{\Encode}[1]{\overbracket[0.5pt][2pt]{\,#1\,}} 76 \newcommand{\Decode}[1]{\underbracket[0.5pt][3pt]{\,#1\,}} 77 \newcommand{\FDHg}[1]{[#1]_g\,} 78 \newcommand{\logg}{{\breve{g}}} 79 80 81 \newcommand{\drawfrom}{\xleftarrow{\$}} 82 \newcommand\Exists{% 83 \mathop{\lower0.75ex\hbox{\ensuremath{% 84 \mathlarger{\mathlarger{\mathlarger{\mathlarger{\exists}}}}}}}% 85 \limits} 86 87 \newcommand\Forall{% 88 \mathop{\lower0.75ex\hbox{\ensuremath{% 89 \mathlarger{\mathlarger{\mathlarger{\mathlarger{\forall}}}}}}}% 90 \limits}