Repository navigation

Commits

Commits on Feb 28, 2024
- Get opening positions as mapping. (#410)
  alonh5
  authored
  592447e
Commits on Feb 26, 2024
- Create QuotientLogBoundsVisitor. (#407)
  alonh5
  authored
  022f832
- Create ConstraintPointEvaluator. (#403)
  alonh5
  authored
  d290d07
- Create MaskPointsEvaluator. (#385)
  alonh5
  authored
  aa95e0e
- Create MaskEvaluator. (#375)
  alonh5
  authored
  821d47c
- Move max_constraint_log_degree_bound to AirExt trait. (#373)
  alonh5
  authored
  6b6c41a
- Remove PolyOracle from codebase. (#393)
  alonh5
  authored
  9c7ba69
- Remove EvalByEvaluation from oods. (#392)
  alonh5
  authored
  d24002e
Commits on Feb 22, 2024
- Fix ColumnVec. (#384)
  alonh5
  authored
  4c174a3
- Remove EvalByPoly. (#386)
  alonh5
  authored
  1009575
Commits on Feb 21, 2024
- Move CP evaluation to AirExt trait. (#372)
  alonh5
  authored
  f51dc4f
- Type def ColumnVec. (#371)
  alonh5
  authored
  672ed84
- max_constraint_log_degree_bound in Air trait. (#370)
  alonh5
  authored
  62c719f
- Create FibonnaciAir. (#369)
  alonh5
  authored
  0434d45
Commits on Feb 20, 2024
- Contain queries in FRI. (#355)
  alonh5
  authored
  5dc08ff
- Get opening positions from FRI. (#354)
  alonh5
  authored
  c485aef
- Get degree bounds from component. (#351)
  alonh5
  authored
  664f60b
Commits on Feb 15, 2024
- Remove domains from Fibonnaci struct. (#349)
  alonh5
  authored
  43151d9
- Remove PointMapping and Mask structs. (#348)
  alonh5
  authored
  994815b
- Use component for OODS in Fibonacci. (#347)
  alonh5
  authored
  aa4e658
- Implement CommitmentSchemeVerifier. (#343)
  alonh5
  authored
  17234d8
Commits on Feb 14, 2024
- Decouple commitment from decommitment. (#338)
  alonh5
  authored
  fa39e20
Commits on Feb 13, 2024
- Create TraceCommitmentScheme struct. (#331)
  alonh5
  authored
  8ceedb2
- Integrate proof of work. (#330)
  alonh5
  authored
  f68d6d1
Commits on Feb 12, 2024
- False test e2e Fibonacci. (#323)
  alonh5
  authored
  3996fe1
- Prove and verify FRI in Fibonnaci. (#321)
  alonh5
  authored
  706a0d6
- Prepare FRI polynomials in descending size order. (#320)
  alonh5
  authored
  a72222b
- Quotient out the oods point and its conjugate in the trace. (#316)
  alonh5
  authored
  0c2756d
Commits on Feb 11, 2024
- Evaluate a point on line between a point-value pair nad its conjugate. (#314)
  alonh5
  authored
  146bd0b
Commits on Feb 8, 2024
- Verify in test that the oods quotients are of low degree. (#302)
  alonh5
  authored
  bc26b7a
- Verify in test that point vanishing increases the degree by one. (#299)
  alonh5
  authored
  c59ec3d
Commits on Feb 7, 2024
- Use SparseCircleEvaluation struct in verifier. (#318)
  alonh5
  authored
  60d046e
- Bit reverse comitment and oods quotient evaluations. (#317)
  alonh5
  authored
  350c128
Commits on Feb 6, 2024
- Add conjugate() method for QM31 and test base field circle polynomial… (#313)
  alonh5
  authored
  4c1d37f
Commits on Feb 5, 2024
- Get sparse circle evaluations for FRI verifier. (#281)
  alonh5
  authored
  f822a4f

Branch selector

User selector

Datepicker

Commit history

Commits on Feb 28, 2024

Commits on Feb 26, 2024

Commits on Feb 22, 2024

Commits on Feb 21, 2024

Commits on Feb 20, 2024

Commits on Feb 15, 2024

Commits on Feb 14, 2024

Commits on Feb 13, 2024

Commits on Feb 12, 2024

Commits on Feb 11, 2024

Commits on Feb 8, 2024

Commits on Feb 7, 2024

Commits on Feb 6, 2024

Commits on Feb 5, 2024