Espresso не создает композируемость для роллапов. Он создает композируемость для всех суверенных систем в мире, независимо от того, находятся ли они в сети или нет. Мир функционирует на основе сети суверенных систем. Государства, компании и отдельные лица имеют свои собственные полномочия и идентичности. Эти системы сложны: государства содержат людей и компании, но компании могут работать в нескольких государствах. Доверительные отношения между этими системами часто неясны и несут неоплачиваемый риск. Тем не менее, глобальная экономика требует, чтобы мы общались и проводили транзакции через эти суверенные границы как можно более эффективно. Поэтому нам нужен быстрый и эффективный механизм для координации через границы, который работает при минимальных предположениях о доверии (что снижает риск и неясность) без компрометации суверенитета каждого участника. Система, которая заставляет участников жертвовать своей независимостью (через единую среду выполнения, протокол последовательности и т. д.), привлечет немногих участников. Без минимизированных по доверию, ончейн-протоколов, мы исторически были вынуждены принимать риск в пользу скорости. Существует два компонента для межсистемной коммуникации: входные данные и доказательства по этим данным. Оба должны быть быстрыми и минимизированными по доверию, чтобы общий механизм был достоверным. Несоответствие в предположениях о доверии между доказательством и его данными подрывает весь механизм. Данные, завершенные экономически безопасным консенсус-протоколом, подрываются, если они проверяются системой доказательства с одной подписью. Напротив, ZK+TEE мульти-доказательство подрывается, если его входные данные поступают от одной доверенной стороны. (Спектр доверия систем доказательства требует отдельного поста; мы сосредоточимся на быстрой финализации здесь.) Безопасность и скорость существуют по двум независимым осям. Мы часто предполагаем, что связь между ними линейная — что за одну единицу доверия вы жертвуете одной единицей скорости. Это неправильно. Тщательный дизайн протокола может достичь сильных гарантий доверия при низкой задержке. Высокоуровневая связь между безопасностью и скоростью показана ниже. Цель Espresso — работать в наиболее эффективной точке на этой кривой, чтобы он мог служить надежным базовым уровнем для самого широкого спектра суверенных систем. Это достигается за счет децентрализованного набора валидаторов PoS, обеспечивающего сопротивление цензуре и экономическую безопасность, в сочетании с HotShot, протоколом консенсуса с низкой задержкой и высокой пропускной способностью, специально созданным для этой роли. (Скоро будут опубликованы новые посты о захватывающих обновлениях HotShot!)