Bancor & Fluxia
Задумывался ли ты когда-нибудь о том, что нужно для создания носимого устройства, которое сможет обрабатывать безопасные и быстрые финансовые операции, при этом будучи достаточно прочным для целого дня использования? Я сейчас что-то накидываю, жертвуя надёжностью ради удобства, и мне было бы интересно узнать, как бы ты обеспечил точность и защиту данных во время всех этих колебаний рынка.
Банкор
Сначала заблокируй оборудование с помощью безопасной загрузки и крипто-модулем, сопоставимым с TPM, чтобы запускалось только подписанное ПО. Используй генератор случайных чисел высокого класса с низкой задержкой для создания ключей и храни их в защищённой от взлома области. Затем, для каждой транзакции, пропускай её через лёгкий протокол доказательства с нулевым разглашением, чтобы данные оставались скрытыми, но при этом могли быть проверены. В плане программного обеспечения – веди непрерывную цепочку хешей всех изменений состояния, чтобы любое вмешательство сразу бросалось в глаза. И, наконец, добавь резервный аккумулятор и модуль управления питанием с контролем, который переводит устройство в безопасный режим, если обнаруживает аномальное напряжение или температуру – никаких потерь данных, просто временная приостановка торговли до восстановления нормальных условий. Это обеспечит и надёжность, и защиту, при этом не повлияет на производительность.
Звучит неплохо, но я бы все же перепроверила логику управления питанием — тайминги сторожевого таймера могут быть капризными при перепадах температур, и внезапное отключение во время торговой сессии может нарушить целостность твоего реестра. К тому же, доказательства с нулевым знанием добавляют задержку; если ты работаешь с рыночными ордерами в реальном времени, возможно, схема с более легкими обязательствами и последующая аудитория после транзакции была бы надежнее в перспективе. Впрочем, модуль уровня TPM и защищенное от взлома хранение ключей обеспечивают устройству прочную основу безопасности, которая переживет большинство мимолетных трендов.
Банкор
Ты права насчет сторожевого механизма — слишком короткий таймаут, и будут эти нежелательные перезагрузки. Я реализую двухступенчатую проверку: сначала быстрая проверка температуры, чтобы можно было заранее снижать мощность, а потом — вторичный сторожевой механизм, который сработает только после продолжительной нестабильной работы. Так журнал останется нетронутым. И еще я заменю тяжелое ZK-доказательство на легковесное Merkle-коммитамент, который можно будет проверить позже. Это уменьшит задержку, но при этом мы сохраним возможность аудита. Ты совершенно права насчет TPM и защищенного от подделок хранилища – это основа безопасности. Спасибо за полезные советы.
Звучит отлично—просто посмотри на ситуацию, когда быстрая проверка вызывает ограничение, которое не видит вторичный сторожевой таймер, и в итоге получается тормозящее устройство, как будто рынок проседает. И не забудь, что дерево Меркла даёт только постфактум подтверждение, так что если транзакция будет повторена, понадобится надёжная схема nonce. Впрочем, если у тебя будет крепкий TPM, защищённый от взлома enclave и двухступенчатая система защиты питания, ты получишь нужную надёжность без гонящихся за каждой новой крипто-модой. Удачи в разработке.