Code

Circle protocol#938

Code

Draft

ColoCarletti wants to merge 107 commits intomainlambdaclass/lambdaworks:mainfrom circle-protocollambdaclass/lambdaworks:circle-protocolCopy head branch name to clipboard

+3,020-3

Commits

Commits on Sep 18, 2024

• optimize add

  

  Nicole

  authored and

  Nicole

  committed
  852f856

• save changes. Add, sub and mul checked

  

  Nicole

  authored and

  Nicole

  committed
  0d68798

Commits on Sep 19, 2024

• fix tests

  ColoCarletti

  committed
  5ebc30a

• add new inv

  ColoCarletti

  committed
  81439ae

• add mult by powers of two

  

  Nicole

  authored and

  Nicole

  committed
  47cf7da

• Merge branch 'optimize_mersenne31' of github.com:lambdaclass/lambdaworks into optimize_mersenne31

  

  Nicole

  authored and

  Nicole

  committed
  2acfdd7

• replace inverse

  

  Nicole

  authored and

  Nicole

  committed
  cfba8bc

Commits on Sep 20, 2024

• test new inv

  ColoCarletti

  committed
  01eba0d

• modify old algorithm for inv

  ColoCarletti

  committed
  60fd981

• fix tests extension

  

  Nicole

  authored and

  Nicole

  committed
  996e224

• Merge branch 'optimize_mersenne31' of github.com:lambdaclass/lambdaworks into optimize_mersenne31

  

  Nicole

  authored and

  Nicole

  committed
  c41b977

• add mul for degree 4 extension

  

  Nicole

  authored and

  Nicole

  committed
  28d8b0e

Commits on Sep 23, 2024

• add fp4 isField and isSubField operations and benchmarks

  

  Nicole

  authored and

  Nicole

  committed
  5e1f533

• new version for fp4 mul based on the paper

  

  Nicole

  authored and

  Nicole

  committed
  fde7faa

• add mul of a fp2e by non-residue

  

  Nicole

  authored and

  Nicole

  committed
  60c8197

• change inv using mul_fp2_by_non_resiude

  

  Nicole

  authored and

  Nicole

  committed
  25b8869

Commits on Sep 24, 2024

• save work

  

  Nicole

  authored and

  Nicole

  committed
  1187be8

• wip fp2 test

  ColoCarletti

  committed
  ecff11e

• Merge branch 'optimize_mersenne31' of github.com:lambdaclass/lambdaworks into optimize_mersenne31

  ColoCarletti

  committed
  a6169ea

• add fp2 tests

  ColoCarletti

  committed
  ae1446a

• add 2 * a^2 - 1 function

  

  Nicole

  authored and

  Nicole

  committed
  fa12fc5

Commits on Sep 25, 2024

• use karatsuba in fp4 mul version 1

  

  Nicole

  authored and

  Nicole

  committed
  461485b

• clean up

  ColoCarletti

  committed
  d4e3f40

• fix Fp as subfield of Fp2. Tests Fp plus Fp4 is now correct

  

  Nicole

  authored and

  Nicole

  committed
  f0437c7

Commits on Sep 26, 2024

• fix inv

  ColoCarletti

  committed
  2c5a301

• fix comments

  ColoCarletti

  committed
  4a42dbc

• create crate

  ColoCarletti

  committed
  21d09c6

• Revert "create crate"

  Show description for f7efd90
  ColoCarletti

  committed
  f7efd90

• Merge branch 'optimize_mersenne31' into circle-starks

  ColoCarletti

  committed
  db3ab30

• add circle point implementation

  ColoCarletti

  committed
  eddd9be

• add group order

  ColoCarletti

  committed
  ba738c7

• rm dependencie

  ColoCarletti

  committed
  85d80c1

Commits on Sep 30, 2024

• add cosets

  ColoCarletti

  committed
  14a7beb

Commits on Oct 1, 2024

• add twiddle

  ColoCarletti

  committed
  b56d212

• init cfft

  ColoCarletti

  committed
  58aeb0c

Commits on Oct 2, 2024

• test cfft

  ColoCarletti

  committed
  a85eb0f

• test 16 not working

  

  Nicole

  authored and

  Nicole

  committed
  6bda70d

• fix n16 test

  ColoCarletti

  committed
  7cbd173

Commits on Oct 3, 2024

• refactor

  ColoCarletti

  committed
  4f60a48

Commits on Oct 4, 2024

• Merge branch 'main' into circle-starks

  ColoCarletti

  committed
  35a9d5a

• clippy

  ColoCarletti

  committed
  95e87d0

• fmt

  ColoCarletti

  committed
  10636f9

• Merge branch 'main' into circle-starks

  diegokingston

  authored
  c76793f

• clippy

  ColoCarletti

  committed
  876459d

• Merge branch 'circle-starks' of github.com:lambdaclass/lambdaworks into circle-starks

  ColoCarletti

  committed
  dcdd18a

• rm std

  ColoCarletti

  committed
  076b683

• add alloc

  ColoCarletti

  committed
  0d7d89f

• fix

  ColoCarletti

  committed
  9685a74

Commits on Oct 7, 2024

• wip

  ColoCarletti

  committed
  ac842bf

Commits on Oct 8, 2024

• Merge branch 'main' into circle-starks

  ColoCarletti

  authored
  52655b1

Commits on Oct 14, 2024

• add hand iterpolation for 4 and 8

  ColoCarletti

  committed
  5f97990

Commits on Oct 15, 2024

• wip

  ColoCarletti

  committed
  dc4124e

Commits on Oct 16, 2024

• evaluation and interpolation working

  

  Nicole

  authored and

  Nicole

  committed
  56dae17

• add tests and comments

  

  Nicole

  authored and

  Nicole

  committed
  2546ca2

