Code

Add fri queries#11

Code

Closed

atgrosso wants to merge 12 commits into10-02-add_array_sorting_iteratoratgrosso/stwo-cairo:10-02-add_array_sorting_iteratorfrom 10-02-add_fri_queriesatgrosso/stwo-cairo:10-02-add_fri_queriesCopy head branch name to clipboard

+785-364

Commits

Commits on Oct 6, 2024

• Added adapted Stwo

  yuvalsw

  committed
  13018bb

  Copy full SHA for 13018bb

• Merge pull request starkware-libs#88 from starkware-libs/yuval/adapted_prover

  Show description for 5df8ad7
  yuvalsw

  authored
  5df8ad7

  Copy full SHA for 5df8ad7

• Aligned all crate dependency versions with workspace (starkware-libs#92)

  yuvalsw

  authored
  fcda4fb

  Copy full SHA for fcda4fb

• Changed prove_cairo to return Result (instead of panic) (starkware-libs#93)

  yuvalsw

  authored
  440a563

  Copy full SHA for 440a563

• Added proof serialization to adapted-Stwo (starkware-libs#94)

  yuvalsw

  authored
  61a2645

  Copy full SHA for 61a2645

• Added vm-runner, wrapping cairo-vm and Stwo-adapter (starkware-libs#91)

  Show description for f43f285
  yuvalsw

  authored
  f43f285

  Copy full SHA for f43f285

Commits on Oct 9, 2024

• Add fri queries

  atgrosso

  committed
  09574b4

  Copy full SHA for 09574b4

Commits on Oct 11, 2024

• Add line folding (starkware-libs#98)

  atgrosso

  authored
  280f614

  Copy full SHA for 280f614

• Generalize field in Circlepoint (starkware-libs#99)

  atgrosso

  authored
  9ce9aa4

  Copy full SHA for 9ce9aa4

• Add circle evaluation (starkware-libs#100)

  atgrosso

  authored
  35da7c3

  Copy full SHA for 35da7c3

• Add SubCircleDomain and SparseSubCircleDomain (starkware-libs#101)

  atgrosso

  authored
  02d7c90

  Copy full SHA for 02d7c90

• Merge branch 'main' into 10-02-add_fri_queries

  andrewmilson

  authored
  1dab100

  Copy full SHA for 1dab100