All pull requests

Pull requests

• pin GitHub Actions to commit SHA

  #1851·sobhe-Starkware opened Jul 22, 2026·

  ·
  1

• Merge crates.io publishing line (v0.14.3-rust-bump) into main

  #1816·gilbens-starkware opened Jun 29, 2026Contributor·

  ·
  1

• Add stwo-cairo-dev-utils to the crates.io publish list

  #1815·gilbens-starkware opened Jun 28, 2026Contributor·

  ·
  1

• fix(verifier): bind expected preprocessed roots

  #1794·1sgtpepper opened Jun 16, 2026·

  ·
  1

  2

• Refactor FlatClaim.

  #1779·ilyalesokhin-starkware opened May 31, 2026Collaborator·

  ·
  1

• Add all_components to cairo-air

  #1773·anatgstarkware opened May 25, 2026Contributor·

  ·
  3

  

• Support lifting_log_size=Some() in Cairo1 Verifier

  #1759·Gali-StarkWare opened May 5, 2026Contributor·

  ·
  9

  

• Split before packing in gen_single_big_memory_trace

  #1753·ilyalesokhin-starkware opened May 3, 2026Collaborator·

  ·
  1

• compute program_segment in the adapter and add it to ProverInput (#1671)

  #1740·ohad-nir-starkware opened Apr 9, 2026Contributor·

  ·
  1

• pad the ppt program columns to allow lengths that arent powers of 2

  #1736·ohad-nir-starkware opened Apr 7, 2026Contributor·

  ·
  4

  

• remove the program from PublicMemory when program_in_ppt=true

  #1725·ohad-nir-starkware opened Apr 4, 2026Contributor·

  ·
  3

  

• Ohadn/verify program builtin without extra component

  #1724·ohad-nir-starkware opened Apr 1, 2026Contributor·

  ·
  7

  

• deploy the verify_program builtin and pad the program segment

  #1719·ohad-nir-starkware opened Mar 30, 2026Contributor·

  ·
  7

  

• refactor: decoupling ci into multiple workflows

  #1714·idan-starkware opened Mar 26, 2026Contributor·

  ·
  4

• pad the ppt program columns to allow lengths that arent powers of 2

  #1712·ohad-nir-starkware opened Mar 24, 2026Contributor·

  ·
  3

  

• pad the ppt program columns to allow lengths that arent powers of 2

  #1711·ohad-nir-starkware opened Mar 24, 2026Contributor·

  ·
  4

  

• Ohadn/remove program segment from proof

  #1707·ohad-nir-starkware opened Mar 22, 2026Contributor·

  ·
  2

  

• chore: enable caching features

  #1704·idan-starkware opened Mar 22, 2026Contributor·

  ·
  3

  

• Ohadn/verify program builtin deployment

  #1702·ohad-nir-starkware opened Mar 19, 2026Contributor·

  ·
  2

  

• Don't Panic in Preprocessed Root Generation

  #1699·Gali-StarkWare opened Mar 16, 2026Contributor·

  ·
  1

  

• bump stwo

  #1694·noam-starkware opened Mar 11, 2026Contributor·

  ·

• Remove input_to_row from verify_bitwise_xor_* components.

  #1691·ilyalesokhin-starkware opened Mar 8, 2026Collaborator·

  ·

• try changing seq+1 to seq

  #1684·ohad-nir-starkware opened Mar 3, 2026Contributor·

  ·
  

• Ohadn/program segment as ppt with autogen

  #1682·ohad-nir-starkware opened Mar 3, 2026Contributor·

  ·
  

• Remove default feature.

  #1680·gilbens-starkware opened Mar 3, 2026Contributor·

  ·