All issues

Search results

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

Status: Open.

#2927 In succinctlabs/sp1;

· 4waan opened on Aug 4, 2026

sp1-lib exports Weierstrass decompress wrappers that unconditionally panic

Status: Open.

#2926 In succinctlabs/sp1;

· 4waan opened on Aug 4, 2026

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

Status: Open.

#2922 In succinctlabs/sp1;

· pauldelucia opened on Aug 3, 2026

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

Status: Open.

#2883 In succinctlabs/sp1;

· marxin opened on Jul 15, 2026

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

Status: Open.

#2881 In succinctlabs/sp1;

· goodlyrottenapple opened on Jul 13, 2026

Incorrect RIPEMD-160 hash padding in zkvm_accelerators.h

Status: Open.

#2880 In succinctlabs/sp1;

· goodlyrottenapple opened on Jul 13, 2026

cargo prove toolchain commands can ignore non-zero child process exits

Status: Open.

#2856 In succinctlabs/sp1;

· Osraka opened on Jun 25, 2026

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

Status: Open.

#2844 In succinctlabs/sp1;

· Agentic-LLM-Latency-Optimizer opened on Jun 10, 2026

MockProver accepts the same mock proof for different expected exit statuses

Status: Open.

#2817 In succinctlabs/sp1;

· 1sgtpepper opened on May 25, 2026

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

Status: Open.

#2791 In succinctlabs/sp1;

· sam-iamm opened on May 14, 2026

pasta curve arithmetic precompile via arkworks

Status: Open.

#2761 In succinctlabs/sp1;

· martyall opened on Apr 28, 2026

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

Status: Open.

#2751 In succinctlabs/sp1;

· wtk58184603-sudo opened on Apr 25, 2026