fn txn_statement_ledger_hashes_equal( s1: &Statement<()>, s2: &Statement<()>, w: &mut Witness<Fp>, ) -> Boolean