succinctlabs/sp1 issues and pull requests

#2034 - chore: expose bigint rug feature in sdk

Pull Request - State: open - Opened by yuwen01 2 days ago - 2 comments

#2033 - fix: replace default ProverOpts with auto()

Pull Request - State: open - Opened by umadayal 2 days ago

#2032 - remove `vergen` from `sp1-sdk`

Issue - State: open - Opened by ratankaliani 2 days ago
Labels: dependencies, next-release

#2031 - refactor(recursion): replace glob import with explicit imports

Pull Request - State: closed - Opened by VolodymyrBg 2 days ago

#2030 - Corrected typos

Pull Request - State: closed - Opened by MonkeyKing44 3 days ago

#2029 - Fixed typos

Pull Request - State: closed - Opened by petryshkaCODE 3 days ago

#2028 - Typos fix

Pull Request - State: closed - Opened by Hack666r 3 days ago

#2027 - feat: `elliptic-curves` p256/k256 integration, universal `Fp` ops hooks

Pull Request - State: open - Opened by nhtyy 3 days ago

#2026 - docs(ci): Workflow patch documentation

Pull Request - State: closed - Opened by ratankaliani 3 days ago

#2025 - docs: bug bounty

Pull Request - State: closed - Opened by rkm0959 3 days ago

#2024 - docs: adding an email list for critical updates

Pull Request - State: open - Opened by lsquaredleland 3 days ago

#2023 - docs: add note about slow initialization times for ProverClient

Pull Request - State: open - Opened by umadayal 3 days ago - 1 comment

#2022 - chore(deps): bump openssl from 0.10.69 to 0.10.70

Pull Request - State: open - Opened by dependabot[bot] 3 days ago
Labels: dependencies, rust

#2021 - SP1_PROVER=cuda fibonacci example not working on A100, T4 or RTX3090

Issue - State: open - Opened by eduadiez 3 days ago

#2020 - docs: `read_vec`

Pull Request - State: closed - Opened by ratankaliani 4 days ago

#2019 - Fix Formatting, Grammar, and Capitalization in Quickstart Documentation

Pull Request - State: closed - Opened by gap-editor 4 days ago

#2018 - Improve Clarity and Readability in Safe Precompile Usage Documentation

Pull Request - State: closed - Opened by gap-editor 4 days ago

#2017 - Fix Grammar and Improve Clarity in CI Usage Documentation

Pull Request - State: closed - Opened by gap-editor 4 days ago

#2016 - Improve Clarity and Readability in Advanced Proof Generation Documentation

Pull Request - State: closed - Opened by gap-editor 4 days ago

#2015 - Update common-issues.md

Pull Request - State: closed - Opened by gap-editor 4 days ago

#2014 - docs: add example command for GitHub token usage in sp1up

Pull Request - State: closed - Opened by VolodymyrBg 6 days ago

#2013 - perf(prover): initialize compress_programs with OnceLock

Pull Request - State: open - Opened by umadayal 6 days ago
Labels: perf

#2012 - Added email list for critical SP1 updates

Pull Request - State: closed - Opened by lsquaredleland 6 days ago

#2011 - chore: bump alloy deps

Pull Request - State: closed - Opened by ratankaliani 6 days ago - 1 comment

#2010 - feat: 4.0.2

Pull Request - State: open - Opened by nhtyy 6 days ago

#2009 - Update prover.rs by solving Issue #2005

Pull Request - State: open - Opened by irfand29 6 days ago

#2008 - feat(executor): Implement add_sharded_byte_lookup_events for Vec<ByteLookupEvent>

Pull Request - State: closed - Opened by VolodymyrBg 6 days ago

#2007 - fix: counts and small shape fixing

Pull Request - State: closed - Opened by tamirhemo 7 days ago

#2006 - Build failure on Windows

Issue - State: closed - Opened by rsinha 7 days ago - 1 comment

#2005 - Running prover without using Docker

Issue - State: closed - Opened by rsinha 7 days ago - 1 comment

#2004 - Update LICENSE-MIT

Pull Request - State: closed - Opened by maximevtush 8 days ago - 1 comment

#2003 - docs: solidity reccomended workflow note

Pull Request - State: open - Opened by nhtyy 8 days ago

#2002 - docs: Add memory argument to Proof System

Pull Request - State: open - Opened by flyingnobita 8 days ago - 1 comment

#2001 - circuit: Add verifying key correctness checks in SP1CompressVerifier

Pull Request - State: closed - Opened by VolodymyrBg 8 days ago - 1 comment

#2000 - perf(prover): powers of alpha

Pull Request - State: closed - Opened by umadayal 8 days ago

#1999 - Powers of alpha optimization

Pull Request - State: closed - Opened by umadayal 8 days ago

#1998 - fix: typo in prover network docs

Pull Request - State: closed - Opened by ctian1 8 days ago

#1997 - fix(ci): clippy + fmt

Pull Request - State: closed - Opened by nhtyy 9 days ago

