На каком языке программирования можно будет писать смарт-контракты ? Это будет как у ETH Solidity или общедоступные JS, C#, C++? может есть уже информация какие библиотеки будут доступны
JavaScript будет выбран в качестве языка программирования для смарт-контрактов. Более подробно можно прочитать тут -
our Quintessence Project White Paper. По библиотекам уточняю.