Skip to content

@ICME-Lab ICME Labs

All

    Repositories list

    29 repositories

    • kinic-wiki

      Public
      Rust
      •
      MIT License
      •1•1•0•6•Updated Sep 8, 2026Sep 8, 2026

    • jolt-atlas

      Public
      Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
      machine-learningzero-knowledgezkp
      machine-learningzero-knowledgezkpverifiable-compute
      Rust
      •
      Other
      •8•76•20•3•Updated Sep 4, 2026Sep 4, 2026

    • preflight-instruments

      Public
      A prompt-injection detector you can prove ran. Activation probe + JOLT Atlas ZK proofs, so any verifier can trustlessly check the guardrail fired. Preflight ins…
      Python
      •0•0•0•0•Updated Jul 10, 2026Jul 10, 2026

    • icme-agt

      Public
      Formally verified, ZK-receipted policy checks for Microsoft's Agent Governance Toolkit — an official ICME PreFlight ExternalPolicyBackend (ADR-0015)
      smtformal-verificationai-safety
      smtformal-verificationai-safetyzero-knowledgeai-agentsguardrailsagent-governance-toolkit
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 8, 2026Jul 8, 2026

    • preflight-app

      Public
      A desktop control plane for ICME Preflight.
      TypeScript
      •0•1•0•0•Updated Jun 11, 2026Jun 11, 2026

    • kinic-cli

      Public
      AI memory hosted on the Internet Computer blockchain.
      Rust
      •
      MIT License
      •2•18•0•6•Updated May 20, 2026May 20, 2026

    • Vectune

      Public
      Rust
      •
      Other
      •3•16•0•1•Updated Apr 14, 2026Apr 14, 2026

    • icme-preflight-guardrail

      Public
      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
      •0•2•0•0•Updated 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
      •332•5•0•0•Updated Feb 3, 2026Feb 3, 2026

    • blackhole-token-burner

      Public
      Rust
      •0•1•0•0•Updated Dec 25, 2025Dec 25, 2025

    • msm-webgpu

      Public
      WebGPU MSM implementation
      Rust
      •
      Other
      •3•15•0•1•Updated Oct 28, 2025Oct 28, 2025

    • zkEngine_dev

      Public
      A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
      WebAssembly
      •
      Apache License 2.0
      •9•41•1•1•Updated Oct 28, 2025Oct 28, 2025

    • zkml-benchmarks

      Public
      Jupyter Notebook
      •0•3•0•0•Updated Sep 2, 2025Sep 2, 2025

    • verifiable-agent-kit

      Public
      Natural language prompts for verifiable AI agents.
      JavaScript
      •
      MIT License
      •0•3•0•0•Updated Aug 7, 2025Aug 7, 2025

    • Nova

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

    • zkEngine

      Public
      zkWASM
      Rust
      •1•0•0•0•Updated Jun 7, 2025Jun 7, 2025

    • wasmi

      Public
      WebAssembly (Wasm) interpreter.
      Rust
      •
      Apache License 2.0
      •365•0•0•0•Updated 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
      •89•0•0•0•Updated May 11, 2025May 11, 2025

    • grumpkin-msm

      Public
      Rust
      •
      Apache License 2.0
      •5•0•0•0•Updated May 7, 2025May 7, 2025

    • halo2curves

      Public
      Rust
      •
      Other
      •174•0•0•0•Updated May 7, 2025May 7, 2025

    • device_registration

      Public
      Solidity
      •1•0•0•0•Updated Apr 10, 2025Apr 10, 2025

    • zkp-solidity-gas

      Public
      Solidity
      •1•0•0•0•Updated Apr 8, 2025Apr 8, 2025

    • ff

      Public
      Traits and utilities for working with finite fields.
      Rust
      •
      Apache License 2.0
      •128•0•0•0•Updated Apr 7, 2025Apr 7, 2025

    • radius-circuit

      Public
      Rust
      •0•0•0•1•Updated Feb 21, 2025Feb 21, 2025

    • spartan-ecdsa

      Public
      The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
      Rust
      •35•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • novanet

      Public
      The world's first peer to peer decentralized zero knowledge proof network.
      Rust
      •0•5•0•0•Updated Apr 1, 2024Apr 1, 2024

    • NFT-claim-page

      Public
      Motoko
      •1•0•0•0•Updated May 1, 2023May 1, 2023

    • ICP

      Public
      Motoko
      •
      MIT License
      •0•0•0•0•Updated Nov 3, 2022Nov 3, 2022

    • AuctionMotokoLib

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