เนเวนและคณะ ระบุไว้ในเอกสารของพวกเขา ข้อกำหนดฟังก์ชันแฮชสำหรับลายเซ็น Schnorr ทฤษฎีบทต่อไปนี้ (โดยใช้บทแทรกแยก): $\mathbb{G}$ คือกลุ่มสามัญ (ตอนที่ 2) $s \ประมาณ \log_2q$, ฟังก์ชันแฮช $H: \lbrace 0,1 \rbrace^* \rightarrow \lbrace 0,1 \rbrace^n$.
ทฤษฎีบท 1
ถ้าปัญหาลอการิทึมไม่ต่อเนื่องใน $\mathbb{G}$ เป็น $(t_\text{dlog}, \epsilon_\text{dlog}$- ยากแล้ว Schnorr Signature คือ $(t_\text{uf-cma}, q_S,q_H, \epsilon_\text{uf-cma})$-ปลอดภัยสำหรับ
$ \epsilon_\text{uf-cma} = \sqrt{(q_H+q_S+1)\epsilon_\text{dlog}} + \frac{q_H+q_S+1}{2^n} + \frac{q_S( q_H+q_S+1)}{q}$
และ $t_\text{uf-cma}= t_\text{tdlog}/2 â q_S t_\text{exp} + \mathcal{O}(q_H + q_S + 1)$, ที่ไหน $t_\text{exp}$ เป็นต้นทุนของการยกกำลังในกลุ่ม $\mathbb{G}$.
พวกเขาสรุปได้ว่าขอบเขตนี้บ่งชี้อย่างชัดเจนว่าฟังก์ชันแฮชกับ $n = ส/2$ บิตเอาต์พุต
ควรเพียงพอที่จะได้รับระดับความปลอดภัย $s/2$ บิต คำศัพท์ของแบบฟอร์ม $q_H^2/2^n$ จะแนะนำสำหรับฟังก์ชันแฮช s-bit
ใครช่วยอธิบายรายละเอียดเพิ่มเติมให้ฉันหน่อยได้ไหม