Skip to content
Change the repository type filter

All

    Repositories list

    • Python
      1100Updated Feb 7, 2025Feb 7, 2025
    • pow

      Public
      Python
      0000Updated Feb 7, 2025Feb 7, 2025
    • website

      Public
      JavaScript
      1000Updated Jan 5, 2025Jan 5, 2025
    • Proving computational integrity of brainfuck ISA using STARKs
      Rust
      MIT License
      1000Updated Dec 22, 2024Dec 22, 2024
    • Rust version of Stark 101 by Starkware
      Rust
      1000Updated Jul 28, 2024Jul 28, 2024
    • 5800Updated Jul 13, 2024Jul 13, 2024
    • .github

      Public
      0000Updated Jul 13, 2024Jul 13, 2024
    • MIT License
      0100Updated Jun 24, 2024Jun 24, 2024
    • MIT License
      0100Updated Jun 24, 2024Jun 24, 2024
    • hyperwasm

      Public
      Hyperwasm - wasm runtime built using hypersdk.
      Go
      Other
      124000Updated Jun 13, 2024Jun 13, 2024
    • A Zero-knowledge verification layer built using Hypersdk.
      Go
      Other
      3000Updated May 24, 2024May 24, 2024
    • Server-side implementation that incorporates verification for RISC0, Miden VM, SP1, Jolt, Plonky2
      Rust
      3000Updated Apr 23, 2024Apr 23, 2024
    • Rust
      Other
      5000Updated Apr 5, 2024Apr 5, 2024