Кристофер Аллен (Christopher Allen) из Blockstream также выступил с докладом на конференции Blockchain Protocol Analysis and Security Engineering 2018 (BPASE ‘18). Тема его выступления – смарт-подписи, с особым акцентом на росте количества экспериментов в области авторизации, наблюдающемся в последние годы.
Смарт-подписи – это развитие темы классических цифровых подписей, имеющих аналогичное предназначение – авторизацию. При этом надо отметить, что классические цифровые подписи зависят от третьих сторон для определения политики доверия к подписи, а в смарт-подписях политика доверия встраивается в саму подпись. Эта возможность поддерживается скриптовыми языками, применяемыми в программах, определяющих предикаты. Эти языки можно использовать для применения многофакторных выражений, делегирования подписей и обеспечения транзакционной поддержки.
В своем докладе Аллен предложил шесть разных требований к этим новым, более сложным ‘умным’ подписям. Он считает, что любой язык смарт-подписей должен быть пригодным для компоновки, проверки и доказательств для обеспечения максимальной безопасности и возможности проводить анализ подписей, как неофициальный, так и официальный. Он также отметил, что подписи должны быть частью систем – детерминированных, замкнутых и эффективных, чтобы их можно было эксплуатировать где угодно с одинаковыми результатами.
Очевидно, что Bitcoin Script является предшественником смарт-подписей. Он много тестировался и пользуется доверием, но у него есть и ограничения – хотя новые расширения, такие как подписи Schnorr и MAST, скоро эту ситуацию изменят. Аллен также подробно остановился на множестве новых экспериментов с смарт-подписями, которые способствуют созданию новых решений. Разработанный Blockstream язык Simplicity для блокчейнов лучше всего соответствует требованиям Аллена к смарт-подписям, при чем доказуемость является одной из его сильнейших характеристик. Аллен также обсудил и другие текущие эксперименты, например, Ivy, Dex, Σ-State, Crypto Conditions и Michelson.
Аллен завершил свое выступление перечислением нерешенных вопросов относительно смарт-подписей, например – как сделать так, чтобы они поддерживали контекст, оракулов и отзыв – все это важные вопросы, которые свидетельствуют о сравнительной молодости сферы.
Полная запись выступления о смарт-подписях на BPASE доступна для просмотра в сети. Дополнительная информация по этой теме представлена в работе Кристофера Аллена и Шаннон Эплклайн (Shannon Appelcline) «Smarter: Signatures: Experiments in Verification» (Подписи умнеют: верификационные эксперименты).