Skip to content

⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠ You can decompress Drawing data with the command palette: 'Decompress current Excalidraw file'. For more info check in plugin settings under 'Saving'

Excalidraw Data

Text Elements

Bob ^6OQLvV5A

Alice ^G2owMoRm

I am Alice + K_+()公钥 ^dvARFmGJ

不重数R ^iM6bTBir

K_-(R) ^5jWZTgHF

计算R并鉴别了Alice ^7ssfbbfa

%%

Drawing

N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGOJ4aOiCEfQQOKGZuAG1wMFAwYogSbggADWceCs0ARWcAIQBOACV6AEE6uABNAA4Aa1IAeSEAERTiyFhEcqIOJH4SzG4A

dh4AFm1NgGYd+IA2A4BWAAYd5tODpcgYbkSD7Sv4vtPj9bPm1aObiAoSdTcY7aA6nZp9A47Hh9RLHX6SBCEZTSIHHLbfY5fTHHHjxDZ9Da/azKYLcU6/ZhQUhsAYIADCbHwbFI5QAxPEEByOZMSppcNgBspqUIOMQGUyWRIqdZmHBcIEsjzIAAzQj4fAAZVgpIkgg8SoglOptIA6gDJNw+AUBFSaQgtTAdeg9WVfsLkQtmDk0PFfmw5dg1Hcfady

daIELhHAAJLEb2oXIAXV+yvIGVj3A4QnVv0Ioqw5Vw8QNwtFnvjRSm0Hg4l41oAvhSEAhiNwDq8dpjQatfowWOwuD6+laq33WJwAHKcMT3DbNHgHZqXE655hjNJQFvcZUEMK/TTCUUAUWCGSy8azOfDQjgxFwm9bPtW+I2G1OPFWndfv3mA0z2fwH82AFLc0B3fA93DOA2DzbI8mtMB8imYow2QsBTgQ5MEKQ5DgVBcFIWhWEbmKY40W0DEsWaHE

8QJTDrSwqt8FCKAGX0fQ1AfAAFGDFTQS9APDSl5SgRo80cDhlH/K8q0yYgxNFPMpP4gCKSiUgoA6UhqQoBFcEfVABN+OStJ0vSDKMqDGRgZROG3XcEAKRsCkrSAygkCgoAALUaAYAAl6mYZQBhMAAxfRQrYZgjB4HJfhmWsIHmRZwxWNAeA/bROx4d930hA5VhePpfmDVB4jBbQNmhZoDg/U5VmOeJqJ2X5/mIQE0EeVZPw7QqwR2Br4URZEoCBD

Z4go/ZhwK4cMp+cNiSdVCSiNO1xWZNkuU5FKqz5AVIxFMVGQ2qVyA4WV5UyUaUzVTVtUSl1WzU40EDNdqLXS567QdJ1DUZV1w3dSRy3uP0AyDe5Q1+A6YzjPJGJKVNcHTCzVPDcSCwkXBkjdQ9iBBtBXOmGtLQbJtQNQY49niKmCWaXsmHHQcyr6enwzHAcpw4GcfTOfZTjnJrV3XYIH3siCEH3PGT3SK6LzRqsbzvMWnxfN8PzxeqfzzP8VJkko

mRAgzwMgqtoNg+McOKK2UJI9DMJIm2wGcLqevOPrmgGuEELANEJs/F4F1WWaFwOeipgRyBmMpNiOJkFseNg6TBKrYSNIUiTlMMhWSjkjOlOTtSRNMthdJCVH9cgEztNL8zC6s/AbLssCHKcpZXNKAyIAOYY6gAGXoAA1Y4OgNBLyk3TBrtSttVmaEFviOWrMQxa5w1K1ZTj6EE+l3k4jkOXFfXDNqOtQHZt/2JdvleI432XoakRRdLvarRba2Wm0

XvWyV0HZbbuT7n5IKUsR0JQTzOhdBU08qyqnVD9B6/0npCVtKac0lovq0gQeUR6JZhAenCPGY+VZ/T8ghiGT+EZhSw0tpHCASMUb1yrBjNK6BcA7DwYdAm2dK6GmbAZQ4zR4g0w2IVYhJQObN1QHPBm/ZJzTlrIkC+4J8TvGFhuCmJtJbhgPIdGWZ44J6xTiUJW94KbxGfASdWn40SEnDL+JhBtgK0mNg5eKWBRoSEaHYEslAAAqHjyjeM0AaZUn

