Hour Proof - hourproof.com
Блокчейн-стартап Agoric привлек 4 миллиона долларов финансирования для продолжения своей миссии по повышению надежности смарт-контрактов.
Запущенный в прошлом году проект Agoric работает над созданием языка программирования специально для смарт-контрактов. Основанный на javascript язык позволит программистам проводить формальные процессы верификации, оставаясь при этом более доступным, чем другие языки, которые сегодня используются для блокчейнов.
В пресс-релизе компания объявила, что получила новое финансирование от подразделения Ripple под названием Xpring, Cryptos Capital, Kilowatt Capital, MetaStable Capital, Outlier Ventures, Rockaway Blockchain и Interchain Foundation, а также дополнительное финансирование от компании Electric Coin (иногда упоминается как Zcash Company).
За счет нового финансирования стартап намерен удвоить численность своей команды. Основной упор будет сделан на новые разработки и развитие бизнеса, поскольку проект готовится вывести свою технологию на рынок.
Следующая цель Agoric - запустить тестовую сеть, а также «обеспечить совместимость с топовыми децентрализованными проектами следующего поколения».
Марк Миллер отметил, что иногда смарт-контракты могут «содержать ряд ошибок, которые обойдутся чрезвычайно дорого».
Он сказал, что даже опытные ветераны не застрахованы от случайных ошибок: «Программирование смарт-контрактов в нынешнем контексте слишком сложно и опасно, а убытки могут быть слишком велики. Это огромная проблема, которую нужно решить».
Уникальность
Перевод специально для MMGP.ru