Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement trailing zeros #19

Draft
wants to merge 27 commits into
base: 10-14-add_pcs_verifier
Choose a base branch
from
Draft

Implement trailing zeros #19

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
ac127d5
disable lfs tests & fetch (#126)
ohad-starkware Oct 15, 2024
c3dcadf
Update to latest Cairo version (#112)
andrewmilson Oct 20, 2024
733e01e
Add formatting to scarb.toml (#113)
andrewmilson Oct 20, 2024
8095ddb
Refactor Coset with CirclePointIndex (#114)
andrewmilson Oct 20, 2024
3948dca
Refactor FRI implementation (#115)
andrewmilson Oct 20, 2024
8f2bf7f
Add unreduced field arithmetic (#116)
andrewmilson Oct 20, 2024
c609d09
Add CanonicCoset (#117)
andrewmilson Oct 20, 2024
ecdb398
Compute FRI quotients (#118)
andrewmilson Oct 20, 2024
15763bd
Added logs for checkpoints in VM-runner (#108)
yuvalsw Oct 21, 2024
7b3e7bf
Added logs for checkpoints in adapted-stwo (#109)
yuvalsw Oct 22, 2024
0e898e0
update stwo (#131)
ohad-starkware Oct 27, 2024
c324aa1
Added log for instruction counts in stwo-adapted-prover (#110)
yuvalsw Oct 28, 2024
fb0b2ca
expanded enumerate (#124)
ohad-starkware Oct 29, 2024
1d36dc7
rangecheck vector trace, interaction and constraints (#125)
ohad-starkware Oct 29, 2024
7429435
Remove U64 from memory (#128)
shaharsamocha7 Oct 29, 2024
b9db20e
Move memory id to value AIR (#129)
shaharsamocha7 Oct 29, 2024
19e6843
Memory addr to id component (#130)
shaharsamocha7 Oct 29, 2024
ddc4fa8
AddrToId component in Cairo AIR (#136)
shaharsamocha7 Oct 29, 2024
51b71f7
Memory prover change multiplicies to u32 vec (#143)
shaharsamocha7 Oct 30, 2024
9dfa127
rangecheck vector in memory (#144)
ohad-starkware Oct 30, 2024
fe197ff
auto expand rangecheck evals (#145)
ohad-starkware Oct 30, 2024
194e411
packed types (#142)
ohad-starkware Oct 30, 2024
bea5002
renamed component structures (#146)
ohad-starkware Oct 31, 2024
c1f718f
rangecheck macro adjustments (#147)
ohad-starkware Oct 31, 2024
637377f
Range check memory values in id_to_f252 trace generator (#148)
shaharsamocha7 Oct 31, 2024
b1f157d
Add PCS verifier
atgrosso Oct 31, 2024
74dea4f
Implement trailing zeros
atgrosso Oct 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/cairo-ci.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ jobs:
- uses: actions/checkout@v3
- uses: software-mansion/setup-scarb@v1
with:
scarb-version: "nightly-2024-06-01"
scarb-version: "nightly-2024-08-31"
- run: scarb fmt --check
- run: scarb test

Expand All @@ -38,7 +38,7 @@ jobs:
steps:
- uses: actions/checkout@v3
with:
lfs: true
lfs: false
- uses: dtolnay/rust-toolchain@master
with:
components: rustfmt
Expand Down
9 changes: 0 additions & 9 deletions stwo_cairo_prover/.gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +0,0 @@
crates/prover/test_data/large_cairo_input/fact.json filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/large_cairo_input/mem filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/large_cairo_input/priv.json filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/large_cairo_input/pub.json filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/large_cairo_input/trace filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/small_cairo_input/mem filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/small_cairo_input/priv.json filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/small_cairo_input/pub.json filter=lfs diff=lfs merge=lfs -text
crates/prover/test_data/small_cairo_input/trace filter=lfs diff=lfs merge=lfs -text
Loading