ergotree_interpreter::sigma_protocol::sig_serializer

Function parse_sig_compute_challenges

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

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