Доверенные вычисления в реальных приложениях — это интересно. ZKP максимизируют теоретическую безопасность, но стоимость проектирования схем и специализированного оборудования делает многие операции сегодня непрактичными. TEE — это правильный инженерный выбор, когда экономическая ценность на кону не оправдывает полные криптографические доказательства. Например, менее одного цента и менее одной секунды против более 10 долларов и минут для выполнения простого SQL-запроса. Этот компромисс изменится по мере улучшения исследований ZK в ближайшие годы.

Также нам нужно, чтобы LLM стали лучше писать Circom.