Что такое NONOS?

NØNOS is an operating system built around privacy at the level of the kernel. Its design position is that a program is owed nothing and receives only what it has been explicitly granted. The kernel is a microkernel with capability-based security. The component that grants and checks authority is under four thousand lines and is formally verified: the Rust is translated into Lean 4 by Charon and Aeneas, and the model is machine-checked to refine the extracted code, so the theorem covers the capability system as it ships.

NONOS: гайды и аналитика

Гайды по безопасности, анализу проектов и устройству криптовалют — в нашем блоге. Заголовки — в разделе криптоновостей.

Монеты рядом с NONOS в рейтинге

• Курс Power Protocol#9860,0747 $▼ 9.44%
• Курс Animecoin#9870,002831 $▼ 6.47%
• Курс OpenRoboto#9886,78 $▼ 7.75%
• Курс Coin98#9890,0156 $▼ 9.68%
• Курс Decentralized Social#9901,48 $▲ 1.91%
• Курс MESSIER#9910,00001754 $▼ 6.37%
• Курс GAIB AID#9920,9945 $
• Курс Epic Private Internet Cash#9930,8044 $▲ 20.45%

Все монеты — в рейтинге криптовалют.

NONOS: частые вопросы