Специалисты в области информатики Марк Миллер, Дин Триббл, Брайан Уорнер и Билл Тулло запустили стартап под названием 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, поэтому аудит их безопасности часто медленный и дорогой.
В современном мире ведение бухгалтерского учета играет ключевую роль в успешном функционировании любой компании. Одной…
В последние годы криптовалюты, особенно bitcoin, становятся все более популярными как среди инвесторов, так и…
В современном мире криптовалютного майнинга и цифровой экономики важным инструментом защиты и оптимизации работы в…
Трейдинг на рынке криптовалютных продуктов уже давно стал не только способом заработка, но и искусством,…
В мире блокчейн-технологий появляются новые и амбициозные проекты, стремящиеся улучшить децентрализованные сети и предоставить пользователям…
В мире цифровой экономики одним из актуальных вопросов является обмен криптовалюты на фиатные деньги. Особенно…