Các lượt nộp
    Danh sách bài
    Trang chủ
    Báo lỗi

    solution

    Đề bài: [An toàn thông tin] Fiat-Shamir: chứng minh hiểu biết (1 vòng)

    Định danh Fiat-Shamir

    Khóa công khai v=s2 mod nv = s^2 \bmod nv=s2modn (s là bí mật). Một vòng:

    • Prover gửi cam kết x=r2 mod nx = r^2 \bmod nx=r2modn.
    • Verifier gửi thử thách b∈{0,1}b \in \{0,1\}b∈{0,1}.
    • Prover gửi y=r⋅sb mod ny = r \cdot s^{b} \bmod ny=r⋅sbmodn.
    • Verifier chấp nhận khi y2≡x⋅vb(modn)y^2 \equiv x \cdot v^{b} \pmod{n}y2≡x⋅vb(modn).

    In ACCEPT nếu phương trình đúng, ngược lại REJECT.

    • Định dạng đầu vào:

      Một dòng gồm 5 số n v x b y.

    • Ràng buộc đầu vào:
      • b∈{0,1}b \in \{0,1\}b∈{0,1}.
    • Định dạng đầu ra:

      ACCEPT hoặc REJECT.

    Ví dụ:

    Đầu vào:

    3233 25 49 0 7

    Đầu ra:

    ACCEPT

    Giải thích:

    b=0: y=r=7, y^2=49=x.

    Đang tải editor...