Function pack_statement

Source

fn pack_statement(
    statement: &StepStatementWithHash,
    messages_for_next_step_proof_hash: &[u64; 4],
    w: &mut Witness<Fq>,
) -> Result<Vec<Packed<Boolean>>>

Function pack_statementCopy item path

Function pack_statement