Stellar Integrates ZK Proofs to Enhance Smart Contract Capabilities