pub fn split_u64(
    amount: u64,
    lo_bit_length: usize,
    hi_bit_length: usize
) -> Result<(u64, u64), ProofError>
Expand description

Takes in a 64-bit number amount and a bit length bit_length. It returns:

  • the bit_length low bits of amount interpretted as u64
  • the (64 - bit_length) high bits of amount interpretted as u64