Represents cost of serializing UncheckedDiffieHellmanTuple or UnprovenDiffieHellmanTuple node of ProofTree.
Represents cost of serializing ProofTreeConjecture node of ProofTree.
Represents cost of serializing UncheckedSchnorr or UnprovenSchnorr node of ProofTree.
Prefix byte which is put before the other ProofTreeConjecture serialized bytes.
Prefix byte which is put before the other ProofTreeLeaf serialized bytes.
Prover Step 7: Convert the tree to a byte array s
for input to the Fiat-Shamir hash
function.
Prover Step 7: Convert the tree to a byte array s
for input to the Fiat-Shamir hash
function. The conversion should be such that the tree can be unambiguously parsed and
restored given the array.
For each non-leaf node, the string should contain its type (OR or AND).
For each leaf node, the string should contain the Sigma-protocol statement being
proven and the commitment.
The string should not contain information on whether a node is marked "real" or
"simulated", and should not contain challenges, responses and/or the real/simulated
flag for any node.
the tree to take commitments from
writer which is used for serialization
optional evaluator (can be null) which is used for profiling of operations.
When E
is null
, then profiling is turned-off and has no effect on
the execution.
HOTSPOT: don't beautify the code
Prover Step 7: Convert the tree to a byte array s
for input to the Fiat-Shamir hash
function.
Prover Step 7: Convert the tree to a byte array s
for input to the Fiat-Shamir hash
function.
See the other overload for detailed docs.