Skip to content

Pull requests: starkware-libs/proving-utils

New pull request New
16 Open 198 Closed
16 Open 198 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

Make stwo_run_and_prove into a library crate
#283 opened Jan 19, 2026 by avi-starkware Loading…
refactor: use id_str instead of python in BOOTLOADER_READ_UNPACKER_BO…
#282 opened Jan 13, 2026 by naor-starkware Loading…
9 tasks
stwo: add znver4 compilation
#281 opened Jan 13, 2026 by noam-starkware Loading…
9 tasks
Add crate stwo_verify
#279 opened Jan 7, 2026 by avi-starkware Loading…
1
Eliminate pie deep copies in cairo program runner
#271 opened Dec 22, 2025 by ormarx-starkware Loading…
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! Type g p on any issue or pull request to go back to the pull request listing page.