Skip to content
Change the repository type filter

All

    Repositories list

    • Rust
      17000Updated Dec 12, 2025Dec 12, 2025
    • Plonky3

      Public
      A collection of libraries related to polynomial IOPs (PIOPs)
      Rust
      367101Updated Dec 11, 2025Dec 11, 2025
    • Plonky2

      Public
      Rust
      343000Updated Nov 21, 2025Nov 21, 2025
    • u32 arithmetic gadgets for plonky2
      Rust
      39000Updated Nov 21, 2025Nov 21, 2025
    • Rust
      1000Updated Nov 20, 2025Nov 20, 2025
    • Rust
      2000Updated Nov 17, 2025Nov 17, 2025
    • valida-vm

      Public
      The Valida execution engine, prover, and verifier
      Rust
      22747Updated Oct 6, 2025Oct 6, 2025
    • Go
      2000Updated Oct 2, 2025Oct 2, 2025
    • Rust
      0100Updated Sep 25, 2025Sep 25, 2025
    • Public releases for the Valida toolchain
      32450Updated Sep 25, 2025Sep 25, 2025
    • embdebug

      Public
      The Embecosm generic debug server for GDB and LLDB
      C++
      6000Updated Jul 2, 2025Jul 2, 2025
    • reva

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      51403Updated Jul 2, 2025Jul 2, 2025
    • getrandom

      Public
      A small cross-platform library for retrieving random data from (operating) system source
      Rust
      240001Updated Jun 27, 2025Jun 27, 2025
    • Rust implementations of compiler-rt and libm
      Rust
      255000Updated Jun 10, 2025Jun 10, 2025
    • Rust language bindings for Bitcoin secp256k1 library.
      C
      306000Updated Jun 4, 2025Jun 4, 2025
    • foldhash

      Public
      A fast, non-cryptographic, minimally DoS-resistant hashing algorithm for Rust.
      Rust
      21000Updated Jun 4, 2025Jun 4, 2025
    • TeX
      0210Updated Jun 3, 2025Jun 3, 2025
    • A tool to analyze benchmark results
      Nim
      0000Updated May 23, 2025May 23, 2025
    • object

      Public
      Lita's own fork of Object: A unified interface for reading and writing object file formats
      Rust
      188000Updated May 8, 2025May 8, 2025
    • cargo

      Public
      The Rust package manager
      Rust
      2.7k000Updated May 8, 2025May 8, 2025
    • Rust
      0000Updated Apr 15, 2025Apr 15, 2025
    • Rust
      0000Updated Apr 2, 2025Apr 2, 2025
    • benchmarks

      Public archive
      A collection of code examples of other zkVMs for benchmarking purposes.
      C
      3322Updated Mar 14, 2025Mar 14, 2025
    • valida-rs

      Public
      The entry point for Rust projects to be run on Valida
      Rust
      21000Updated Mar 14, 2025Mar 14, 2025
    • An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve for use with Valida VM
      Rust
      63000Updated Mar 6, 2025Mar 6, 2025
    • hashes

      Public
      Lita's fork of hashes: A collection of cryptographic hash functions written in pure Rust
      Rust
      305000Updated Mar 6, 2025Mar 6, 2025
    • sponges

      Public
      Lita's fork of sponges: A collection of sponge functions written in pure Rust
      Rust
      16000Updated Mar 6, 2025Mar 6, 2025
    • .github

      Public
      0000Updated Mar 3, 2025Mar 3, 2025
    • fibonacci

      Public archive
      A sample project to use on Valida VM.
      Rust
      1102Updated Feb 25, 2025Feb 25, 2025
    • core

      Public
      Lita's fork of high-performance, well-tested & documented core libraries for Ethereum, in Rust
      Rust
      241000Updated Feb 19, 2025Feb 19, 2025