Skip to content

@valida-xyz Valida

Change the repository type filter

All

    Repositories list

    5 repositories

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •183•0•0•1•Updated Jul 17, 2024Jul 17, 2024

    • valida

      Public
      A STARK-based VM focused on code reuse, performance, and modularity
      Rust
      •
      Apache License 2.0
      •50•285•28•7•Updated Jul 15, 2024Jul 15, 2024

    • rust-elf

      Public
      Library for parsing ELF files for Rust
      Rust
      •
      Other
      •46•1•0•0•Updated Mar 23, 2024Mar 23, 2024

    • benchmarks

      Public
      LLVM
      •2•6•0•0•Updated Oct 20, 2023Oct 20, 2023

    • valida-compiler

      Public archive
      Old, obsolete version of the Valida compiler; its replacement will become public later
      Other
      •12•50•6•0•Updated Aug 31, 2023Aug 31, 2023