Skip to content

@Lagrange-Labs Lagrange-Labs

Change the repository type filter

All

    Repositories list

    53 repositories

    • dp-crypto

      Public
      Rust
      •
      Other
      •0•1•0•4•Updated Feb 20, 2026Feb 20, 2026

    • ec-gpu

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

    • deep-prove

      Public
      Framework to prove inference of ML models blazingly fast
      aimlzkzk-snarkszkml
      Rust
      •
      Apache License 2.0
      •75•3.4k•13•4•Updated Feb 1, 2026Feb 1, 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
      •825•1•0•0•Updated Jan 19, 2026Jan 19, 2026

    • cubek

      Public
      CubeK: high-performance multi-platform kernels in CubeCL
      Rust
      •
      Apache License 2.0
      •25•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
      •142•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
      •292•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•2•1•0•Updated Nov 5, 2025Nov 5, 2025

    • gkr-backend

      Public
      Rust
      •4•0•0•1•Updated Oct 21, 2025Oct 21, 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
      •5•5•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
      •41•0•0•1•Updated Sep 1, 2025Sep 1, 2025

    • lgn-coprocessor

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

    • docs

      Public
      TypeScript
      •12•3•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•1•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•23•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
      •509•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
      •43•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
      •198•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
      •21•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • snark-verifier

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

    • halo2wrong

      Public
      Rust
      •93•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

    • halo2

      Public
      Rust
      •
      Other
      •579•0•0•0•Updated Jan 20, 2025Jan 20, 2025