pub fn verify_tip(tip_proof: &[u8]) -> Result<bool>
verify just tip proof (for incremental sync) tip_proof is a full proof: [public_outputs_len][public_outputs][log_size][proof]