Skip to content
@lita-xyz

Lita

Lita is building and maintaining Valida zk-VM and its toolchain for succinct and zero-knowledge proving, leading in speed, efficiency, developer productivity, and modularity.

With speeds surpassing existing systems, in some cases by 100-1000x, Lita accelerates zero-knowledge proving to unprecedented levels. Supporting high-level languages like Rust and C, and with plans for C++ and WASM integration, developers can leverage familiar tools for trustless applications.

Designed to be modular and customizable, Lita offers flexibility to tailor the VM to specific needs. Join us at the forefront of cryptographic innovation with Lita, shaping the future of proving technology.

Popular repositories Loading

  1. valida-rs valida-rs Public

    The entry point for Rust projects to be run on Valida

    Rust 8 1

  2. rust-examples rust-examples Public

    Rust 7 1

  3. llvm-valida-releases llvm-valida-releases Public

    Public releases for the Valida compiler toolchain

    2 2

  4. reth-valida reth-valida Public

    revm/reth block proving on Valida

    Rust 2

  5. Plonky3 Plonky3 Public

    Forked from Plonky3/Plonky3

    A collection of libraries related to polynomial IOPs (PIOPs)

    Rust 1

  6. benchmarks benchmarks Public

    A collection of code examples of other zkVMs for benchmarking purposes.

    C 1 2

Repositories

Showing 10 of 27 repositories
  • lita-xyz/rust-examples’s past year of commit activity
    Rust 7 Apache-2.0 1 1 4 Updated Nov 15, 2024
  • reth-valida Public

    revm/reth block proving on Valida

    lita-xyz/reth-valida’s past year of commit activity
    Rust 2 0 0 2 Updated Nov 15, 2024
  • valida-rs Public

    The entry point for Rust projects to be run on Valida

    lita-xyz/valida-rs’s past year of commit activity
    Rust 8 1 0 2 Updated Nov 15, 2024
  • cc-rs Public Forked from rust-lang/cc-rs

    Rust library for build scripts to compile C/C++ code into a Rust library

    lita-xyz/cc-rs’s past year of commit activity
    Rust 0 Apache-2.0 503 0 0 Updated Nov 13, 2024
  • ferrilab Public Forked from ferrilab/ferrilab

    Experimenting with Rust's fundamental data model

    lita-xyz/ferrilab’s past year of commit activity
    Rust 0 MIT 7 0 0 Updated Nov 13, 2024
  • llvm-valida-releases Public

    Public releases for the Valida compiler toolchain

    lita-xyz/llvm-valida-releases’s past year of commit activity
    2 2 4 0 Updated Nov 12, 2024
  • object Public Forked from gimli-rs/object

    Lita's own fork of Object: A unified interface for reading and writing object file formats

    lita-xyz/object’s past year of commit activity
    Rust 0 Apache-2.0 158 0 0 Updated Nov 12, 2024
  • fibonacci Public

    A sample project to use on Valida VM.

    lita-xyz/fibonacci’s past year of commit activity
    Rust 0 Apache-2.0 0 0 1 Updated Nov 10, 2024
  • benchmarks Public

    A collection of code examples of other zkVMs for benchmarking purposes.

    lita-xyz/benchmarks’s past year of commit activity
    C 1 2 1 1 Updated Nov 8, 2024
  • reth Public Forked from paradigmxyz/reth

    Lita's fork of reth: Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

    lita-xyz/reth’s past year of commit activity
    Rust 0 Apache-2.0 1,230 0 0 Updated Nov 6, 2024

Most used topics

Loading…