Stellar 集成零知识证明,增强智能合约能力