Skip to content

@project-llzk project-llzk

Change the repository type filter

All

    Repositories list

    17 repositories

    • noir_llzk

      Public
      Rust
      •1•0•2•0•Updated Jul 3, 2026Jul 3, 2026

    • llzk-lib

      Public
      Library for parsing, generating, and analyzing LLZK code.
      C++
      •
      Apache License 2.0
      •12•43•34•14•Updated Jul 3, 2026Jul 3, 2026

    • llzk-rs

      Public
      LLZK's Rust SDK
      Rust
      •
      Apache License 2.0
      •2•11•0•0•Updated Jul 2, 2026Jul 2, 2026

    • LLEQ

      Public
      Porting ZEQUAL to LLZK
      C++
      •
      Apache License 2.0
      •0•1•12•1•Updated Jul 2, 2026Jul 2, 2026

    • llzk-spec

      Public
      Specification Language for LLZK IR
      Rust
      •
      Apache License 2.0
      •0•0•4•0•Updated Jul 2, 2026Jul 2, 2026

    • haloumi

      Public
      Unified IR extraction framework for Halo2 and PLONKish circuits
      Rust
      •
      Apache License 2.0
      •0•0•0•2•Updated Jul 2, 2026Jul 2, 2026

    • circom

      Public
      zkSnark circuit compiler
      Circom
      •
      GNU General Public License v3.0
      •372•3•18•0•Updated Jul 2, 2026Jul 2, 2026

    • halo2

      Public
      The Halo2 zero-knowledge proving system
      Rust
      •
      Other
      •601•0•0•0•Updated Jun 30, 2026Jun 30, 2026

    • llzk-interpreter

      Public
      Minimal LLZK interpreter for prototyping semantics, execution, and tests.
      Rust
      •0•0•2•0•Updated Jun 30, 2026Jun 30, 2026

    • veir

      Public
      Verified Intermediate Representation
      Lean
      •
      Other
      •16•0•0•0•Updated Jun 11, 2026Jun 11, 2026

    • llzk-lean

      Public
      Lean-backed assurance infrastructure for LLZK's Felt dialect. Differential harness (Strategy A) + proof certificates (Strategy E) bridging LLZK ↔ VEIR's verifie…
      C++
      •
      Other
      •0•0•0•0•Updated Jun 11, 2026Jun 11, 2026

    • .github

      Public
      0•0•0•1•Updated Jun 10, 2026Jun 10, 2026

    • circom-benchmarks

      Public
      Circom
      •0•0•0•0•Updated Jun 5, 2026Jun 5, 2026

    • open-source-release-helpers

      Public
      Utilities for changelog generation and release creation for open-source projects.
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 4, 2026Jun 4, 2026

    • airbender-llzk-frontend

      Public
      RISC-V prover system for ZKsync OS
      Rust
      •
      Apache License 2.0
      •42•0•0•0•Updated May 19, 2026May 19, 2026

    • llzk-nix-pkgs

      Public
      Nix flake containing packages used in LLZK projects.
      Nix
      •
      MIT License
      •0•0•0•0•Updated May 14, 2026May 14, 2026

    • llzk-benchmarks

      Public
      A collection of benchmark circuits and artifacts generated with LLZK from diverse ZK ecosystems — Circom, Halo2, SP1, Plonky3, and more.
      Apache License 2.0
      •0•0•0•0•Updated Apr 19, 2026Apr 19, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.