스텔라, ZK 증명 통합으로 스마트 계약 기능 강화