pub fn fact_leaf(salt: &[u8; 16], canonical_fact: &str) -> [u8; 32]
leaf_i: the commitment to one fact, given as its canonical JSON, under its salt.
leaf_i