ZeroOS: A Universal Modular Library OS for zkVMs
☆56Feb 16, 2026Updated 2 weeks ago
Alternatives and similar repositories for ZeroOS
Users that are interested in ZeroOS are comparing it to the libraries listed below
Sorting:
- ☆60Feb 16, 2026Updated 2 weeks ago
- ☆59Updated this week
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- Implementation of the constraint system of Linea, specified in the linea-specification repo☆36Feb 11, 2026Updated 2 weeks ago
- A wallet protocol and implementation to allow transferable Fractional Ownership to be implemented for ERC721 tokens (NFTs).☆23Oct 9, 2018Updated 7 years ago
- Implementation of FALCON and its variants for Ethereum☆39Feb 18, 2026Updated last week
- Library for parsing, generating, and analyzing LLZK code.☆37Updated this week
- A verifiable supercomputer☆77Jun 26, 2025Updated 8 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆54Nov 3, 2025Updated 4 months ago
- ☆175Updated this week
- Automated verification of uniqueness property for ZKP circuits☆94Mar 13, 2024Updated last year
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Oct 28, 2025Updated 4 months ago
- library for parsing and rendering interactive vis.js-timelines from markdown☆26Feb 10, 2026Updated 3 weeks ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year
- A universal soundness calculator across hash-based zkEVMs and security regimes☆44Updated this week
- Meetup CPP/Sponsorships through Github Issues to ensure visibility and open-source driven initiatives.☆12Jul 11, 2024Updated last year
- https://medium.com/gitcoin/ethdenver-request-for-project-proposals-9ed979dafbbe☆10Feb 1, 2018Updated 8 years ago
- Minimal zkVM, targeting aggregation of hash-based signatures.☆73Updated this week
- A support library for working with zero knowledge cryptography in Lean 4.☆48Aug 27, 2025Updated 6 months ago
- Tools for retrieval mining on Filecoin protocol☆13Jan 5, 2023Updated 3 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Dec 3, 2025Updated 3 months ago
- Starter template for an ethereum DApp using typescript☆12Jan 19, 2021Updated 5 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Super small and "dumb" read-only client in Go for coreos/etcd (v2).☆11May 28, 2017Updated 8 years ago
- Obyte exchange protocol☆10Jan 5, 2023Updated 3 years ago
- Wiredoor CLI allows you to connect, expose, and manage nodes and services securely with Wiredoor Server.☆14Feb 18, 2026Updated 2 weeks ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- GO Embedded System☆12Dec 15, 2025Updated 2 months ago
- Build a collectables chain with Substrate.☆11May 9, 2023Updated 2 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- ☆10Nov 20, 2024Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- 周报爱好者的索引☆10Jul 13, 2023Updated 2 years ago
- ☆12Apr 28, 2021Updated 4 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- Visualize Big ERC721 Collections (9,999+ items) dynamically from the browser. An alternative to OpenSea or Rarible.☆12Jan 17, 2022Updated 4 years ago
- ☆10Mar 11, 2019Updated 6 years ago
- ☆10Nov 16, 2023Updated 2 years ago