Make it work as channel.read()

[recmo]

On 2020-04-29 @pvienhage wrote in 7850bac “Smart contrat Recurance proof system impl (#677)”:

Make it work as channel.read()

    let mut channel = VerifierChannel::new(proof.to_vec());
    // TODO - Add method to seralize public input
    channel.initialize(constraints.channel_seed());

    // Get the low degree root commitment, and constraint root commitment
    // TODO: Make it work as channel.read()
    let low_degree_extension_root: Hash = channel.replay();
    result_string.push_str(&format!(
        "\"trace_commitment\": {}, \n",
        low_degree_extension_root.sol_encode()
    ));

From crypto/stark/src/solidity_seralizer.rs:75