NONOS
NØNOS是一种在内核层面围绕隐私构建的操作系统。其设计立场是，程序不应获得任何未被明确授予的权限。 内核采用带有基于能力安全机制的微内核。负责授予和检查权限的组件不到四千行，并经过形式化验证：Rust代码由 Charon 和 Aeneas 翻译为 Lean 4，模型经过机器检查，证明其细化了提取出的代码，因此该定理覆盖了随系统发布的能力系统。 每个程序都作为胶囊运行，按照其清单中声明的确切权限签名并启动，并在生成时根据其证书所携带的上限进行检查。未获网络能力的胶囊无法连接网络，没有可用来请求网络能力的接口，也没有可让用户被劝说授予网络能力的同意对话框。系统没有根账户，也没有管理员，因此不存在可供提升权限的权威。 设备驱动程序、TCP/IP堆栈、显示服务器、浏览器以及钱包和应用程序都作为内核之外的胶囊运行。大约 600k 行系统代码不持有任何特权，也没有进入内核地址空间的路径。 系统驻留于 RAM。关机后，机器上不会残留日志、缓存、浏览历史或设备身份。网络流量通过内核内部实现的洋葱混合网络传出，每一跳都进行新的密钥协商。任何未经证明的内容都不会执行。引导加载程序在两种相互独立的签名方案下验证内核，其中一种是后量子方案，然后根据编译进引导加载程序的根，检查内核自身的 STARK 证明。每个胶囊的证明都会在其映像被映射前验证，缺失或无效的证明意味着该胶囊不会运行。证明系统是该项目在 Goldilocks 域上的透明 STARK，不需要可信设置，也不需要基于配对的密码学。相同的证明器还确定了 NOX Shield，这是一种通过 Solidity 合约在以太坊上验证的私密转账协议。NOX是以太坊生态系统的ERC-20代币。
项目概览
NØNOS是一种在内核层面围绕隐私构建的操作系统。其设计立场是，程序不应获得任何未被明确授予的权限。 内核采用带有基于能力安全机制的微内核。负责授予和检查权限的组件不到四千行，并经过形式化验证：Rust代码由 Charon 和 Aeneas 翻译为 Lean 4，模型经过机器检查，证明其细化了提取出的代码，因此该定理覆盖了随系统发布的能力系统。 每个程序都作为胶囊运行，按照其清单中声明的确切权限签名并启动，并在生成时根据其证书所携带的上限进行检查。未获网络能力的胶囊无法连接网络，没有可用来请求网络能力的接口，也没有可让用户被劝说授予网络能力的同意对话框。系统没有根账户，也没有管理员，因此不存在可供提升权限的权威。 设备驱动程序、TCP/IP堆栈、显示服务器、浏览器以及钱包和应用程序都作为内核之外的胶囊运行。大约 600k 行系统代码不持有任何特权，也没有进入内核地址空间的路径。 系统驻留于 RAM。关机后，机器上不会残留日志、缓存、浏览历史或设备身份。网络流量通过内核内部实现的洋葱混合网络传出，每一跳都进行新的密钥协商。任何未经证明的内容都不会执行。引导加载程序在两种相互独立的签名方案下验证内核，其中一种是后量子方案，然后根据编译进引导加载程序的根，检查内核自身的 STARK 证明。每个胶囊的证明都会在其映像被映射前验证，缺失或无效的证明意味着该胶囊不会运行。证明系统是该项目在 Goldilocks 域上的透明 STARK，不需要可信设置，也不需要基于配对的密码学。相同的证明器还确定了 NOX Shield，这是一种通过 Solidity 合约在以太坊上验证的私密转账协议。NOX是以太坊生态系统的ERC-20代币。
团队信息
团队信息暂未披露。
融资记录
已披露 0 笔暂无已披露融资记录。
相关动态
市场热点
暂无相关市场热点。
名人快讯
暂无相关名人快讯。