pub fn compute_as_prover<F: FieldWitness>(
txn_global_slot: CheckedSlot<F>,
txn: &TransactionUnion,
sparse_ledger: &SparseLedger,
w: &mut Witness<F>,
) -> Failure
pub fn compute_as_prover<F: FieldWitness>(
txn_global_slot: CheckedSlot<F>,
txn: &TransactionUnion,
sparse_ledger: &SparseLedger,
w: &mut Witness<F>,
) -> Failure