Skip to content

@ICME-Lab ICME Labs

Change the repository type filter

All

    Repositories list

    22 repositories

    • jolt-atlas

      Public
      Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
      machine-learningzero-knowledgezkpverifiable-compute
      Rust
      •
      Other
      •3•19•20•3•Updated Oct 31, 2025Oct 31, 2025

    • Vectune

      Public
      Rust
      •
      Other
      •2•15•0•0•Updated Oct 28, 2025Oct 28, 2025

    • msm-webgpu

      Public
      WebGPU MSM implementation
      Rust
      •
      Other
      •3•17•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•42•1•1•Updated Oct 28, 2025Oct 28, 2025

    • zkml-jolt

      Public
      Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡
      Rust
      •
      Apache License 2.0
      •262•4•0•0•Updated Sep 23, 2025Sep 23, 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•1•0•0•Updated Aug 7, 2025Aug 7, 2025

    • Nova

      Public
      Nova: High-speed recursive arguments from folding schemes
      Rust
      •
      MIT License
      •233•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
      •320•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
      •82•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
      •169•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
      •124•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