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 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 details.