Skip to content

@Lagrange-Labs Lagrange-Labs

Change the repository type filter

All

    Repositories list

    48 repositories

    • burn

      Public
      Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
      Rust
      •
      Apache License 2.0
      •692•0•0•0•Updated Sep 3, 2025Sep 3, 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

    • deep-prove

      Public
      Framework to prove inference of ML models blazingly fast
      aimlzkzk-snarkszkml
      Rust
      •
      Apache License 2.0
      •71•3.4k•14•4•Updated Sep 1, 2025Sep 1, 2025

    • gkr-backend

      Public
      Rust
      •4•0•0•1•Updated Sep 1, 2025Sep 1, 2025

    • ceno

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

    • lgn-coprocessor

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

    • cubecl

      Public
      Multi-platform high-performance compute language extension for Rust.
      Rust
      •
      Apache License 2.0
      •98•0•0•0•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

    • worker

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

    • mapreduce-plonky2

      Public
      Rust
      •
      Other
      •4•22•28•15•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
      •470•0•0•1•Updated Mar 28, 2025Mar 28, 2025

    • zksync-era

      Public
      zkSync era
      Rust
      •
      Apache License 2.0
      •2.1k•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
      •42•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 command line.
      Rust
      •184•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
      •152•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
      •556•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • gitops-bridge-argocd-control-plane

      Public
      ArgoCD control plane for various Lagrange EKS clusters
      Python
      •
      Apache License 2.0
      •143•0•0•0•Updated Dec 31, 2024Dec 31, 2024

    • svm-rs

      Public
      Solidity-Compiler Version Manager
      Rust
      •
      Apache License 2.0
      •42•0•0•0•Updated Nov 14, 2024Nov 14, 2024

    • forge-safe

      Public
      Library to interact with Gnosis Safe from Foundry Scripts
      Solidity
      •32•0•0•0•Updated Oct 10, 2024Oct 10, 2024

    • plonky2-bn254-pairing

      Public
      plonky2 implementation of bn254 pairing
      Rust
      •
      Apache License 2.0
      •5•0•0•1•Updated Oct 3, 2024Oct 3, 2024

    • plonky2-bn254

      Public
      Rust
      •
      Apache License 2.0
      •5•0•0•1•Updated Oct 3, 2024Oct 3, 2024