Code

Rework batches in ppsnark#305

Code

Merged

huitseeker merged 10 commits intolurk-lang:devlurk-lang/arecibo:devfrom huitseeker:rework_batchhuitseeker/arecibo:rework_batchCopy head branch name to clipboardFeb 12, 2024

+116-148

Commits

Commits on Feb 10, 2024

• refactor: Streamline matrix multiply & some zip_with instances

  Show description for 8c638ea
  huitseeker

  committed
  8c638ea

  Copy full SHA for 8c638ea

• refactor: Streamline transcript absorption in Spartan batched code

  Show description for 6d4305f
  huitseeker

  committed
  6d4305f

  Copy full SHA for 6d4305f

• refactor: Refactor 'claims_outer' and related functions in BatchedRelaxedR1CSSNARK

  Show description for ea98b43
  huitseeker

  committed
  ea98b43

  Copy full SHA for ea98b43

• fix: simplify inner final claim

  huitseeker

  committed
  5d7e357

  Copy full SHA for 5d7e357

• refactor: Optimize Spartan batch evaluation and polynomial computation

  Show description for 8f34416
  huitseeker

  committed
  8f34416

  Copy full SHA for 8f34416

• fix: streamline usage of PowPolynomial

  huitseeker

  committed
  9db33c5

  Copy full SHA for 9db33c5

• refactor: Enhance efficiency of generating power polynomials

  Show description for 06db373
  huitseeker

  committed
  06db373

  Copy full SHA for 06db373

• fix: one forgotten instance of the poly_X refactor

  huitseeker

  committed
  f906501

  Copy full SHA for f906501

• refactor: slightly simplify padding

  huitseeker

  committed
  f5560fa

  Copy full SHA for f5560fa

• fix: remove misleading comment

  huitseeker

  committed
  238ad43

  Copy full SHA for 238ad43