Исправление quantum-troll, (текущая версия) :
Почему нельзя создать максимально простой и железобетонный метод защиты, который бы можно было формально верифицировать и знать что это надежно навеки веков?
Понимаешь, в чём проблема. Такие библиотеки пишут не на agda/idris, не на хаскелле, и даже не на языках вроде rust. Их пишут на С.
И это в итоге дорого обходится в плане безопасности.
Исходная версия quantum-troll, :
Почему нельзя создать максимально простой и железобетонный метод защиты, который бы можно было формально верифицировать и знать что это надежно навеки веков?
Понимаешь в чём проблема. Такие библиотеки пишут не на agda/idris, не на хаскелле, и даже не на языках вроде rust. Их пишут на С.
И это в итоге дорого обходится в плане безопасности.