Skip to content
Change the repository type filter

All

    Repositories list

    • Rust
      MIT License
      1007Updated Jun 25, 2026Jun 25, 2026
    • Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
      Rust
      Other
      770254Updated Jun 24, 2026Jun 24, 2026
    • A desktop control plane for ICME Preflight.
      TypeScript
      0100Updated Jun 11, 2026Jun 11, 2026
    • kinic-cli

      Public
      AI memory hosted on the Internet Computer blockchain.
      Rust
      MIT License
      21506Updated May 20, 2026May 20, 2026
    • Vectune

      Public
      Rust
      Other
      31601Updated Apr 14, 2026Apr 14, 2026
    • Automated Reasoning guardrails for OpenClaw agents. Check every action against your policy before it executes — SAT or UNSAT in under a second. Free logic check…
      MIT License
      0100Updated Apr 1, 2026Apr 1, 2026
    • zkml-jolt

      Public
      Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡
      Rust
      Apache License 2.0
      320500Updated Feb 3, 2026Feb 3, 2026
    • Rust
      0100Updated Dec 25, 2025Dec 25, 2025
    • WebGPU MSM implementation
      Rust
      Other
      31601Updated Oct 28, 2025Oct 28, 2025
    • A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
      WebAssembly
      Apache License 2.0
      94111Updated Oct 28, 2025Oct 28, 2025
    • Jupyter Notebook
      0300Updated Sep 2, 2025Sep 2, 2025
    • Natural language prompts for verifiable AI agents.
      JavaScript
      MIT License
      0300Updated Aug 7, 2025Aug 7, 2025
    • Nova

      Public
      Nova: High-speed recursive arguments from folding schemes
      Rust
      MIT License
      250101Updated Jun 27, 2025Jun 27, 2025
    • zkEngine

      Public
      zkWASM
      Rust
      1000Updated Jun 7, 2025Jun 7, 2025
    • wasmi

      Public
      WebAssembly (Wasm) interpreter.
      Rust
      Apache License 2.0
      354000Updated May 12, 2025May 12, 2025
    • rsp

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      Apache License 2.0
      89000Updated May 11, 2025May 11, 2025
    • Rust
      Apache License 2.0
      5000Updated May 7, 2025May 7, 2025
    • Rust
      Other
      173000Updated May 7, 2025May 7, 2025
    • Solidity
      1000Updated Apr 10, 2025Apr 10, 2025
    • Solidity
      1000Updated Apr 8, 2025Apr 8, 2025
    • ff

      Public
      Traits and utilities for working with finite fields.
      Rust
      Apache License 2.0
      129000Updated Apr 7, 2025Apr 7, 2025
    • Rust
      0001Updated Feb 21, 2025Feb 21, 2025
    • The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
      Rust
      35000Updated Jan 10, 2025Jan 10, 2025
    • novanet

      Public
      The world's first peer to peer decentralized zero knowledge proof network.
      Rust
      0500Updated Apr 1, 2024Apr 1, 2024
    • Motoko
      1000Updated May 1, 2023May 1, 2023
    • ICP

      Public
      Motoko
      MIT License
      0000Updated Nov 3, 2022Nov 3, 2022
    • Motoko
      MIT License
      0000Updated Oct 13, 2022Oct 13, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.