ステラ、ZK証明を統合しスマートコントラクト機能を強化