-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: starkware-libs/stwo-circuits
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
circuits: Keccak-f1600 and keccak256 with no new AIR component
#673
opened Jul 30, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
refactor(circuit_common): bound seq_of_component_size by MAX_SEQUENCE_LOG_SIZE
#672
opened Jul 23, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
test(stark_verifier): cover QuerySorter::verify_sorted_keys
#646
opened Jul 13, 2026 by
yuvalsw
Collaborator
Loading…
Add tests for find_max_consecutive unwrap case
#625
opened Jul 7, 2026 by
yuvalsw
Collaborator
Loading…
Merge crates.io publishing line (v0.14.3-rust-bump) into main
#616
opened Jun 29, 2026 by
gilbens-starkware
Contributor
Loading…
feat(unpacker): add Merkle commitment unpacker circuit
#612
opened Jun 28, 2026 by
ilyalesokhin-starkware
Contributor
•
Draft
Replace manual qm31_ops in the circuit verifier with AIR-generated
#607
opened Jun 25, 2026 by
dancarmoz
Collaborator
Loading…
finalize_constants: Feed all M31 limbs into find_max_consecutive
#604
opened Jun 24, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
Move the assertion on reserved vars to finalize.
#575
opened Jun 21, 2026 by
leo-starkware
Contributor
Loading…
Document OODS soundness security in verify()
#549
opened Jun 4, 2026 by
gilbens-starkware
Contributor
Loading…
Use IndexMap for shifted relation uses.
#536
opened Jun 4, 2026 by
leo-starkware
Contributor
•
Draft
Change order of negation and inversion.
#519
opened Jun 2, 2026 by
leo-starkware
Contributor
Loading…
Take public logup sum into account in check_relation_uses
#457
opened Apr 15, 2026 by
az-starkware
Collaborator
Loading…
Move seq_of_component_size into ComponentDataTrait
#450
opened Apr 12, 2026 by
noa-starkware
Contributor
•
Draft
Verify All Builtins Acorrding to Whether They are Supported or Not
#430
opened Mar 26, 2026 by
Gali-StarkWare
Contributor
•
Draft
Bump stwo-cairo dependency to 04a5a682
#427
opened Mar 25, 2026 by
gilbens-starkware
Contributor
Loading…
Add BlakeGGate AIR component with full prove+verify
#421
opened Mar 24, 2026 by
alon-f
Contributor
Loading…
4 tasks done
Replace guessed+hashed constants with gate-constructed constants
#415
opened Mar 23, 2026 by
alon-f
Contributor
Loading…
4 of 6 tasks
Add TripleXor AIR component with full prove+verify
#396
opened Mar 22, 2026 by
alon-f
Contributor
Loading…
4 tasks done
Add M31ToU32 AIR component with full prove+verify
#363
opened Mar 18, 2026 by
alon-f
Contributor
Loading…
3 tasks done
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.