AoAakIEYWsOUUzhNCsjNUpVX4lEnppIgyhmZJQQMqGBEimBQHMAQDoGSslQH9AaPQWRcB5iYBmIxfpSBIjzAQAJU8gk+KJEIcprRwhRNrFSIQ2imK1L8sNZ+ZVtjHDbi5dGXcADiPBS4AFk2CtH0GPEmUpAm/FYTlU42gviazODwecNVd4lVnlsZoGwLj7HeNRVmxUT7oLQLciiTVqK2NuZ2G5j8RpAkoe/MkmD6THV/hAf+W0DR7RAXjH+ECZRy

mgaE262DdRIINKtNB70MEoJeui50mLcZ+GBoQ0G4ZSGBlgJDShMNYy0JTGmBA9SeHGLcvmVhEBcAbE4WWclDShL8MtJ+AaDUPyyKZtwPoKTICSI4FzHmZVF4wlZkudRotNFuJ0dLU8ctHGQFMSrZVat3yFTfD2exOsDVJWcVqiW7j2kSBKeYBAAAdLgbp/GBOdUQMQHrQnhMidEy0lCwlZASRxRuQJHXpKRFk4IuSDR9kKe4F1mSJ4VN+FUqItTS

CsssiQpp/hWk+vQC6/1nqFrdLWX0kNaBBnDINqM8ZnjJk8GmcUZyxQO7uXQEYYYAxsBHhuTsE0fcKCNCPHUQgGweheQAFLOD6Js2YWMa5UF2ZaKq2hhye2+Bleq5xEiXJ9BlCiYjjiQmEecRqa8qynw+qgDYi5Dn1SphYi+REO3/ImYkOIBxRH1RuQVbqOxvwLUkktUFCKJBQu2jC4BB1RSwfQNKc6yKrqovgfdHBxL8V2jemfEcK1UH2lwxi/UJ

KCFegpSQ8GNKKHQ2oQy+GTLkYsoruy0onLCzHD5fjAVqAibVjXXWKY3aVrCt5kud4bw+gtXZozAc0rLWjmU/I7mtZnzglOcIxTzC1waNcQ6nVei9XnhtUa8xljXxmsXPibWHBdZsqAkbcWpsSjm0s2gG2TtP4oQdthH2L756XAavsHq37ZXFH/SCIDc8X3dU/K+cOxQ6HR1YgYOO3FeJtsLaRkS+dJI2rzuJAugrU7qU0huuulXc6ihLmXfShYN0

GiCAeCg9qwgzJ7XM8oxBOitHCvMhdq7EppINKwr2WUvjvjfPsDYVMCqnrKp2J4F8FOQjOZCAzJRH2Whpocz5VwDiH3Kn88MCIn5tp/ZBkkH9KpXAhKCRIiRnwHxg+CzaACdq8iQ6A1D0BIGYcVDdHDjpEFUYIzi4joLCV/Wh1WIG3DxGQCpeQsqUNwz0rhr5uhDDOM2pYYWA4AnuEFYENJlmh8oSbDU/kuRzM+gM7lRphVCj7gfkA9RY9GqEDGq0

VLczssfOuevLeMxAjbNvluS8RzVrnM2sNi4jzTbphlogNGVAyNUAVoQKgAA1KgAA0gAfUNwACgAJSABtFQApSm+IoG0ttWudf6D136g3xvzdW7t47uJWRg0xLDfExJ0a0CyugB49NCacl5LZxpIp+BY+ZrgJU8JNSFj5q4405pHBS1OvQNr3X+ujem4tzbh3BpcA1t6awetqBG1OYQGMm79wpm9cKP1iQcANT0GIP3VYYh6BwGWaHDYyzCAahN7g

cbrWdJTbWO+Xdn5aoFS3iouxVZSp1QSIBvEgGeB7AuASVqrzn3HG3lvV8wjaoXa9r+tthUso7COFvPehUWdR+BWgSh2KwVwE4MtpAEdEAd4VvtTokVLowdww4E7pIc8MkdSMXoiMn0SMv5voKMiVkDIAUchM0cIAMdGMsc6UWM8cEwCdmUC0c4OViBMY2FVhychMRNx50oyYhUKZPYO1Ow+clMmdIZt9GcmZFVFEvlhECQyJ+dBdtVdpdVRdDFxd

