Code

Implement trailing zeros#19

Code

Draft

atgrosso wants to merge 27 commits into10-14-add_pcs_verifieratgrosso/stwo-cairo:10-14-add_pcs_verifierfrom 10-14-todo_implement_trailing_zerosatgrosso/stwo-cairo:10-14-todo_implement_trailing_zerosCopy head branch name to clipboard

+5,729-1,297

Commits

Commits on Oct 15, 2024

• disable lfs tests & fetch (starkware-libs#126)

  ohad-starkware

  authored
  ac127d5

  Copy full SHA for ac127d5

Commits on Oct 20, 2024

• Update to latest Cairo version (starkware-libs#112)

  andrewmilson

  authored
  c3dcadf

  Copy full SHA for c3dcadf

• Add formatting to scarb.toml (starkware-libs#113)

  andrewmilson

  authored
  733e01e

  Copy full SHA for 733e01e

• Refactor Coset with CirclePointIndex (starkware-libs#114)

  andrewmilson

  authored
  8095ddb

  Copy full SHA for 8095ddb

• Refactor FRI implementation (starkware-libs#115)

  andrewmilson

  authored
  3948dca

  Copy full SHA for 3948dca

• Add unreduced field arithmetic (starkware-libs#116)

  andrewmilson

  authored
  8f2bf7f

  Copy full SHA for 8f2bf7f

• Add CanonicCoset (starkware-libs#117)

  andrewmilson

  authored
  c609d09

  Copy full SHA for c609d09

• Compute FRI quotients (starkware-libs#118)

  andrewmilson

  authored
  ecdb398

  Copy full SHA for ecdb398

Commits on Oct 21, 2024

• Added logs for checkpoints in VM-runner (starkware-libs#108)

  yuvalsw

  authored
  15763bd

  Copy full SHA for 15763bd

Commits on Oct 22, 2024

• Added logs for checkpoints in adapted-stwo (starkware-libs#109)

  yuvalsw

  authored
  7b3e7bf

  Copy full SHA for 7b3e7bf

Commits on Oct 27, 2024

• update stwo (starkware-libs#131)

  ohad-starkware

  authored
  0e898e0

  Copy full SHA for 0e898e0

Commits on Oct 28, 2024

• Added log for instruction counts in stwo-adapted-prover (starkware-libs#110)

  yuvalsw

  authored
  c324aa1

  Copy full SHA for c324aa1

Commits on Oct 29, 2024

• expanded enumerate (starkware-libs#124)

  ohad-starkware

  authored
  fb0b2ca

  Copy full SHA for fb0b2ca

• rangecheck vector trace, interaction and constraints (starkware-libs#125)

  ohad-starkware

  authored
  1d36dc7

  Copy full SHA for 1d36dc7

• Remove U64 from memory (starkware-libs#128)

  Show description for 7429435
  shaharsamocha7

  authored
  7429435

  Copy full SHA for 7429435

• Move memory id to value AIR (starkware-libs#129)

  Show description for b9db20e
  shaharsamocha7

  authored
  b9db20e

  Copy full SHA for b9db20e

• Memory addr to id component (starkware-libs#130)

  Show description for 19e6843
  shaharsamocha7

  authored
  19e6843

  Copy full SHA for 19e6843

• AddrToId component in Cairo AIR (starkware-libs#136)

  Show description for ddc4fa8
  shaharsamocha7

  authored
  ddc4fa8

  Copy full SHA for ddc4fa8

Commits on Oct 30, 2024

• Memory prover change multiplicies to u32 vec (starkware-libs#143)

  Show description for 51b71f7
  shaharsamocha7

  authored
  51b71f7

  Copy full SHA for 51b71f7

• rangecheck vector in memory (starkware-libs#144)

  Show description for 9dfa127
  ohad-starkware

  authored
  9dfa127

  Copy full SHA for 9dfa127

• auto expand rangecheck evals (starkware-libs#145)

  Show description for fe197ff
  ohad-starkware

  authored
  fe197ff

  Copy full SHA for fe197ff

• packed types (starkware-libs#142)

  ohad-starkware

  authored
  194e411

  Copy full SHA for 194e411

Commits on Oct 31, 2024

• renamed component structures (starkware-libs#146)

  Show description for bea5002
  ohad-starkware

  authored
  bea5002

  Copy full SHA for bea5002

• rangecheck macro adjustments (starkware-libs#147)

  Show description for c1f718f
  ohad-starkware

  authored
  c1f718f

  Copy full SHA for c1f718f

• Range check memory values in id_to_f252 trace generator (starkware-libs#148)

  Show description for 637377f
  shaharsamocha7

  authored
  637377f

  Copy full SHA for 637377f

• Add PCS verifier

  atgrosso

  committed
  b1f157d

  Copy full SHA for b1f157d

• Implement trailing zeros

  atgrosso

  committed
  74dea4f

  Copy full SHA for 74dea4f