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
#153 - Add README for cairo verifier
Pull Request -
State: open - Opened by andrewmilson 10 days ago
- 1 comment
#152 - Add README to run verifier tests
Pull Request -
State: closed - Opened by andrewmilson 10 days ago
- 1 comment
#151 - Add PCS verifier
Pull Request -
State: open - Opened by atgrosso 15 days ago
#151 - Add PCS verifier
Pull Request -
State: open - Opened by atgrosso 15 days ago
#150 - add bool ops and change biguint supported types
Pull Request -
State: open - Opened by anatgstarkware 15 days ago
- 1 comment
#150 - add bool ops and change biguint supported types
Pull Request -
State: open - Opened by anatgstarkware 15 days ago
- 1 comment
#149 - made components implement our interfaces
Pull Request -
State: open - Opened by ohad-starkware 15 days ago
- 3 comments
#149 - made components implement our interfaces
Pull Request -
State: open - Opened by ohad-starkware 15 days ago
- 3 comments
#148 - Range check memory values in id_to_f252 trace generator
Pull Request -
State: closed - Opened by shaharsamocha7 15 days ago
- 1 comment
#148 - Range check memory values in id_to_f252 trace generator
Pull Request -
State: closed - Opened by shaharsamocha7 15 days ago
- 1 comment
#147 - rangecheck macro adjustments
Pull Request -
State: closed - Opened by ohad-starkware 16 days ago
- 2 comments
#147 - rangecheck macro adjustments
Pull Request -
State: closed - Opened by ohad-starkware 16 days ago
- 2 comments
#146 - renamed component structures
Pull Request -
State: closed - Opened by ohad-starkware 16 days ago
- 3 comments
#145 - auto expand rangecheck evals
Pull Request -
State: closed - Opened by ohad-starkware 17 days ago
- 3 comments
#145 - auto expand rangecheck evals
Pull Request -
State: closed - Opened by ohad-starkware 17 days ago
- 3 comments
#144 - rangecheck vector in memory
Pull Request -
State: closed - Opened by ohad-starkware 17 days ago
- 3 comments
#144 - rangecheck vector in memory
Pull Request -
State: closed - Opened by ohad-starkware 17 days ago
- 3 comments
#143 - Memory prover change multiplicies to u32 vec
Pull Request -
State: closed - Opened by shaharsamocha7 17 days ago
- 1 comment
#143 - Memory prover change multiplicies to u32 vec
Pull Request -
State: closed - Opened by shaharsamocha7 17 days ago
- 1 comment
#142 - packed types
Pull Request -
State: closed - Opened by ohad-starkware 17 days ago
- 1 comment
#141 - Add more proofs for testing
Pull Request -
State: open - Opened by andrewmilson 17 days ago
- 1 comment
#140 - felt252
Pull Request -
State: closed - Opened by ohad-starkware 18 days ago
- 1 comment
#140 - felt252
Pull Request -
State: closed - Opened by ohad-starkware 18 days ago
- 1 comment
#139 - pakcedcasmstate
Pull Request -
State: closed - Opened by ohad-starkware 18 days ago
- 1 comment
#139 - pakcedcasmstate
Pull Request -
State: closed - Opened by ohad-starkware 18 days ago
- 1 comment
#138 - Optimize polynomial folding
Pull Request -
State: open - Opened by andrewmilson 18 days ago
- 1 comment
#137 - Implement batch_inverse on M31,CM31
Pull Request -
State: open - Opened by andrewmilson 18 days ago
- 1 comment
#136 - AddrToId component in Cairo AIR
Pull Request -
State: closed - Opened by shaharsamocha7 19 days ago
- 2 comments
#136 - AddrToId component in Cairo AIR
Pull Request -
State: closed - Opened by shaharsamocha7 19 days ago
- 2 comments
#135 - Optimize Coset::at
Pull Request -
State: open - Opened by andrewmilson 22 days ago
- 3 comments
#134 - Refactor FriVerifier::decommit_inner_layers
Pull Request -
State: open - Opened by andrewmilson 22 days ago
- 1 comment
#133 - Optimize decommiting last FRI layer using univariate FFT
Pull Request -
State: open - Opened by andrewmilson 22 days ago
- 4 comments
#132 - bool, u16,u32 PACKed
Pull Request -
State: closed - Opened by ohad-starkware 24 days ago
- 1 comment
#132 - bool, u16,u32 PACKed
Pull Request -
State: closed - Opened by ohad-starkware 24 days ago
- 1 comment
#131 - update stwo
Pull Request -
State: closed - Opened by ohad-starkware 25 days ago
- 1 comment
#131 - update stwo
Pull Request -
State: closed - Opened by ohad-starkware 25 days ago
- 1 comment
#130 - Memory addr to id component
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 3 comments
#130 - Memory addr to id component
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 3 comments
#129 - Move memory id to value AIR
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 2 comments
#129 - Move memory id to value AIR
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 2 comments
#128 - Remove U64 from memory
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 2 comments
#128 - Remove U64 from memory
Pull Request -
State: closed - Opened by shaharsamocha7 26 days ago
- 2 comments
#127 - Add verifier
Pull Request -
State: open - Opened by andrewmilson 26 days ago
- 1 comment
#126 - disable lfs tests & fetch
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#126 - disable lfs tests & fetch
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#125 - rangecheck vector trace, interaction and constraints
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#125 - rangecheck vector trace, interaction and constraints
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#124 - expanded enumerate
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#124 - expanded enumerate
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#123 - Implement trailing zeros
Pull Request -
State: open - Opened by atgrosso about 1 month ago
#123 - Implement trailing zeros
Pull Request -
State: open - Opened by atgrosso about 1 month ago
#122 - Add pcs verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#122 - Add pcs verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#121 - Add pcs quotients ops
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#121 - Add pcs quotients ops
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#120 - Add auxiliar functions used on pcs verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#120 - Add auxiliar functions used on pcs verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#119 - vectorised rangecheck write trace
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#119 - vectorised rangecheck write trace
Pull Request -
State: closed - Opened by ohad-starkware about 1 month ago
- 1 comment
#118 - Compute FRI quotients
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#118 - Compute FRI quotients
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#117 - Add CanonicCoset
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#117 - Add CanonicCoset
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#116 - Add unreduced field arithmetic
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#116 - Add unreduced field arithmetic
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#115 - Refactor FRI implementation
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#115 - Refactor FRI implementation
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#114 - Refactor Coset with CirclePointIndex
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#114 - Refactor Coset with CirclePointIndex
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#113 - Add formatting to scarb.toml
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#113 - Add formatting to scarb.toml
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#112 - Update to latest Cairo version
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#112 - Update to latest Cairo version
Pull Request -
State: closed - Opened by andrewmilson about 1 month ago
- 1 comment
#111 - Renamed instructions to components in Adapter
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
#111 - Renamed instructions to components in Adapter
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
#110 - Added log for instruction counts in stwo-adapted-prover
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
- 1 comment
#110 - Added log for instruction counts in stwo-adapted-prover
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
- 1 comment
#109 - Added logs for checkpoints in adapted-stwo
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
- 1 comment
#109 - Added logs for checkpoints in adapted-stwo
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
- 1 comment
#108 - Added logs for checkpoints in VM-runner
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
#108 - Added logs for checkpoints in VM-runner
Pull Request -
State: closed - Opened by yuvalsw about 1 month ago
#107 - Add fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#107 - Add fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#106 - Implement debug and clone for merkle decommitment as needed for the fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#106 - Implement debug and clone for merkle decommitment as needed for the fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#105 - Add pow for qm31 as needed for the fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#105 - Add pow for qm31 as needed for the fri verifier
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#104 - Add qm31 constructor from u32
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#104 - Add qm31 constructor from u32
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#103 - Add fri queries
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#103 - Add fri queries
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#102 - Add array sorting iterator
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
#101 - Add SubCircleDomain and SparseSubCircleDomain
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#101 - Add SubCircleDomain and SparseSubCircleDomain
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#100 - Add circle evaluation
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#100 - Add circle evaluation
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#99 - Generalize field in Circlepoint
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#99 - Generalize field in Circlepoint
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 1 comment
#98 - Add line folding
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 4 comments
#98 - Add line folding
Pull Request -
State: closed - Opened by atgrosso about 1 month ago
- 4 comments