Skip to content

@ethproofs Ethproofs

Change the repository type filter

All

    Repositories list

    12 repositories

    • ethproofs

      Public
      the race to prove Ethereum in real-time
      TypeScript
      •44•116•17•4•Updated Oct 4, 2025Oct 4, 2025

    • zisk-wasm-stark-verifier

      Public
      WebAssembly bindings for the ZisK STARK verifier.
      HTML
      •
      Apache License 2.0
      •1•0•0•0•Updated Oct 1, 2025Oct 1, 2025

    • pico

      Public
      Rust
      •
      Apache License 2.0
      •34•0•0•0•Updated Sep 27, 2025Sep 27, 2025

    • sp1-wasm-stark-verifier

      Public
      Rust
      •
      MIT License
      •4•0•0•0•Updated Sep 26, 2025Sep 26, 2025

    • .github

      Public
      README for GH org
      0•0•0•0•Updated Sep 25, 2025Sep 25, 2025

    • pm

      Public
      Project Management: Task issues and project boards
      0•0•12•0•Updated Sep 25, 2025Sep 25, 2025

    • ziren-wasm-stark-verifier

      Public
      HTML
      •2•0•0•0•Updated Sep 25, 2025Sep 25, 2025

    • PetraVM

      Public
      A verifiable supercomputer
      Rust
      •
      Apache License 2.0
      •6•0•0•0•Updated Sep 20, 2025Sep 20, 2025

    • sp1

      Public
      SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
      Rust
      •
      Apache License 2.0
      •578•0•0•0•Updated Sep 18, 2025Sep 18, 2025

    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      •
      Apache License 2.0
      •642•0•0•0•Updated Sep 18, 2025Sep 18, 2025

    • msm-webgpu

      Public
      WebGPU MSM implementation
      Rust
      •
      MIT License
      •2•0•0•0•Updated Sep 13, 2025Sep 13, 2025

    • pico-wasm-stark-verifier

      Public
      HTML
      •1•1•0•1•Updated Aug 10, 2025Aug 10, 2025