Skip to content
Change the repository type filter

All

    Repositories list

    • A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
      Rust
      Apache License 2.0
      31710Updated Nov 6, 2024Nov 6, 2024
    • Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
      Rust
      Other
      3.7k002Updated Oct 18, 2024Oct 18, 2024
    • A set of tooling of halo2 circuits verification in Move environments
      Move
      Apache License 2.0
      31680Updated Aug 6, 2024Aug 6, 2024
    • Rust
      Other
      856000Updated Apr 10, 2024Apr 10, 2024
    • Lasso

      Public
      The lookup singularity. Based on Spartan; built on Arkworks.
      Rust
      MIT License
      149000Updated Feb 29, 2024Feb 29, 2024
    • Rust
      Apache License 2.0
      141000Updated Dec 22, 2023Dec 22, 2023
    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      MIT License
      152000Updated Dec 22, 2023Dec 22, 2023
    • HTML
      MIT License
      1000Updated Dec 20, 2023Dec 20, 2023
    • zkmove

      Public
      A zero-knowledge Move language runtime environment.
      Apache License 2.0
      87700Updated Dec 1, 2023Dec 1, 2023
    • agger

      Public
      zkmove tds node
      Rust
      Apache License 2.0
      1241Updated Sep 25, 2023Sep 25, 2023
    • A fast zero-knowledge proof friendly Move language runtime environment.
      Rust
      Apache License 2.0
      74911Updated Aug 26, 2023Aug 26, 2023
    • Statistics-driven benchmarking library for Rust
      Rust
      Apache License 2.0
      311000Updated Jun 9, 2023Jun 9, 2023
    • move

      Public
      Rust
      Apache License 2.0
      690000Updated May 30, 2023May 30, 2023
    • ⚡️📊 Compare the performance of Rust project branches
      JavaScript
      ISC License
      28000Updated Apr 25, 2023Apr 25, 2023