Skip to content
@ICME-Lab

ICME

We build memory efficient zero-knowledge proofs for privacy and local verifiable compute.

Pinned Loading

  1. zkEngine_dev zkEngine_dev Public

    A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

    WebAssembly 40 9

  2. Vectune Vectune Public

    Rust 15 1

  3. msm-webgpu msm-webgpu Public

    WebGPU MSM implementation

    Rust 14 1

  4. jolt-atlas jolt-atlas Public

    Fast zkVM born at a16z Crypto modified by NovaNet for verifiable machine learning. ⚡

    Rust 10 1

Repositories

Showing 10 of 22 repositories
  • jolt-atlas Public

    Fast zkVM born at a16z Crypto modified by NovaNet for verifiable machine learning. ⚡

    ICME-Lab/jolt-atlas’s past year of commit activity
    Rust 10 1 19 2 Updated Sep 11, 2025
  • zkml-jolt Public Forked from a16z/jolt

    Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡

    ICME-Lab/zkml-jolt’s past year of commit activity
    Rust 4 Apache-2.0 255 0 1 Updated Sep 10, 2025
  • zkml-benchmarks Public
    ICME-Lab/zkml-benchmarks’s past year of commit activity
    Jupyter Notebook 2 0 0 0 Updated Sep 2, 2025
  • verifiable-agent-kit Public

    Natural language prompts for verifiable AI agents.

    ICME-Lab/verifiable-agent-kit’s past year of commit activity
    JavaScript 1 MIT 0 0 0 Updated Aug 7, 2025
  • Vectune Public
    ICME-Lab/Vectune’s past year of commit activity
    Rust 15 1 0 0 Updated Jul 22, 2025
  • msm-webgpu Public

    WebGPU MSM implementation

    ICME-Lab/msm-webgpu’s past year of commit activity
    Rust 14 MIT 1 0 1 Updated Jul 10, 2025
  • zkEngine_dev Public

    A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

    ICME-Lab/zkEngine_dev’s past year of commit activity
    WebAssembly 40 Apache-2.0 9 1 1 Updated Jul 10, 2025
  • Nova Public Forked from microsoft/Nova

    Nova: High-speed recursive arguments from folding schemes

    ICME-Lab/Nova’s past year of commit activity
    Rust 1 MIT 232 0 1 Updated Jun 27, 2025
  • zkEngine Public

    zkWASM

    ICME-Lab/zkEngine’s past year of commit activity
    Rust 0 1 0 0 Updated Jun 7, 2025
  • wasmi Public Forked from wasmi-labs/wasmi

    WebAssembly (Wasm) interpreter.

    ICME-Lab/wasmi’s past year of commit activity
    Rust 0 Apache-2.0 327 0 0 Updated May 12, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…