Skip to content

Apply fork patches v0.14.2 - #89

Closed
TomerStarkware wants to merge 3123 commits into
mainfrom
apply-fork-patches-v0.14.2
Closed

Apply fork patches v0.14.2#89
TomerStarkware wants to merge 3123 commits into
mainfrom
apply-fork-patches-v0.14.2

Conversation

@TomerStarkware

Copy link
Copy Markdown
Collaborator

No description provided.

ArniStarkware and others added 30 commits February 11, 2026 10:03
This file was originally deleted in PR starkware-libs#12153 (ea4a5b3) when the
proving service switched from Axum HTTP to JSON-RPC via jsonrpsee.

It was accidentally restored when commit 3da0f4d ("update axum to
0.8") was merged. That branch predated starkware-libs#12153 and modified
http_server.rs for the axum 0.8 API change. The merge picked the
"modified" side over the "deleted" side, resurrecting the file.

The file is completely dead code: nothing references its module, and
axum isn't even in the crate's dependencies.

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
…service (starkware-libs#12484)

Add two layers of protection against OOM crashes under rapid requests:
- Method-level semaphore (max_concurrent_requests, default 1) that returns
  JSON-RPC error -32005 when a prove request is already in flight.
- Transport-level max_connections (default 10) via jsonrpsee ServerConfig
  as a coarse safety net against connection floods.

Both are configurable via config file and CLI flags.

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
* deployment: wrap cdk8s requirements in docker container

* deployment: update docs
…bs#12335)

* deployment: wrap cdk8s requirements in docker container

* deployment: update docs
… pointer (starkware-libs#12528)

Co-authored-by: Dafna Matsry <dafna.matsry@starkware.co>
ayeletstarkware and others added 27 commits February 24, 2026 14:54
…y compilers (starkware-libs#12853)

Legacy contracts (LegacyTestContract v2.1.0, CairoStepsTestContract v2.7.0)
fail to compile with the new map-based allowed_libfuncs.json format. Add
allowed_libfuncs_legacy_json_path() that generates an old-format compat file
(array of strings) and route legacy contracts to it.

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
…rkware-libs#12767)

* deployment: add graphite ci-optimizations

* deployment: add graphite ci-optimizations to blockifier-ci (starkware-libs#12769)

* deployment: add graphite ci-optimizations to blockifier-ci

* deployment: add graphite ci-optimizations for blockifier_compiled_cairo (starkware-libs#12770)

* deployment: add graphite ci-optimizations

* deployment: add graphite ci-optimizations for blockifier_reexecution_ci (starkware-libs#12771)

* deployment: add graphite ci-optimizations

* deployment: add graphite ci-optimizations for committer_and_os_cli_push (starkware-libs#12772)

* deployment: add graphite ci-optimizations

* deployment: apply bug bot fix suggestion

* deployment: add graphite ci-optimizations

* deployment: apply bug bot fix suggestion

* deployment: apply bug bot fix suggestion

* deployment: add graphite ci-optimizations for upload_artifacts_workflow

* deployment: pin graphite action version

* deployment: add graphite ci-optimizations

* deployment: add graphite ci-optimizations

* deployment: apply bug bot fix suggestion

* deployment: extend anvil wait on ready timeout

* deployment: add graphite ci-optimizations
…n_ci (starkware-libs#12893)

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_compiled_cairo

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_reexecution_ci
…are-libs#12894)

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_compiled_cairo

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_reexecution_ci

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_ci
…re-libs#12895)

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_compiled_cairo

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_reexecution_ci

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_ci

* deployment: Use ubuntu-24.04 for optimize_ci in committer_ci
…push (starkware-libs#12896)

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_compiled_cairo

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_reexecution_ci

* deployment: Use ubuntu-24.04 for optimize_ci in blockifier_ci

* deployment: Use ubuntu-24.04 for optimize_ci in committer_ci

* deployment: Use ubuntu-24.04 for optimize_ci in committer_and_os_cli_push
…allbacks (starkware-libs#12708)

Gate the proving and server modules behind the new `stwo_proving` Cargo
feature so the crate compiles on stable Rust without pulling in
nightly-only
stwo dependencies.

Changes:
- Add `stwo_proving` feature in Cargo.toml with optional deps
  (cairo-program-runner-lib, stwo_run_and_prove_lib).
- cfg-gate `proving` and `server` modules in lib.rs.
- Provide a fallback main() that exits with a message when
  stwo_proving is not enabled.
- Gate ProvingError::ProverExecution and related server error
  handling behind the feature.
- Gate proving imports and call sites in virtual_snos_prover.rs.
- cfg-gate RpcRunner, RpcRunnerFactory, VirtualSnosRunner trait,
  and related test utilities that are only used from the gated
  proving module.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.