BTC $9111,42 +4.26%
ETH $230,43 +3.09%
XRP $0,22 +0.88%
LTC $62,05 +2.93%
» » Стартап Agoric обещает создать язык для смарт-контрактов, который заменит Solidity

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

Блокчейн 22-05-2018, 12:59
Специалисты в области информатики Марк Миллер, Дин Триббл, Брайан Уорнер и Билл Тулло запустили стартап под названием Agoric для разработки безопасного, ориентированного на блокчейн языка программирования на основе jаvascript. Стартап привлёк инвестиции от Навала Равиканта, Polychain Capital и некоммерческой организации Zcash Company, руководящей разработкой Zcash, криптовалюты c повышенной анонимностью. Agoric обещает создать язык, который позволит программистам кодить более интуитивно понятным и безопасным способом при наличии формальных процессов проверки. Дин Триббл говорит:

В нынешней индустрии блокчейнов для смарт-контрактов безопасность — серьёзное препятствие для роста этой экономики и создания популярных приложений.


Использование популярного языка программирования jаvascript, по словам основателей, откроет смарт-контракты для более широкого круга разработчиков. Марк Миллер, который ради стартапа ушёл из Google после 10 лет работы, говорит:

С помощью jаvascript мы можем привлечь огромное количество JS-программистов в этот новый мир.


Миллер заявляет, что новый язык также должен облегчить коммуникацию между смарт-контрактами, работающими в разных сетях, что потенциально может обеспечить p2p-сделки между разными криптовалютами.

На прошлой неделе на конференции Consensus разработчик Zcash Зуко Уилкокс отметил прозорливость Миллера в отношении проблем разработки смарт-контрактов. Миллер был соавтором Agoric Papers, основополагающего документа для рыночных распределённых вычислений, написанного ещё в 1988 году (задолго до того, как был придуман сам термин «смарт-контракт»). Остальные участники команды также могут похвастаться впечатляющим бэкграундом. Тулло и Трибл участвовали в первой системе смарт-контрактов AMiX, в то время как Уорнер был соучредителем Tahoe-LAFS, децентрализованного протокола облачного хранения.

В этом проекте основатели ставят перед собой цель убрать слабые места смарт-контрактов. Миллер говорит об эфириуме как о «прорывной системе», однако у его основного языка программирования Solidity есть проблемы в базовой архитектуре. Новый язык представляет собой объектно-ориентированный подход, который даст кодерам возможность сосредоточиться на обеспечении безопасности небольших изменчивых элементов (которых становится всё больше с ростом сложности систем) без ущерба для основных компонентов. По словам Триббла, сегодня очень мало людей, которые пишут смарт-контракты на Solidity, поэтому аудит их безопасности часто медленный и дорогой.

Источник материала: https://coinspot.io/technology/startap-agoric-obeshhaet-sozdat-yazyk-dlya-smart-kontraktov-kotoryj-zamenit-solidity/

Комментарии