Code

Recursive verifier circuit parts#358

Code

Merged

Iluvmagick merged 19 commits intomasterNilFoundation/zkllvm-blueprint:masterfrom 335-recursive-verifier-circuitNilFoundation/zkllvm-blueprint:335-recursive-verifier-circuitCopy head branch name to clipboardApr 11, 2024

+8,121-970

Commits

Commits on Apr 2, 2024

• Created batching mechanism for components and constants. Added constraint evaluator component.

  Iluvmagick

  committed
  304a31f

  Copy full SHA for 304a31f

• Final polynomial check.

  Iluvmagick

  committed
  c2ee63d

  Copy full SHA for c2ee63d

• Challenges and initial Merkle proofs #335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  db9d877

  Copy full SHA for db9d877

• Round proof hashes #355

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  8800463

  Copy full SHA for 8800463

• Constant pow component tested #335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  c705c4b

  Copy full SHA for c705c4b

• x-index full check#335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  6659d0a

  Copy full SHA for 6659d0a

• Batching and manifest updates; moved swap to batching in verifier.

  Iluvmagick

  committed
  4048bbc

  Copy full SHA for 4048bbc

• Added pow_factor component. (#341)

  Iluvmagick

  committed
  104bcec

  Copy full SHA for 104bcec

• Challenges and initial Merkle proofs #335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  2361362

  Copy full SHA for 2361362

• x-index full check#335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  7a12a5d

  Copy full SHA for 7a12a5d

• Colinear checks #335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  41abe68

  Copy full SHA for 41abe68

• Merged batched components #335

  

  ETatuzova

  authored and

  Iluvmagick

  committed
  bebab0c

  Copy full SHA for bebab0c

• Batching no longer fails when circuit/assignment gens are reordered. (#356)

  Iluvmagick

  committed
  77414b5

  Copy full SHA for 77414b5

Commits on Apr 3, 2024

• Warning fixes.

  Iluvmagick

  committed
  a44695b

  Copy full SHA for a44695b

• Test fixes.

  Iluvmagick

  committed
  99b8b8b

  Copy full SHA for 99b8b8b

Commits on Apr 4, 2024

• Fixed proof generation.

  Iluvmagick

  committed
  aac5a61

  Copy full SHA for aac5a61

Commits on Apr 9, 2024

• Added missing commas to test run_tests.yml

  Iluvmagick

  committed
  573fb8c

  Copy full SHA for 573fb8c

Commits on Apr 10, 2024

• Tests fixed #335

  ETatuzova

  committed
  0e7b2e1

  Copy full SHA for 0e7b2e1

• Placeholder verifier rows amount computation fixed #335

  ETatuzova

  committed
  4dca5f9

  Copy full SHA for 4dca5f9