FZJdjULFTU9hRFWYnMXNKdbV3MW5TMzY8tLZgs0IAt7ZkJI5EIfZnAltr8rE79cR+pBofYX89h39d4IQv8Go0swAMsWJY5OIE48sbU05RJysSt6sq5RRiss5dCwims6slCGtiBEjy4F9S52t8BOtutHIu124e90BCBlkDhNA/ExIWR4otk0MdkZ40A38dhjtWY8REt5whZ15LR2wNt9gedg4zVwNz9cU0BnwPklwZUaompNZ70ShrsAUX4iQoNax

Hh4gv0YQaZEhR1xovsgC/4QC/tIBYVkMwETo0MQcYCE96E0VsDEcAYqtUCL8MDDQyMEdcFqMyVaMfQwYyESDyoyCoxWN8d2NGEoieN6CuVcAV0SV+UPjkiqdzEflGoBYtD+CpUfRhFJVOZOchxWYGpqIltpDcjhdjwLNFDdDrNpd1D8RTgT1FcdDaC9DVcDDPMNci8IBABYOUAFnEwAB1NWgncXdyhOSeTA0g9+lQ1A8oBI0kkY1ww0lU8JBE0Li

U1k85S0Ms1wwc0s86lc9KVi0Wl8B+SJBBTeSukek60BlSAhkW8285j21O0wBJNe0u4YAhA/I6RiB9BlR8A/JnBjgzc/JlkJxSAF0F06gxg+55911F8t10ojgngYRPYaovgFwr1VsGjd1DgRFRExiBZWc/gL8qoJoCQ3h1i39vCo9Zi/1wMEgPwFMYRwNV5Hjf9UB/8yMgd4NQDdpwDDogd0MoEsNwcEDfpXiYdXoHj4drjhzkd8F3iiEvjqVSpfj

mN/iKCkwgSicQSScsZmhmCYTWDqieAODU5qcmojg71cQo95VpU2Z1MmdRDuAdgt5uoqoVx0YjNNUTNmSIBdFiSFD5ZeFyT7gZdb131pio5rUQSVdCSrILZ4JkJ/M7YMJLDHYQtcRd03xGpGpSyXgXC0IVith3tay8KGzfD/CY5ssgjiBE4+JYSniisIi4j6SytFJIiaKEjat0iQTq4zIOK2E2tjJsjS5ciu9HTyhjgAArE0LyPxZQPyUKCMmo9pa

M8+G5SqHKE8qmKEPgnfe894LKNEXE3ESELeUCvMoY1AE4SqTEG5K9YOD2IQyACs27H/RYkFEctsvYxDfaQHSA046AlFAcl4/DO4wjMckcwK3AiAfAmEwg4ghc7HKsXHRlOA6g7U5hXjLGOkHcv87jMIcxCEGED8fEQgy8+oky+VO8yPYOHEM7dVV8kWAXKCuQkXAxbK34AC1WKxAWV8aiXMhxCCu1D89XaPVk83ZwS3Voa3PkzXUa8aya8U4PMUu

AsPKNZJWNFU7JJNWRVNYpUpNPDPapPNGg3hZkfPQvV3GaiamvOvM07gZvRXVvVtDvDtYSwoiAVYL0ZUTQTQHceS4ai41hRcbeF9M7K9UMK/TEeyiAZJc9dsJcI/G5H5Eyg7J8IGi4G5KYu7KsRyy0Zyh7Vy4K2kdy37TyuFbsny4HPy/suAq4xAyjW4lAkKsyx4gA8K+mvA6c1HOczHRcnHcgpK2BFK4ndKthCYKEwTGE+I6nN/ULc4T2DEqRAYl

EzErTe4GqT8bqHEXMwgN8hqwaok4gfRfVEE9qk1TqpbG+EyvqmiyCvWmUzXQAQujAB071aEADc9QAFyTABqJUADC5fXKa1kp212z2n2r3YUiJUU9KUPCNcPVau2qedahU5NApZU3aqUNUqsDUw61KkoE6ktfUh252927232k02tBvc0y0+660v9TvfI2ZZhLuOoZUAAVUHg4HmVaCPGGEHmVAGHoGaDEtOGWU0DEoAEdKiZTqiMB1RCA5B9iIA9l

wRqy38Wdnxxp75VtD1tAzhhFzyco4bCDkaypPZDlTzNbwNH8rtHr0pRFDluphEXhDh75MaSgmyWzv5yb2y57DjvKdiKaMNzjsNByoc2anj7imbxzaacCQGorZzKUGM4q/ibwATKC1yjruNNy2FTgsruA9yxMDyJNyYDIzsoQr8xF5bmYFxyGKreBb1ppTktadbjU7qmqfyWqrMVCbNTUMovhvhtDlcBq1cXr66gkuI/EOhoxowDhkEqw2CFL/r7z

