Write, autoreview, editor, reviewer
3,129
edits
Line 74: | Line 74: | ||
# 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=V^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> | ##Verifier counts the number of mismatches (<math>V^m_l=B^m_l</math>) and returns <math>S_v</math> | ||
# If <math> | # If <math>S_v < s_vL/2</math>, Verifier accepts m else he aborts | ||
== Requirements == | == Requirements == | ||
*Technological Readiness | *Technological Readiness | ||
== Relevant Papers == | == Relevant Papers == |