A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for NØNOS.
☆38Updated this week
Alternatives and similar repositories for nonos-kernel
Users that are interested in nonos-kernel are comparing it to the libraries listed below
Sorting:
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated last week
- Community edition of Nightfall_4☆16Feb 22, 2026Updated last week
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 5 months ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- GeophoneDuino is a small node able to sample a geophone through an SPI-enabled MCP3201 ADC and transmit the data back to a server over Wi…☆10Jun 9, 2018Updated 7 years ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- Terminal tool to get you the best crates for your rust projects, curated by blessed.rs☆48Jun 29, 2024Updated last year
- Revolutionizing Anonymity with Zero-Knowledge Technology☆10May 31, 2023Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Hybrid Federate Learning Framework for Financial Crime Detection☆13Mar 22, 2024Updated last year
- A quick fix model for the Charm BubbleTea ecosystem.☆15Nov 27, 2025Updated 3 months ago
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 10 months ago
- Tables☆11May 14, 2024Updated last year
- My private nvim config written in lua.☆11Jul 24, 2025Updated 7 months ago
- Hierarchical Deterministic Keys for the European Digital Identity Wallet☆11Updated this week
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Dotfiles dump☆10Updated this week
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- We defined the interfaces of four Python classes, namely ABE, Authority, User, and init, using the Charm-Crypto framework.☆12Apr 1, 2023Updated 2 years ago
- Generic math on integer lattices☆10Feb 23, 2024Updated 2 years ago
- Celestia Data Availability Provider for the Arbitrum Nitro stack☆12Feb 19, 2026Updated last week
- 🎠 A carousel component for bubbletea applications☆10Apr 10, 2023Updated 2 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- ansi contains a bunch of constants and possibly additional terminal related functionality in the future.☆15Nov 11, 2019Updated 6 years ago
- ☆11Aug 20, 2024Updated last year
- ☆11Mar 19, 2024Updated last year
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Cycle-accurate Game Boy emulation☆11Feb 12, 2026Updated 2 weeks ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago