Write, autoreview, editor, reviewer
3,129
edits
Prepare and Measure Quantum Digital Signature: Difference between revisions
Prepare and Measure Quantum Digital Signature (edit)
Revision as of 15:51, 3 June 2019
, 3 June 2019→Pseudocode
| Line 83: | Line 83: | ||
# Seller sends Buyer (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>) | # Seller sends Buyer (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>) | ||
# For l = 1,2,..,L | # For l = 1,2,..,L | ||
##Buyer counts the number of mismatches (<math>B^m_l= | ##Buyer counts the number of mismatches (<math>B^m_l=\beta^m_l</math>) and returns <math>S_b</math> | ||
# If <math>S_b < s_aL/2</math>, Buyer accepts m else he aborts | # If <math>S_b < s_aL/2</math>, Buyer accepts m else he aborts | ||
**'''Transfer''' | **'''Transfer''' | ||
# Buyer sends Verifier (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>) | # Buyer sends Verifier (m,<math>\{\beta^m_1,...,\beta^m_L\}</math>) | ||
# For l = 1,2,....,L | # For l = 1,2,....,L | ||
##Verifier counts the number of mismatches (<math>V^m_l= | ##Verifier counts the number of mismatches (<math>V^m_l=\beta^m_l</math>) and returns <math>S_v</math> | ||
# If <math>S_v < s_vL/2</math>, Verifier accepts m else he aborts | # If <math>S_v < s_vL/2</math>, Verifier accepts m else he aborts | ||