Unchecked proof tree types
UncheckedDhTuple
Unchecked Schnorr
UncheckedConjecture
Unchecked leaf
Unchecked sigma tree