Skip to content

Pull requests: starkware-libs/stwo-circuits

New pull request New
39 Open 514 Closed
39 Open 514 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Assert non-zero in div() and document call sites
#553 opened Jun 4, 2026 by gilbens-starkware Collaborator Loading…
2 tasks
2
Document OODS soundness security in verify()
#549 opened Jun 4, 2026 by gilbens-starkware Collaborator Loading…
3
Replace izip! with zip_eq in verifier component iteration
#542 opened Jun 4, 2026 by ilyalesokhin-starkware Contributor Loading…
2
Rename and document fixed preprocessed columns helper
#537 opened Jun 4, 2026 by ilyalesokhin-starkware Contributor Loading…
2
Use IndexMap for shifted relation uses.
#536 opened Jun 4, 2026 by leo-starkware Contributor • Draft
2
Assert pack_values length is a multiple of N_LANES
#532 opened Jun 4, 2026 by ilyalesokhin-starkware Contributor Loading…
2
Small fixes in sort_queries.rs.
#523 opened Jun 2, 2026 by leo-starkware Contributor Loading…
3
Add Statement::sorting_required to control query column sorting
#522 opened Jun 2, 2026 by ilyalesokhin-starkware Contributor Loading…
2
Rename twiddles_at_fold
#521 opened Jun 2, 2026 by leo-starkware Contributor Loading…
3
Add sub_points_simd
#520 opened Jun 2, 2026 by leo-starkware Contributor Loading…
3
Change order of negation and inversion.
#519 opened Jun 2, 2026 by leo-starkware Contributor Loading…
3
Don't add inputs to callees from padding rows
#517 opened Jun 2, 2026 by az-starkware Collaborator Loading…
2
Optimization for constant computation using more caching
#516 opened Jun 1, 2026 by dancarmoz Collaborator Loading…
8
Refactor the repeated "swap or new" logic into a helper function.
#515 opened Jun 1, 2026 by dancarmoz Collaborator Loading…
1
Refactor padding functionality.
#509 opened May 28, 2026 by leo-starkware Contributor Loading…
8
Rename and flatten PublicMemory.
#508 opened May 28, 2026 by ilyalesokhin-starkware Contributor Loading…
5
Add tests of multiverifier that verifies itself.
#507 opened May 27, 2026 by leo-starkware Contributor Loading…
3
Test multiverifier of two cairo proofs.
#506 opened May 27, 2026 by leo-starkware Contributor Loading…
3
Test multiverifier padding.
#505 opened May 27, 2026 by leo-starkware Contributor Loading…
5
Add test_utils.
#503 opened May 27, 2026 by leo-starkware Contributor Loading…
9
Use autogenerated constraints in circuit_prover/src/circuit_air
#491 opened May 11, 2026 by az-starkware Collaborator Loading…
3
Take public logup sum into account in check_relation_uses
#457 opened Apr 15, 2026 by az-starkware Collaborator Loading…
8
Move seq_of_component_size into ComponentDataTrait
#450 opened Apr 12, 2026 by noa-starkware Contributor • Draft
@noa-starkware
4
Verify All Builtins Acorrding to Whether They are Supported or Not
#430 opened Mar 26, 2026 by Gali-StarkWare Contributor • Draft
@Gali-StarkWare
5
Bump stwo-cairo dependency to 04a5a682
#427 opened Mar 25, 2026 by gilbens-starkware Collaborator Loading…
1
ProTip! Updated in the last three days: updated:>2026-06-03.