В этом месяце Кардано [ADA] привлек внимание криптовалютных медиа-ресурсов, распространяясь по всему миру и выпуская различные обновления в технических и других аспектах.
После недавнего технического обновления Sebastian, в котором упоминаются различные улучшения функционирования кошельков, команда теперь объявила о формальной спецификации кошелька.
Они считают, что это первый раз, когда криптовалюта получила такие спецификации.
Версия 1.0, формальная спецификация для кошелька Cardano (или любой криптовалюты на основе UTxO) помогает понять некоторые тонкости и дать разумную отправную точку для тестов и реализаций.
Искусство формальной спецификации заключается в том, чтобы упростить и сосредоточиться на том, что необходимо, то есть на самых сложных частях и игнорировать менее важные.
Следовательно, лучший способ ответить на такие балансовые запросы и быть точным — это принять формальный математический подход.
Эта новая спецификация кошелька от команды Cardano охватывает бэкэнд и модель данных кошелька, игнорируя пользовательский интерфейс и берет очень абстрактный вид синтаксиса криптографии и бухгалтерии.
Команда уверяет:
«Мы фокусируемся на состоянии кошелька, когда количество транзакций постоянно растет. И, самое главное, мы фокусируемся на балансе кошелька, в результате которого мы определяем три понятия, каждый из которых подходит для разных целей, чтобы ответить на запрос баланса».
