⭐ Merited by imhoneer (1)
[
Кратко:
Djed будет сначала привязан к $, но будет совместим и с другими валютами. Девы утверждают что Djed - это первый стейблкоин на Кардано который «формально проверен». (х@ знает, что это значит
)
Что значит x@ знает, это же и есть фишка Кардано. Писать о Кардано и не понимать его главного отличия от остальных криптовалют.
Вот почитайте
Создание системы формальной верификации с нуля.
quote author=Captain-Cryptory link=topic=2238700.msg58824750#msg58824750 date=1640529776]
Значит то, что вы неправильно его поняли. Он говорил о формализованной проверке, а не о формальной. Формализованная проверка это проверка согласно строгим правилам, принятым на основании аксиом и теорем. Формальная проверка это проверка спустя рукава и таковыми являются все проверки, сделанные для смартконтрактов бутериума.
[/quote]
Это был дословный перевод твита.
Так все таки "формальная" или "формализованная"
Это вроде как слегка разные понятия.
Ну и я сомневаюсь, что некоторые другие проекты не делают таких проверок, и это только "фишка" Cardano.
Что там у Полкадота?
Кратко:
Djed будет сначала привязан к $, но будет совместим и с другими валютами. Девы утверждают что Djed - это первый стейблкоин на Кардано который «формально проверен». (х@ знает, что это значит
)Что значит x@ знает, это же и есть фишка Кардано. Писать о Кардано и не понимать его главного отличия от остальных криптовалют.
Вот почитайте
Создание системы формальной верификации с нуля.
Djed - это первый стейблкоин на Кардано который «формально проверен». (х@ знает, что это значит)
)Значит то, что вы неправильно его поняли. Он говорил о формализованной проверке, а не о формальной. Формализованная проверка это проверка согласно строгим правилам, принятым на основании аксиом и теорем. Формальная проверка это проверка спустя рукава и таковыми являются все проверки, сделанные для смартконтрактов бутериума.
[/quote]
Это был дословный перевод твита.
Так все таки "формальная" или "формализованная"
Это вроде как слегка разные понятия.
Ну и я сомневаюсь, что некоторые другие проекты не делают таких проверок, и это только "фишка" Cardano.
Что там у Полкадота?