Djed - это первый стейблкоин на Кардано который «формально проверен». (х@ знает, что это значит
)
)Значит то, что вы не правильно перевели. Он говорил о формализованной проверке, а не о формальной. Формализованная проверка это проверка согласно строгим правилам, принятым на основании аксиом и теорем. Формальная проверка это проверка спустя рукава и таковой являются все проверки, сделанные для смартконтрактов бутериума.