Два слоя и эпохи
Сеть разделена на слой расчётов и слой вычислений. Время организовано в эпохи и слоты. Лидер слота выбирается на основе стейка. ADA остаётся ликвидным при стейкинге.
Пользователи взаимодействуют через кошельки. Адреса производны от ключей. Состояние обновляется с каждым блоком.
Материал носит исключительно информационный характер и не является инвестиционным советом.
Формальная верификация протоколов.