-
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
Use actual log_trace_size for circuit-verifier
#401
opened Jul 20, 2026 by
OmriEshhar1
Contributor
Loading…
9 tasks
prove_leaf: assert raise_min_lifting_to_max_column=true
#400
opened Jul 20, 2026 by
OmriEshhar1
Contributor
Loading…
9 tasks
feat(circuit_params): add --format supporting info and json
#399
opened Jul 20, 2026 by
ilyalesokhin-starkware
Contributor
Loading…
feat(circuit_params): tool to report verifier circuit component sizes
#398
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
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.