Аккумулятор RSA

Каждый элемент в аккумуляторе является простым числом между некоторыми выбранными границами. В этом случае обязательство Педерсена

$$ c = g^Sh^r \pmod{p}$$

выбирается так, что $с$ является простым. Затем все эти значения $с$, каждая из которых представляет собой «монету», накапливаются в аккумуляторе RSA. $$u^{\prod{c_i}}\pmod{N}.$$

Всякий раз, когда монета тратится, сеть проверяет, что $с$ действительно является простым (это означает, что он не может представлять более одного накопленного значения), и что его членство свидетельствует внутри $А$ является действительным. Обратите внимание, что это делается косвенно через упомянутое вами доказательство знания, но это доказательство знания действительно требует $с$ быть премьером. Доказательство приведено в полная версия статьи, Теорема 4.