Специалисты в области информатики Марк Миллер, Дин Триббл, Брайан Уорнер и Билл Тулло запустили стартап под названием Agoric для разработки безопасного, ориентированного на блокчейн языка программирования на основе Javascript. Стартап привлёк инвестиции от Навала Равиканта, Polychain Capital и некоммерческой организации Zcash Company, руководящей разработкой Zcash, криптовалюты c повышенной анонимностью. Agoric обещает создать язык, который позволит программистам кодить более интуитивно понятным и безопасным способом при наличии формальных процессов проверки. Дин Триббл говорит:
В нынешней индустрии блокчейнов для смарт-контрактов безопасность — серьёзное препятствие для роста этой экономики и создания популярных приложений.
Использование популярного языка программирования Javascript, по словам основателей, откроет смарт-контракты для более широкого круга разработчиков. Марк Миллер, который ради стартапа ушёл из Google после 10 лет работы, говорит:
С помощью Javascript мы можем привлечь огромное количество JS-программистов в этот новый мир.
Миллер заявляет, что новый язык также должен облегчить коммуникацию между смарт-контрактами, работающими в разных сетях, что потенциально может обеспечить p2p-сделки между разными криптовалютами.
На прошлой неделе на конференции Consensus разработчик Zcash Зуко Уилкокс отметил прозорливость Миллера в отношении проблем разработки смарт-контрактов. Миллер был соавтором Agoric Papers, основополагающего документа для рыночных распределённых вычислений, написанного ещё в 1988 году (задолго до того, как был придуман сам термин «смарт-контракт»). Остальные участники команды также могут похвастаться впечатляющим бэкграундом. Тулло и Трибл участвовали в первой системе смарт-контрактов AMiX, в то время как Уорнер был соучредителем Tahoe-LAFS, децентрализованного протокола облачного хранения.
В этом проекте основатели ставят перед собой цель убрать слабые места смарт-контрактов. Миллер говорит об эфириуме как о «прорывной системе», однако у его основного языка программирования Solidity есть проблемы в базовой архитектуре. Новый язык представляет собой объектно-ориентированный подход, который даст кодерам возможность сосредоточиться на обеспечении безопасности небольших изменчивых элементов (которых становится всё больше с ростом сложности систем) без ущерба для основных компонентов. По словам Триббла, сегодня очень мало людей, которые пишут смарт-контракты на Solidity, поэтому аудит их безопасности часто медленный и дорогой.
