Bằng chứng chi tiết về kiến ​​thức cho nhật ký rời rạc

Tôi gặp khó khăn trong việc tìm bằng chứng chi tiết cho một trong những giao thức cơ bản nhất trong mật mã học, đó là giao thức Schnorr hoặc giao thức sigma để chứng minh kiến ​​thức về nhật ký rời rạc.

Hầu hết các bằng chứng tôi có thể tìm thấy độ bóng theo thời gian chạy của trình trích xuất hoặc chỉ giả sử rằng trình chứng minh hoạt động với xác suất 1. Nhưng trình chứng minh có thể thành công với bất kỳ xác suất nào $\epsilon > 1/2^\lambda$ và máy vắt phải hoạt động đúng thời gian dự kiến $poly(\lambda)/(\epsilon-1/2^\lambda)$. Hơn nữa, trình trích xuất không có quyền kiểm soát đối với câu tục ngữ ngoại trừ những thách thức mà nó cung cấp cho trình kiểm tra (ví dụ: tính ngẫu nhiên của câu tục ngữ không phụ thuộc vào trình trích xuất). Những tiêu chí này xuất phát từ những gì tôi hiểu là định nghĩa được chấp nhận phổ biến về 'bằng chứng về kiến ​​thức' từ Về việc xác định bằng chứng về tri thức.

Tôi có thể tìm thấy bằng chứng có thể chấp nhận tuân theo các tiêu chí này ở đâu?