Issues

• mprotect AIR is missing the PERMITTED_PROTS membership constraint

  succinctlabs/sp1#3020 · Filter by author corinthiansxiii opened on Oct 21, 2026
  1

• sp1-primitives pulls in std transitively via its dependencies

  succinctlabs/sp1#3016 · Filter by author the-shank opened on Oct 20, 2026

• sp1-recursion-gnark-ffi fails to build: github.com/consensys/gnark-ignition-verifier was deleted

  succinctlabs/sp1#3004 · Filter by author dharjeezy opened on Oct 9, 2026
  1

• Follow-up — Vulnerability

  succinctlabs/sp1#3000 · Filter by author VectorShieldResearch opened on Oct 7, 2026

• sp1-zkvm pulls in std transitively via bincode

  succinctlabs/sp1#2988 · Filter by author the-shank opened on Sep 28, 2026

• Software RISC-V target for LLVM

  succinctlabs/sp1#2982 · Filter by author nazar-pc opened on Sep 23, 2026

• A pure-Rust allocator for the prover server

  succinctlabs/sp1#2969 · Filter by author Ttimmahlax opened on Sep 12, 2026

• ExecutionReport::touched_memory_addresses is always zero in the gas-execution path

  succinctlabs/sp1#2958 · Filter by author Inphi opened on Sep 5, 2026
  1

• sp1-gpu-server aborts the whole process on a failed 6 GiB tensor allocation (AllocError unwrapped in shard_prover)

  succinctlabs/sp1#2950 · Filter by author pauldelucia opened on Aug 27, 2026
  1

• bls12-381: decompress_pubkey discards the point-at-infinity flag and performs no subgroup check (dormant)

  succinctlabs/sp1#2927 · Filter by author 4waan opened on Aug 4, 2026

• sp1-lib exports Weierstrass decompress wrappers that unconditionally panic

  succinctlabs/sp1#2926 · Filter by author 4waan opened on Aug 4, 2026

• deferred_proof_verification is documented as an executor setting but the executor never reads it

  succinctlabs/sp1#2922 · Filter by author pauldelucia opened on Aug 3, 2026

• std::env::var("any_key") always return Ok(""), instead of Error(VarError::NotPresent)

  succinctlabs/sp1#2883 · Filter by author marxin opened on Jul 15, 2026
  2

• Incorrect inifinity point and Fp2 encoding/decoding in zkvm_accelerators.h's BLS12-381 curve operations

  succinctlabs/sp1#2881 · Filter by author goodlyrottenapple opened on Jul 13, 2026
  4

• Incorrect RIPEMD-160 hash padding in zkvm_accelerators.h

  succinctlabs/sp1#2880 · Filter by author goodlyrottenapple opened on Jul 13, 2026

• Vulnerability Report: Inconsistent CoreAirId Definition and Prover Logic Violation"CRITICAL"

  succinctlabs/sp1#2844 · Filter by author Agentic-LLM-Latency-Optimizer opened on Jun 10, 2026

• MockProver accepts the same mock proof for different expected exit statuses

  succinctlabs/sp1#2817 · Filter by author 1sgtpepper opened on May 25, 2026
  3

• sp1-sdk v6.1.0 TEE 2fa does not work

  succinctlabs/sp1#2791 · Filter by author sam-iamm opened on May 14, 2026

• pasta curve arithmetic precompile via arkworks

  succinctlabs/sp1#2761 · Filter by author martyall opened on Apr 28, 2026
  3

• [Feature / Ecosystem] Request for Prover Network Whitelist: Sovereign ZK-LVR Interceptor

  succinctlabs/sp1#2751 · Filter by author wtk58184603-sudo opened on Apr 25, 2026

• Unverified remote signer list enables TEE bypass

  succinctlabs/sp1#2695 · Filter by author this-vishalsingh opened on Apr 2, 2026
  1

• sp1_primitives: No serde implementation for serde type.

  succinctlabs/sp1#2689 · Filter by author kuzminxyz opened on Mar 28, 2026
  1

• How to optimize single-GPU Groth16 proving time via environment configuration?

  succinctlabs/sp1#2674 · Filter by author googgoog opened on Mar 23, 2026

• CUDA cleanup panic after successful prove and verify on RTX 4090 (exit code 134)

  succinctlabs/sp1#2673 · Filter by author KappaTengu opened on Mar 22, 2026
  3

• Expired link on SP1 Telegram chat

  Improvement
  succinctlabs/sp1#2650 · Filter by author kuzminxyz opened on Mar 14, 2026