Làm cách nào để trích xuất nhân chứng từ bằng chứng dựa trên mạng không tương tác?

Tôi đang cố gắng tìm ra cách xây dựng trình giải nén cho bằng chứng dựa trên mạng không tương tác. Cụ thể, tôi tò mò về phép biến đổi Fiat-Shamir được áp dụng cho giao thức tương tác năm bước. Bạn có thể vui lòng giải thích cho tôi nên sử dụng chiến lược nào không? Hoặc chia sẻ một liên kết đến một bài báo với các ví dụ (các tham chiếu đến trình trích xuất cho giao thức ba bước không tương tác cũng được hoan nghênh). Cảm ơn bạn!

Cập nhật: Nếu chúng tôi có giao thức dựa trên mạng tương tác 5 bước, chúng tôi có thể thực hiện 2 kiểu tua lại không? Giả sử trước tiên, chúng tôi tua lại giao thức để nhận bằng chứng X với các thử thách thứ nhất và thứ hai khác nhau, sau đó chúng tôi tua lại ngay trước thử thách thứ hai để nhận bằng chứng Y với cùng thử thách thứ nhất nhưng khác với thử thách thứ hai. Nó có hợp lý trong cài đặt dựa trên mạng không? Có bài báo nào làm điều đó không?

Cập nhật 2: Tôi rất vui khi nhận được liên kết tới bất kỳ bài viết nào giải thích trình trích xuất cho trường hợp không tương tác (FS, giao thức sigma 3 hoặc 5 vòng) hoặc tương tác 5 vòng. Chủ yếu tôi chỉ muốn hiểu cách hủy bỏ ảnh hưởng đến chiến lược trích xuất, đặc biệt là đối với các giao thức giống như sigma 5 bước.