Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / starkware-libs/stwo-cairo issues and pull requests
#97 - Generalize field in CirclePoint
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#97 - Generalize field in CirclePoint
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#96 - Add line folding
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#96 - Add line folding
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#95 - Fri+pcs
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#95 - Fri+pcs
Pull Request -
State: closed - Opened by atgrosso about 2 months ago
#94 - Added proof serialization to adapted-Stwo
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
- 1 comment
#94 - Added proof serialization to adapted-Stwo
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
- 1 comment
#93 - Changed prove_cairo to return Result (instead of panic)
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
- 1 comment
#92 - Aligned all crate dependency versions with workspace
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
- 1 comment
#92 - Aligned all crate dependency versions with workspace
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
- 1 comment
#91 - Added vm-runner, wrapping cairo-vm and Stwo-adapter
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
#91 - Added vm-runner, wrapping cairo-vm and Stwo-adapter
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
#90 - generalize field in CirclePoint
Pull Request -
State: closed - Opened by carlogf about 2 months ago
#90 - generalize field in CirclePoint
Pull Request -
State: closed - Opened by carlogf about 2 months ago
#89 - Add line folding
Pull Request -
State: closed - Opened by ajgara about 2 months ago
#89 - Add line folding
Pull Request -
State: closed - Opened by ajgara about 2 months ago
#88 - Added adapted Stwo
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
#88 - Added adapted Stwo
Pull Request -
State: closed - Opened by yuvalsw about 2 months ago
#87 - Update stwo cairo.
Pull Request -
State: closed - Opened by alonh5 about 2 months ago
- 1 comment
#87 - Update stwo cairo.
Pull Request -
State: closed - Opened by alonh5 about 2 months ago
- 1 comment
#86 - Compute FRI quotients
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#86 - Compute FRI quotients
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#85 - Add formatting to scarb.toml
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#85 - Add formatting to scarb.toml
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#84 - Update to latest Cairo version
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#84 - Update to latest Cairo version
Pull Request -
State: closed - Opened by andrewmilson 2 months ago
- 1 comment
#83 - the stwo cairo verifier is supposed to be proven with Stwo or Stone ? (or both) ?
Issue -
State: open - Opened by feltroidprime 2 months ago
#83 - the stwo cairo verifier is supposed to be proven with Stwo or Stone ? (or both) ?
Issue -
State: open - Opened by feltroidprime 2 months ago
#82 - Test small cairo input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#82 - Test small cairo input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#81 - Add small cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#81 - Add small cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#80 - Add small cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
#80 - Add small cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
#79 - Alonh/add small cairo input
Pull Request -
State: closed - Opened by alonh5 2 months ago
#79 - Alonh/add small cairo input
Pull Request -
State: closed - Opened by alonh5 2 months ago
#78 - Add small full cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 1 comment
#78 - Add small full cairo air input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 1 comment
#77 - Rename test cairo input directory.
Pull Request -
State: closed - Opened by alonh5 2 months ago
#77 - Rename test cairo input directory.
Pull Request -
State: closed - Opened by alonh5 2 months ago
#76 - cairo-verifier: some optimisations
Pull Request -
State: open - Opened by feltroidprime 2 months ago
- 1 comment
#76 - cairo-verifier: some optimisations
Pull Request -
State: open - Opened by feltroidprime 2 months ago
- 1 comment
#75 - Add smaller full cairo input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 1 comment
#75 - Add smaller full cairo input.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 1 comment
#74 - Add last 2 bit value constraint.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#74 - Add last 2 bit value constraint.
Pull Request -
State: closed - Opened by alonh5 2 months ago
- 2 comments
#73 - Add BATCH_SIZE to memory logups.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#73 - Add BATCH_SIZE to memory logups.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#72 - Decouple RC unit batch size from repetitions.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#72 - Decouple RC unit batch size from repetitions.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#71 - Small changes in ret component.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#71 - Small changes in ret component.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#70 - Add range check builtin to cairo air.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#70 - Add range check builtin to cairo air.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#69 - add_ap
Pull Request -
State: closed - Opened by ohad-starkware 3 months ago
- 1 comment
#69 - add_ap
Pull Request -
State: closed - Opened by ohad-starkware 3 months ago
- 1 comment
#68 - Add circle domain
Pull Request -
State: closed - Opened by ajgara 3 months ago
#68 - Add circle domain
Pull Request -
State: closed - Opened by ajgara 3 months ago
#67 - Added range check to memory.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#67 - Added range check to memory.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#66 - update stwo
Pull Request -
State: closed - Opened by ohad-starkware 3 months ago
- 1 comment
#66 - update stwo
Pull Request -
State: closed - Opened by ohad-starkware 3 months ago
- 1 comment
#65 - Rename file.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 1 comment
#65 - Rename file.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 1 comment
#64 - Adjust range check builtin.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 1 comment
#64 - Adjust range check builtin.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 1 comment
#63 - Added repetitions to range check unit.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#63 - Added repetitions to range check unit.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#62 - Move split to utils file.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#62 - Move split to utils file.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#61 - Derive Debug for CairoInput.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#61 - Derive Debug for CairoInput.
Pull Request -
State: closed - Opened by alonh5 3 months ago
- 2 comments
#60 - Add public memory to sum
Pull Request -
State: closed - Opened by spapinistarkware 3 months ago
- 2 comments
#60 - Add public memory to sum
Pull Request -
State: closed - Opened by spapinistarkware 3 months ago
- 2 comments
#59 - Switched RC unit to eval framework.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#59 - Switched RC unit to eval framework.
Pull Request -
State: closed - Opened by Alon-Ti 3 months ago
- 1 comment
#58 - E2E call ret
Pull Request -
State: closed - Opened by spapinistarkware 3 months ago
- 2 comments
#58 - E2E call ret
Pull Request -
State: closed - Opened by spapinistarkware 3 months ago
- 2 comments
#30 - Create CairoAir.
Pull Request -
State: closed - Opened by alonh5 4 months ago
- 1 comment
#30 - Create CairoAir.
Pull Request -
State: closed - Opened by alonh5 4 months ago
- 1 comment
#26 - Add LinePoly
Pull Request -
State: closed - Opened by ajgara 4 months ago
- 1 comment
#26 - Add LinePoly
Pull Request -
State: closed - Opened by ajgara 4 months ago
- 1 comment
#15 - Memory component draft
Pull Request -
State: open - Opened by shaharsamocha7 4 months ago
- 1 comment
#15 - Memory component draft
Pull Request -
State: open - Opened by shaharsamocha7 4 months ago
- 1 comment
#10 - Fri verifier
Pull Request -
State: closed - Opened by ajgara 5 months ago
- 1 comment
#10 - Fri verifier
Pull Request -
State: closed - Opened by ajgara 5 months ago
- 1 comment