Skip to content

Pull requests: starkware-libs/stwo-circuits

New pull request New
39 Open 597 Closed
39 Open 597 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

cairo_verifier: Pass program output as a Blake2s hash
#636 opened Jul 8, 2026 by ilyalesokhin-starkware Contributor • Draft
2
Bump stwo-cairo.
#635 opened Jul 8, 2026 by ilyalesokhin-starkware Contributor • Draft
2
Use circuit hash instead of pp_root to uniquely identify the circuit
#634 opened Jul 8, 2026 by ilyalesokhin-starkware Contributor Loading…
2
refactor(cairo_verifier): store outputs as individual M31 vars
#632 opened Jul 8, 2026 by ilyalesokhin-starkware Contributor Loading…
3
Bump stwo-cairo to d2fdfe81.
#630 opened Jul 8, 2026 by ilyalesokhin-starkware Contributor Loading…
3
test(multiverifier): add backward compatibility test
#627 opened Jul 7, 2026 by ilyalesokhin-starkware Contributor Loading…
3
refactor(multiverifier): move shared test fixtures to test_utils
#626 opened Jul 7, 2026 by ilyalesokhin-starkware Contributor Loading…
3
Add tests for find_max_consecutive unwrap case
#625 opened Jul 7, 2026 by yuvalsw Collaborator Loading…
2
Merge crates.io publishing line (v0.14.3-rust-bump) into main
#616 opened Jun 29, 2026 by gilbens-starkware Contributor Loading…
2
feat(unpacker): add Merkle commitment unpacker circuit
#612 opened Jun 28, 2026 by ilyalesokhin-starkware Contributor Loading…
3
Replace manual qm31_ops in the circuit verifier with AIR-generated
#607 opened Jun 25, 2026 by dancarmoz Collaborator Loading…
4
finalize_constants: Feed all M31 limbs into find_max_consecutive
#604 opened Jun 24, 2026 by ilyalesokhin-starkware Contributor Loading…
5
Move the assertion on reserved vars to finalize.
#575 opened Jun 21, 2026 by leo-starkware Contributor Loading…
2
Sort circuit components by size and skip query sorting in the verifier
#565 opened Jun 14, 2026 by ilyalesokhin-starkware Contributor Loading…
10
update instance type to 2xl
#561 opened Jun 11, 2026 by sobhe-Starkware Loading…
2
Document OODS soundness security in verify()
#549 opened Jun 4, 2026 by gilbens-starkware Contributor Loading…
4
Use IndexMap for shifted relation uses.
#536 opened Jun 4, 2026 by leo-starkware Contributor • Draft
2
Small fixes in sort_queries.rs.
#523 opened Jun 2, 2026 by leo-starkware Contributor Loading…
3
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
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 Contributor Loading…
1
ProTip! Updated in the last three days: updated:>2026-07-05.