5wQRuGyI6dkyTLSo38AMLgqov8zgr8kaL8ztKoET91yyr7eBcboM3KP6PKgEvKIDf7ezQcLj4DWbpGGbYd0CIGhygqSgYG6Ns74HaUlykGVyqCOM0HcxhbuVR4xaKd6TcqBElw9677rzhCVN0pczyqsSyoLFSG540m3JGGKZmHeR5C2HjaOGKTOrNG9hHirbdCba1dY1yg/bXdQ6FqI7xTJSI9KY1qU70AE6trk7409rs1M9M6bUc69SDT0ArrTS

y7mnK7zGJpnra6+thGJATdoxWh5llRTg8A1BGgzcYAJxiBWhSASRVBfrUx+FyBN06jn1Qxtg3hRFVFOwaZ1H7yjHyoGo3g54FNT9IbD6LEEg9H1aHyX1v8n9LRGjd5Pn3sdtoX7srGCbACTjIVbGwD7GybHGzj/LqaIcfGIqAC0C8U0W3HOEaNYH6NviEGQmaE2NkqIms66CGDuVGhsGQTEnpV3hxottir2d7hnkbyRCcnDgBYLEhFMQCSDJSmDj

ymjaaKTa1Can1gTh6nwLraBGmShrvNFC/MfZzDEKI5kK0JnADkzh8RhwCqYt0JDk5swQPwUsvYgs4KbCDlhx9GjhknsK7WJpqIHhwNnXz6fCkLTDkJnAJpD9g4vl6pbW7Y4hLg0QWcrhXn2ww3TWI2phqgPlqorhn6phgRGo8Q7MhE54M27T0szXI2tgPxk2PxQ27Xt5hFnwein6q2/Ca2c3Vg9KxiqYMKH4fZEgKIO1dMl5qSr01ms33XzWwtD8

JDH6C3/Xe2Xhk3ttAMCRXXw3Z3I3hEpkLgCpoRB3C3Ytt4cRxptGBZTlK23WpgnYo2thIXPYl2h20JUK5MIQH7ANl273rYbDDhZt9hCq17l3E3GiViPw97RE1Hp3q3s3igo3HhAMp3wQbXiIfZj8QQT8zsYQf3l4/3rDzXAOnl6pEhWYwPMO4WYQr1EWb3v9COH3QWaZ/mBpIXK3wPd0aOzt636PM34Pd2c3APLhj9bkcLkIsPapLhWZOw0Rb2d3

72APHgROm3OOpPN9ZOoX+O/CGJfg4BAgvQRBwgmXU5CB9BswzEuIDPmAjPbqLShrMtAj45KKQjfMEIkO31ROL6JPGj1OZOyItOq3EwnJwBGJuU4A+8ohNwcGChoAEQMg5h28lgGBCAEBJ0uyUMP7lRsucueQIBsARBoFoxNx9AtR37f7P68uCvtIrpiv0hGgMvjiIUnGAHkvquiuSvQoabiX6b8vCvauSuyvGa4dYv2uBv0ghusEJzfG+uausg6v

9BWgOaCC2v+v5uSvhggmmNRu1uoAFvIoo6VrpSSgxv1v0gDuw7G9Ykdu5u9uSuXd4748qvduFutRi52KWt6tZuOv0gjxGsPuu55Qoybufv9Ams/FJ7QE8vmBsBqR1QKh8aBBYfGR8AehEeIAjA2ADAYvRwCAhl7gu9vvxvFu8ZuFIq8Y8uhQSBOmaHkuqfiAtQEB09I86emliBVl6C/vcBNBghbaSh6fUMO5vF8Au5WRsBxeJeDRellALOIVWQEB

jgFeFeIBCfTuIkyNNvClOBWrYvCdel8wmkWKO5Mhufee7OK706iBmem97PfgC8EuG1bfKVulkpze8j7Tku7AxKEBsBsgNQC8x82BOeC8efGrIB+RClGA/Esf8AcfUlJ6whghfeVNs0hBKQDAIexNGmdXUAhdkqDANQ0hk+pE8+mIWIOhk+o+Y/k4QuPe6A4FjPCZ6wQB6wgA
%%