Малахит является самым большим кейсом использования Quint: проект использовал Quint с первого дня с тестированием MBT. Во время личных встреч было удивительно видеть, как команда обсуждает изменения в протоколе, используя Quint для проверки дизайна. Я так горжусь и рад за их успех 🚀🔥
Circle
Circle12 авг., 20:34
Представляем Arc, дом для финансов на стейблкоинах. @Arc — это открытая блокчейн-сеть первого уровня, специально созданная для того, чтобы продвигать следующую главу финансовых инноваций, основанных на стейблкоинах. Разработанная для обеспечения корпоративного уровня для платежей, валютного обмена и рынков капитала, Arc предлагает производительность, надежность и ликвидность, необходимые строителям для удовлетворения глобальных финансовых требований. Arc включает: ✅ USDC в качестве нативного газа ✅ Встроенный FX-движок ✅ Определяемая финализация менее чем за секунду ✅ Приватность по желанию ✅ Полная интеграция с платформой Circle Открытый, композируемый и совместимый с EVM, Arc разработан для бесшовной интероперации с более широкой многосетевой экосистемой. В рамках нашей миссии по развитию блокчейн-инфраструктуры мы рады приветствовать команду Malachite и интеллектуальную собственность от @informalinc в Circle. Arc построен на высокопроизводительном консенсусном движке Malachite. В соответствии с нашей приверженностью к разработке с открытым исходным кодом, основное программное обеспечение для Arc будет выпущено под разрешительной лицензией, позволяя более широкой разработческой сообществу вносить свой вклад, расширять и строить на его основе. Служа основополагающей инфраструктурой для интернета, Arc позволит осуществлять глобальные расчеты 24/7, которые будут такими же бесшовными и нативными, как обмен сообщениями в сети. Arc войдет в частный тестнет в ближайшие недели, а публичный тестнет ожидается этой осенью. Читать лайтпейпер: Давайте вместе построим новую финансовую систему интернета:
1,53K