Function ergotree_interpreter::sigma_protocol::sig_serializer::parse_sig_compute_challenges

pub fn parse_sig_compute_challenges(
    exp: &SigmaBoolean,
    proof_bytes: Vec<u8>
) -> Result<UncheckedTree, SigParsingError>

Verifier Step 2: In a top-down traversal of the tree, obtain the challenges for the children of every non-leaf node by reading them from the proof or computing them. Verifier Step 3: For every leaf node, read the response z provided in the proof.

• exp - sigma proposition which defines the structure of bytes from the reader
• proof - proof to extract challenges from