Стартап Agoric обещает создать язык для смарт-контрактов, который заменит Solidity