STARKs: доказательства с нулевым разглашением, которые действительно масштабируются без доверенной настройки, без квантальной ахиллесовой пяты.