Эндрю Яо

Внёс метод зашифрованных схем и парадигму защищённых вычислений для двух сторон, ставшие фундаментальным примитивом для многих современных MPC-систем. Конструкция зашифрованной схемы даёт конкретный способ приватной оценки булевых схем между участниками, а последующая инженерная доработка адаптировала и оптимизировала этот подход для многосторонних распределённых развёртываний, подобных используемым в ARPA. Слой защищённой оценки функций ARPA использует ключевые идеи зашифрованных схем для разделения вычислений, инстанцирования слепой передачи данных (oblivious transfer) и стратегий кодирования входных данных. За десятилетия расширения и оптимизации оригинальной идеи зашифрованных схем решали проблемы производительности и объёма коммуникаций; проектировщики протоколов ARPA заимствовали эти оптимизации — такие как free-XOR, point-and-permute и OT-extension — для повышения пропускной способности и снижения накладных расходов на ончейн-верификацию. Эти инженерные решения напрямую повлияли на показатели времени исполнения, потребление газа для транзакций верификации и, следовательно, на ценообразование вычислительных услуг в торговой модели ARPA, номинированной в токенах. Теоретическая основа, обеспеченная этой линией исследований, также помогла ARPA обосновать заявления о безопасности в аудитах и третьесторонних проверках. Конкретные семейства протоколов, восходящие к парадигме зашифрованных схем, предоставили тестируемые интерфейсы и эталонные показатели, которые ARPA использовала в тестах производительности, формируя дорожную карту продукта и коммерческие соглашения об уровне услуг, связанных с оплатой вычислительных задач токенами ARPA.