Подробное подтверждение знаний для дискретного журнала

Мне трудно найти подробное доказательство одного из самых основных протоколов в криптографии, то есть протокола Шнорра или сигма-протокола для доказательства знания дискретного журнала.

Большинство доказательств я могу скрыть за время работы экстрактора или просто предположить, что доказательство работает с вероятностью 1. Но доказательство может быть успешным с любой вероятностью. $\эпсилон > 1/2^\лямбда$ и экстрактор должен работать в ожидаемое время $poly(\lambda)/(\epsilon-1/2^\lambda)$. Кроме того, экстрактор не имеет никакого контроля над доказывающим, за исключением тех задач, которые он передает доказывающему (например, случайность доказывающего не зависит от экстрактора). Эти критерии исходят из того, что я понимаю как общепринятое определение «доказательства знаний» от Об определении доказательств знания.

Где я могу найти приемлемое доказательство, соответствующее этим критериям?