-
Notifications
You must be signed in to change notification settings - Fork 61
Pull requests: starkware-libs/stwo-cairo
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add fold_step field to FRI config and layer verifier structs
#1729
opened Apr 5, 2026 by
leo-starkware
•
Draft
Compute max_domain_size from actual trace sizes instead of using the hardcoded MAX_CANONICAL_COSET_LOG_SIZE
#1726
opened Apr 5, 2026 by
ilyalesokhin-starkware
Loading…
remove the program from PublicMemory when program_in_ppt=true
#1725
opened Apr 4, 2026 by
ohad-nir-starkware
Loading…
Ohadn/verify program builtin without extra component
#1724
opened Apr 1, 2026 by
ohad-nir-starkware
Loading…
deploy the verify_program builtin and pad the program segment
#1719
opened Mar 30, 2026 by
ohad-nir-starkware
Loading…
refactor: decoupling ci into multiple workflows
#1714
opened Mar 26, 2026 by
idan-starkware
Loading…
pad the ppt program columns to allow lengths that arent powers of 2
#1712
opened Mar 24, 2026 by
ohad-nir-starkware
•
Draft
pad the ppt program columns to allow lengths that arent powers of 2
#1711
opened Mar 24, 2026 by
ohad-nir-starkware
•
Draft
Remove input_to_row from verify_bitwise_xor_* components.
#1691
opened Mar 8, 2026 by
ilyalesokhin-starkware
Loading…
have the adapter get the program_segment from CairoRunner and add it to ProverInput
#1670
opened Feb 26, 2026 by
ohad-nir-starkware
•
Draft
fix(adapter): derive PublicSegmentContext from program builtins
#1666
opened Feb 24, 2026 by
feltroidprime
Loading…
1 of 3 tasks
Previous Next
ProTip!
Follow long discussions with comments:>50.