-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: starkware-libs/proving-utils
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Upload leaf_prover and recursive_tree arch binaries
#410
opened Jul 23, 2026 by
YairVaknin-starkware
Contributor
Loading…
feat(circuit_params): build the leaf circuit from a real program
#409
opened Jul 23, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
9 tasks
feat(leaf_prover): pad and validate the leaf circuit against the registry
#407
opened Jul 22, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
9 tasks
feat(leaf_prover): pad leaf circuit to fixed component sizes
#406
opened Jul 22, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
feat(circuit_params): add --registry JSON output
#399
opened Jul 20, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
Add the circuit-unpacking applicative bootloader's hints
#395
opened Jul 16, 2026 by
YairVaknin-starkware
Contributor
Loading…
Add the mock circuit verifier's input hint
#394
opened Jul 16, 2026 by
YairVaknin-starkware
Contributor
Loading…
Publish aggregator_program_hash_function as a hint scope variable
#393
opened Jul 16, 2026 by
YairVaknin-starkware
Contributor
Loading…
Carry each node's preprocessed root in PackedNode
#392
opened Jul 15, 2026 by
YairVaknin-starkware
Contributor
Loading…
Retarget the recursive-tree canonical circuit to the leaf bootloader
#391
opened Jul 15, 2026 by
YairVaknin-starkware
Contributor
Loading…
Add prove_leaf_from_files to the leaf prover
#390
opened Jul 15, 2026 by
YairVaknin-starkware
Contributor
Loading…
Add recursive-tree e2e goldens over the leaf bootloader
#388
opened Jul 13, 2026 by
YairVaknin-starkware
Contributor
Loading…
update commit in upload_artifacts_workflow
#382
opened Jul 5, 2026 by
noa-starkware
Loading…
9 tasks
Add multiverifier folding to the recursive tree prover
#381
opened Jul 2, 2026 by
YairVaknin-starkware
Contributor
Loading…
9 tasks
Add proving_service based on stwo_run_and_prove.
#310
opened Feb 17, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
9 tasks
applicative bootloader: load aggregator program hash func hint
#298
opened Feb 8, 2026 by
noam-starkware
Contributor
Loading…
9 tasks
applicative bootloader: load program hash func
#296
opened Feb 3, 2026 by
noam-starkware
Contributor
Loading…
9 tasks
refactor cairo hint usages from inline python code to hint identifiers
#292
opened Jan 27, 2026 by
naor-starkware
Contributor
Loading…
9 tasks
allow_missing_builtins conflicts with proof_mode in cairo_run_program
#270
opened Dec 22, 2025 by
nitsan-starkware
Contributor
Loading…
9 tasks
implementing applicative bl tests
#217
opened Sep 3, 2025 by
Idanh-starkware
Contributor
•
Draft
9 tasks
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.