Code

Changes from September 20 meeting#35

Code

Open

daira wants to merge 5 commits intozkpstandard:mainzkpstandard/wg-plonkish:mainfrom daira:meeting-september-20daira/wg-plonkish:meeting-september-20Copy head branch name to clipboard

+79-19

Commits

Commits on Sep 20, 2024

• Define shortcut $[i, j]$ notation and use it consistently.

  Show description for b233234
  daira

  committed
  b233234

  Copy full SHA for b233234

• Clarifications to the definition of a correctness-preserving translation.

  Show description for cfe5a63
  daira

  committed
  cfe5a63

  Copy full SHA for cfe5a63

• Make notation in the definition of $\mathcal{R}_{\mathsf{concrete}}$ more

  Show description for 242b0e2
  

  3 peoplecommitted
  242b0e2

  Copy full SHA for 242b0e2

• Move explanations of the FIND_ROW_MAPPING algorithm to its definition.

  Show description for d95c82d
  

  3 peoplecommitted
  d95c82d

  Copy full SHA for d95c82d

• Complete the (informal) proof for FIND_ROW_MAPPING.

  Show description for e82162f
  

  3 peoplecommitted
  e82162f

  Copy full SHA for e82162f