Skip to content

@Lagrange-Labs Lagrange-Labs

All

    Repositories list

    54 repositories

    • deep-prove

      Public
      Framework to prove inference of ML models blazingly fast
      aimlzk
      aimlzkzk-snarkszkml
      Rust
      •
      Other
      •101•3.4k•14•9•Updated May 31, 2026May 31, 2026

    • publications

      Public
      MIT License
      •0•0•0•0•Updated May 28, 2026May 28, 2026

    • dp-crypto

      Public
      Rust
      •
      Other
      •1•1•0•5•Updated Feb 27, 2026Feb 27, 2026

    • gkr-backend

      Public
      Rust
      •5•0•0•2•Updated Feb 25, 2026Feb 25, 2026

    • ec-gpu

      Public
      OpenCL code generator for finite-field arithmetic over arbitrary prime fields
      Rust
      •
      Other
      •69•0•0•1•Updated Feb 24, 2026Feb 24, 2026

    • burn

      Public
      Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
      Rust
      •
      Apache License 2.0
      •1k•1•0•0•Updated Jan 19, 2026Jan 19, 2026

    • cubek

      Public
      CubeK: high-performance multi-platform kernels in CubeCL
      Rust
      •
      Apache License 2.0
      •61•0•0•0•Updated Dec 15, 2025Dec 15, 2025

    • cubecl

      Public
      Multi-platform high-performance compute language extension for Rust.
      Rust
      •
      Apache License 2.0
      •229•0•0•0•Updated Dec 4, 2025Dec 4, 2025

    • jolt

      Public
      The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
      Rust
      •
      Apache License 2.0
      •330•0•0•0•Updated Nov 10, 2025Nov 10, 2025

    • anduril-deep-prove-demo

      Public
      A sample application demonstrating the integration of DeepProve into Anduril's Lattice to perform AI driven verifiable Entity Auto Reconnaissance
      Python
      •
      Other
      •3•5•1•0•Updated Nov 5, 2025Nov 5, 2025

    • worker

      Public
      The Lagrange network sends tasks to workers in order to generate zkproofs.
      Shell
      •7•7•2•2•Updated Oct 17, 2025Oct 17, 2025

    • lagrange-lpn-contracts

      Public
      Solidity contracts for the Lagrange Proving Network
      Solidity
      •
      Apache License 2.0
      •6•6•0•1•Updated Sep 2, 2025Sep 2, 2025

    • ceno

      Public
      Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
      Rust
      •
      Apache License 2.0
      •43•0•0•1•Updated Sep 1, 2025Sep 1, 2025

    • lgn-coprocessor

      Public
      Hyper-parallel ZK coprocessing.
      Rust
      •
      Other
      •8•18•0•5•Updated Aug 29, 2025Aug 29, 2025

    • docs

      Public
      TypeScript
      •12•4•0•1•Updated Jul 23, 2025Jul 23, 2025

    • lagrange-mica-whitepaper

      Public
      0•0•0•0•Updated Jul 11, 2025Jul 11, 2025

    • zkmr-avs-contracts

      Public
      Contracts for the ZK Coprocessor AVS
      Solidity
      •2•2•0•0•Updated Jul 9, 2025Jul 9, 2025

    • lagrange-protobuf

      Public
      0•0•0•0•Updated Jun 25, 2025Jun 25, 2025

    • mapreduce-plonky2

      Public
      Rust
      •
      Other
      •4•24•28•14•Updated Jun 12, 2025Jun 12, 2025

    • grpc-worker-rs

      Public
      gRPC connection handling for connecting to the Lagrange proving network gateway
      Rust
      •0•0•0•0•Updated May 22, 2025May 22, 2025

    • dummy-operator-config

      Public
      0•0•0•0•Updated May 16, 2025May 16, 2025

    • gnark

      Public
      gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
      Go
      •
      Apache License 2.0
      •531•0•0•1•Updated Mar 28, 2025Mar 28, 2025

    • zksync-era

      Public
      zkSync era
      Rust
      •
      Apache License 2.0
      •2.2k•0•0•0•Updated Mar 24, 2025Mar 24, 2025

    • AVS-config

      Public
      0•0•0•0•Updated Mar 15, 2025Mar 15, 2025

    • gnark-plonky2-verifier

      Public
      Go
      •
      MIT License
      •45•0•0•1•Updated Feb 28, 2025Feb 28, 2025

    • ezkl

      Public
      ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the comma…
      Rust
      •212•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • halo2-solidity-verifier

      Public
      A set of tooling related to halo2 circuits verification inside Solidity contracts
      Rust
      •
      MIT License
      •22•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •147•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • halo2wrong

      Public
      Rust
      •92•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • shared-github-actions

      Public
      Repository storing shared github actions
      0•0•0•0•Updated Jan 30, 2025Jan 30, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.