#1996 - chore: fix lint and reorder impl members to match trait definition

Pull Request - State: closed - Opened by hoank101 9 days ago - 3 comments

#1995 - docs: fix typo

Pull Request - State: closed - Opened by rootulp 9 days ago - 1 comment

#1994 - err kalos.md

Pull Request - State: closed - Opened by petryshkaCODE 9 days ago

#1993 - Update LICENSE-MIT

Pull Request - State: closed - Opened by maximevtush 9 days ago

#1992 - fix(examples): check next validators hash in tendermint program

Pull Request - State: closed - Opened by nhtyy 10 days ago

#1991 - docs: improve precompile security docs

Pull Request - State: closed - Opened by rkm0959 10 days ago

#1990 - chore(readme): Add Discord support channel link

Pull Request - State: closed - Opened by vamsi4845 11 days ago

#1989 - Sigkill 9 when running the dockerized groth16 prover in a loop

Issue - State: closed - Opened by jonas089 11 days ago - 1 comment

#1988 - docs: add audit report for v4, fix typo

Pull Request - State: closed - Opened by rkm0959 11 days ago

#1987 - Example of recursive prover

Pull Request - State: open - Opened by PayneJoe 11 days ago

#1986 - chore: ignore generated by Intellij-based IDEs.

Pull Request - State: closed - Opened by hoank101 13 days ago - 1 comment

#1985 - chore(zkevm): reorder impl members to match trait definition

Pull Request - State: closed - Opened by hoank101 13 days ago - 1 comment

#1984 - docs: add GitHub token usage example in installation guide

Pull Request - State: closed - Opened by CreeptoGengar 13 days ago

#1983 - South henry

Pull Request - State: closed - Opened by VolodymyrBg 13 days ago

#1982 - fix(cli): elf name requires output directory

Pull Request - State: open - Opened by nhtyy 13 days ago

#1981 - test: check syscalls are actually emitted

Pull Request - State: closed - Opened by leruaa 14 days ago - 1 comment

#1980 - feat(sdk): Turn off `alloy-*` crate features by default

Pull Request - State: closed - Opened by ratankaliani 14 days ago

#1979 - `--elf-name` is ignored when `--output-directory` is missing

Issue - State: open - Opened by srdtrk 14 days ago

#1978 - fix: Write diagnostics to stderr (vs stdout)

Pull Request - State: closed - Opened by imikushin 14 days ago - 4 comments

#1977 - fix(sdk): retry network request proof

Pull Request - State: closed - Opened by mattstam 14 days ago

#1976 - feat: don't checkout submodules when doing `cargo prove new --evm`

Pull Request - State: closed - Opened by leruaa 14 days ago

#1975 - feat(docker-build): pass additional workspace directory

Pull Request - State: closed - Opened by MdTeach 15 days ago - 1 comment

#1974 - feat: estimate prover gas while executing

Pull Request - State: open - Opened by tqn 15 days ago

#1973 - fix: deferred checkpoints optimization

Pull Request - State: closed - Opened by ctian1 15 days ago

#1972 - perf: rm vec allocs from words conversions

Pull Request - State: closed - Opened by mattsse 15 days ago - 1 comment

#1971 - feat(sdk): proof timeout fix

Pull Request - State: closed - Opened by ratankaliani 15 days ago

#1970 - chore: rm redundant to_vec

Pull Request - State: closed - Opened by mattsse 15 days ago

#1969 - chore(clippy): misc clippy fixes

Pull Request - State: closed - Opened by mattsse 15 days ago

#1968 - chore: include rustc --version stderr in panic

Pull Request - State: closed - Opened by mattsse 15 days ago

#1967 - fix: use downloadable go directive 1.22.0

Pull Request - State: closed - Opened by mattsse 15 days ago

#1966 - fix(ci): fix big int version to avoid msrv

Pull Request - State: closed - Opened by nhtyy 15 days ago

#1965 - fix(ci): correct cache usage for book

Pull Request - State: closed - Opened by nhtyy 15 days ago

#1964 - feat: display the correct proof type in SP1ProofWithPublicValues::bytes()

Pull Request - State: closed - Opened by leruaa 15 days ago

#1963 - fix(sdk): implemented verify for EnvProver

Pull Request - State: closed - Opened by srdtrk 16 days ago - 1 comment

#1962 - EnvProver's mock verifier panics

Issue - State: closed - Opened by srdtrk 16 days ago

#1961 - fix(sdk): remove core mode

Pull Request - State: closed - Opened by mattstam 16 days ago

#1960 - fix(book): commit yarn lock file

Pull Request - State: closed - Opened by nhtyy 16 days ago

#1959 - chore: fix incorrect binary name

Pull Request - State: closed - Opened by defitricks 16 days ago - 1 comment

#1958 - chore: update book on memory argument

Pull Request - State: closed - Opened by rkm0959 16 days ago

#1957 - chore: remove redundant .run() call in prove method

Pull Request - State: closed - Opened by mdqst 16 days ago - 1 comment