Wat is 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: gidsen & analyse

Gidsen over veiligheid, onderzoek en hoe crypto werkt staan op onze blog. Voor koppen, zie cryptonieuws.

Munten rond NONOS in de ranglijst

• Koers van Decentralized Social#986$ 1,46▲ 1.04%
• Koers van Animecoin#987$ 0,002786▼ 7.57%
• Koers van GAIB AID#988$ 0,9945
• Koers van Power Protocol#989$ 0,0734▼ 11.36%
• Koers van BOB (Build on Bitcoin)#990$ 0,004511▼ 1.73%
• Koers van Dinero#991$ 0,0122▼ 2.85%
• Koers van OpenRoboto#992$ 6,67▼ 6.47%
• Koers van Stargate Finance#993$ 0,1598▼ 9.65%

Bekijk elke munt in de cryptoranglijst.

NONOS FAQ