Skip to content

Pull requests: starkware-libs/proving-utils

New pull request New
19 Open 234 Closed
19 Open 234 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

Change configs test
#322 opened Mar 16, 2026 by anatgstarkware Loading…
9 tasks
@anatgstarkware
Add proving_service based on stwo_run_and_prove.
#310 opened Feb 17, 2026 by ilyalesokhin-starkware Loading…
9 tasks
test
#304 opened Feb 12, 2026 by sobhe-Starkware Loading…
9 tasks
applicative bootloader: load aggregator program hash func hint
#298 opened Feb 8, 2026 by noam-starkware Loading…
9 tasks
applicative bootloader: load program hash func
#296 opened Feb 3, 2026 by noam-starkware Loading…
9 tasks
Bump cairo-vm to 3.1.0
#294 opened Jan 30, 2026 by Arcticae Loading…
2 of 9 tasks
refactor cairo hint usages from inline python code to hint identifiers
#292 opened Jan 27, 2026 by naor-starkware Loading…
9 tasks
stwo: version update
#290 opened Jan 27, 2026 by noam-starkware Loading…
9 tasks
allow_missing_builtins conflicts with proof_mode in cairo_run_program
#270 opened Dec 22, 2025 by nitsan-starkware Loading…
9 tasks
1
implementing applicative bl tests
#217 opened Sep 3, 2025 by Idanh-starkware • Draft
9 tasks
1
fixing and adding simple bl hints tests
#208 opened Aug 21, 2025 by Idanh-starkware Loading…
2 of 9 tasks
4
compiling cario code
#189 opened Aug 7, 2025 by efrat-starkware Loading…
9 tasks
1
Update deps for app testing
#186 opened Aug 6, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Sha2 finalization related changes
#174 opened Jul 22, 2025 by maciejka • Draft
update stwo-cairo to b732e08 for the mini mirror
#172 opened Jul 21, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Update cairo(a7bd5c9) and stwo-cairo(a7bd5c9)
#157 opened Jun 23, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Update stwo cairo to alonf fix
#155 opened Jun 14, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Update stwo-cairo to b24bcc0
#154 opened Jun 11, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Cairo Program Runner benchmarker script
#151 opened May 27, 2025 by Idanh-starkware Loading…
2 of 9 tasks
ProTip! Adding no:label will show everything without a label.