На каком языке программирования можно будет писать смарт-контракты ? Это будет как у ETH Solidity или общедоступные JS, C#, C++? может есть уже информация какие библиотеки будут доступны