Skip to content
Change the repository type filter

All

    Repositories list

    • reva

      Public
      A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
      Rust
      Apache License 2.0
      3901Updated Feb 28, 2025Feb 28, 2025
    • valida-rs

      Public
      The entry point for Rust projects to be run on Valida
      Rust
      Other
      11001Updated Feb 28, 2025Feb 28, 2025
    • Rust
      Apache License 2.0
      0100Updated Feb 28, 2025Feb 28, 2025
    • hashes

      Public
      Lita's fork of hashes: A collection of cryptographic hash functions written in pure Rust
      Rust
      267000Updated Feb 27, 2025Feb 27, 2025
    • getrandom

      Public
      A small cross-platform library for retrieving random data from (operating) system source
      Rust
      Apache License 2.0
      203001Updated Feb 26, 2025Feb 26, 2025
    • fibonacci

      Public archive
      A sample project to use on Valida VM.
      Rust
      Apache License 2.0
      1102Updated Feb 25, 2025Feb 25, 2025
    • A collection of code examples of other zkVMs for benchmarking purposes.
      C
      3222Updated Feb 21, 2025Feb 21, 2025
    • sponges

      Public
      Lita's fork of sponges: A collection of sponge functions written in pure Rust
      Rust
      15000Updated Feb 21, 2025Feb 21, 2025
    • An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve for use with Valida VM
      Rust
      Creative Commons Zero v1.0 Universal
      56000Updated Feb 20, 2025Feb 20, 2025
    • core

      Public
      Lita's fork of high-performance, well-tested & documented core libraries for Ethereum, in Rust
      Rust
      Apache License 2.0
      175000Updated Feb 19, 2025Feb 19, 2025
    • Rust
      0000Updated Feb 12, 2025Feb 12, 2025
    • cargo

      Public
      The Rust package manager
      Rust
      Apache License 2.0
      2.5k000Updated Feb 12, 2025Feb 12, 2025
    • revm/reth block proving on Valida
      Rust
      Other
      01522Updated Feb 11, 2025Feb 11, 2025
    • Public releases for the Valida toolchain
      31450Updated Feb 11, 2025Feb 11, 2025
    • Plonky3

      Public
      A collection of libraries related to polynomial IOPs (PIOPs)
      Rust
      Apache License 2.0
      258101Updated Feb 10, 2025Feb 10, 2025
    • Rust
      0100Updated Jan 30, 2025Jan 30, 2025
    • chains

      Public
      Canonical type definitions for EIP-155 chains
      Rust
      Apache License 2.0
      78000Updated Jan 7, 2025Jan 7, 2025
    • reth

      Public
      Lita's fork of reth: Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
      Rust
      Apache License 2.0
      1.4k000Updated Jan 6, 2025Jan 6, 2025
    • Rust
      Other
      0100Updated Dec 16, 2024Dec 16, 2024
    • .github

      Public
      0000Updated Dec 6, 2024Dec 6, 2024
    • rust-examples

      Public archive
      Rust
      Apache License 2.0
      31733Updated Dec 3, 2024Dec 3, 2024
    • pprof-rs

      Public
      A Rust CPU profiler implemented with the help of backtrace-rs
      Rust
      Apache License 2.0
      110000Updated Dec 3, 2024Dec 3, 2024
    • proptest

      Public
      Hypothesis-like property testing for Rust
      Rust
      Apache License 2.0
      175000Updated Dec 2, 2024Dec 2, 2024
    • Test whether a given stream is a terminal
      Rust
      MIT License
      18000Updated Nov 29, 2024Nov 29, 2024
    • Run Rust tests in isolated subprocesses
      Rust
      Apache License 2.0
      17000Updated Nov 29, 2024Nov 29, 2024
    • Waiting on a child process with a timeout in Rust
      Rust
      Apache License 2.0
      17000Updated Nov 28, 2024Nov 28, 2024
    • valida-c-examples

      Public archive
      C
      Other
      0100Updated Nov 28, 2024Nov 28, 2024
    • cc-rs

      Public
      Rust library for build scripts to compile C/C++ code into a Rust library
      Rust
      Apache License 2.0
      482000Updated Nov 13, 2024Nov 13, 2024
    • ferrilab

      Public
      Experimenting with Rust's fundamental data model
      Rust
      MIT License
      7000Updated Nov 13, 2024Nov 13, 2024
    • object

      Public
      Lita's own fork of Object: A unified interface for reading and writing object file formats
      Rust
      Apache License 2.0
      158000Updated Nov 12, 2024Nov 12, 2024