Commits on Oct 17, 2024

• Merge branch 'main' into circle-starks

  ColoCarletti

  authored
  57735cf

• clippy

  ColoCarletti

  committed
  da5fae7

• Merge branch 'circle-starks' of github.com:lambdaclass/lambdaworks into circle-starks

  ColoCarletti

  committed
  1166a42

• fmt

  ColoCarletti

  committed
  28ab71f

• remove unused functions

  ColoCarletti

  committed
  e0c666d

• add comment

  ColoCarletti

  committed
  3073470

Commits on Oct 23, 2024

• Update math/src/circle/polynomial.rs

  Show description for 37aae9e
  

  nicole-graus

  and

  ilitteri

  authored
  37aae9e

• change generator and order CirclePoint functions as constants

  

  Nicole

  authored and

  Nicole

  committed
  4436e28

• impl eq as PartialEq

  

  Nicole

  authored and

  Nicole

  committed
  835a565

• implement scalar_mul as Mul

  

  Nicole

  authored and

  Nicole

  committed
  2ea3171

• Change error name to a more descriptive one and move it to point.rs

  

  Nicole

  authored and

  Nicole

  committed
  c9acb74

• fix lint

  

  Nicole

  authored and

  Nicole

  committed
  93fd515

• fix lint

  

  Nicole

  authored and

  Nicole

  committed
  7ae4990

• fix some comments

  

  Nicole

  authored and

  Nicole

  committed
  8801317

Commits on Oct 24, 2024

• Merge branch 'main' into circle-starks

  diegokingston

  authored
  7fe6a7d

• add alloc::vec

  ColoCarletti

  committed
  8b2b3d2

• fix no-std

  ColoCarletti

  committed
  ebc5e9d

• cargo fmt

  ColoCarletti

  committed
  f3028e5

• fix no-std

  ColoCarletti

  committed
  b645a7b

• remove macro

  ColoCarletti

  committed
  c7cfd8f

Commits on Oct 25, 2024

• add comment

  ColoCarletti

  committed
  fc68bea

Commits on Oct 28, 2024

• init prover

  ColoCarletti

  committed
  98e7dd2

• add point eval

  ColoCarletti

  committed
  e9f6078

• addition between referenced and non-referenced values

  

  Nicole

  authored and

  Nicole

  committed
  0a50704

Commits on Oct 30, 2024

• Update math/src/circle/point.rs

  Show description for a045516
  

  nicole-graus

  and

  ilitteri

  authored
  a045516

• explain why won't panic

  

  Nicole

  authored and

  Nicole

  committed
  c00a223

• Merge branch 'circle-starks' of github.com:lambdaclass/lambdaworks into circle-starks

  

  Nicole

  authored and

  Nicole

  committed
  9ff3233

• add errors.rs

  ColoCarletti

  committed
  e0fa390

• fix vec

  

  Nicole

  authored and

  Nicole

  committed
  3ed8ac1

• Evaluate and interpolate functions have non-mutable inputs

  

  Nicole

  authored and

  Nicole

  committed
  a7161f2

• fix clippy

  

  Nicole

  authored and

  Nicole

  committed
  b88794f

• MulAssign for points and double function takes a reference

  

  Nicole

  authored and

  Nicole

  committed
  b2e9b9d

Commits on Oct 31, 2024

• Revert "MulAssign for points and double function takes a reference"

  Show description for 26d6078
  

  Nicole

  authored and

  Nicole

  committed
  26d6078

• MulAssign and AddAssign

  

  Nicole

  authored and

  Nicole

  committed
  a6738c7

• add vanishing polynomial of a coset

  

  Nicole

  authored and

  Nicole

  committed
  d66d52d

• Merge branch 'circle-starks' into circle-protocol

  

  Nicole

  authored and

  Nicole

  committed
  0267a18

Commits on Nov 1, 2024

• add comments for vanishing poly and zerofier

  

  Nicole

  authored and

  Nicole

  committed
  3b165ee

Commits on Nov 4, 2024

• wip

  ColoCarletti

  committed
  ca29030

• save changes

  

  Nicole

  authored and

  Nicole

  committed
  ed136c4

• save changes

  

  Nicole

  authored and

  Nicole

  committed
  268bdb9

Commits on Nov 5, 2024

• boundary constraints struct

  

  Nicole

  authored and

  Nicole

  committed
  1a84697

• change circle polynomial to accept a reference

  ColoCarletti

  committed
  a691d42

• remove generic IsField

  ColoCarletti

  committed
  edd05ab

• Merge branch 'circle-protocol' of github.com:lambdaclass/lambdaworks into circle-protocol

  ColoCarletti

  committed
  26e3ebe

• fix example simple_fibonacci

  

  Nicole

  authored and

  Nicole

  committed
  d89260e

Commits on Nov 6, 2024

• add integration test

  ColoCarletti

  committed
  2197d2f

• Prover validate boundary and transition constraints

  

  Nicole

  authored and

  Nicole

  committed
  12e1d4a

• testing: transition zerofier evaluates zero in trace domain

  

  Nicole

  authored and

  Nicole

  committed
  a6a425e

Commits on Nov 8, 2024

• Add line and interpolant functions

  

  Nicole

  authored and

  Nicole

  committed
  6fb8311

Commits on Nov 11, 2024

• change boundary_polys_evaluations

  ColoCarletti

  committed
  27cadc3

• fix zerofier

  ColoCarletti

  committed
  4044f2e

• add utils to constraints. Add composition_polynomial.rs

  

  Nicole

  authored and

  Nicole

  committed
  4cb5b16

Commits on Nov 13, 2024

• Add composition polynomial function. Change boundary constraints funtions

  

  Nicole

  authored and

  Nicole

  committed
  664fafa