StarkWare Industries разрабатывает полный стек для генерации и проверки доказательств вычислительной целостности в блокчейне.