Code

SOT-155: Nova#17

Code

Merged

VanhGer merged 18 commits intomainsota-zk-labs/zkp-implementation:mainfrom sot-155-novasota-zk-labs/zkp-implementation:sot-155-novaCopy head branch name to clipboardDec 1, 2024

+2,277-2

Commits

Commits on Jul 22, 2024

• Add ScalarField def and vector commitment feature.

  VanhGer

  committed
  4129526

  Copy full SHA for 4129526

• Create Nova Folding Scheme lib

  VanhGer

  committed
  7188a88

  Copy full SHA for 7188a88

• Create Fiat-Shamir Transcript and Matrix operator functions

  VanhGer

  committed
  bcdbc4a

  Copy full SHA for bcdbc4a

• Add Folding Scheme implementation.

  VanhGer

  committed
  cb46221

  Copy full SHA for cb46221

• Add satisfaction condition for R1CS

  VanhGer

  committed
  6bdef56

  Copy full SHA for 6bdef56

• Separate the NIFS verification process into 2 different functions

  VanhGer

  committed
  b75cb92

  Copy full SHA for b75cb92

• Write a simple version of AugmentedCircuit

  VanhGer

  committed
  77f6f53

  Copy full SHA for 77f6f53

• Reformat NIFS code & Add ZkIVCProof to AugmentedCircuit function

  VanhGer

  committed
  963fa94

  Copy full SHA for 963fa94

• Implement the 'prove' function for IVC.

  VanhGer

  committed
  b1599b8

  Copy full SHA for b1599b8

• Implement the 'verify' function for IVC.

  VanhGer

  committed
  07b5f9c

  Copy full SHA for 07b5f9c

• Change the parameters of circuit.

  VanhGer

  committed
  78a7cac

  Copy full SHA for 78a7cac

• Write a simple testcase for IVC

  VanhGer

  committed
  cee3eba

  Copy full SHA for cee3eba

• Rewrite the simple test case into a step-by-step IVC test case

  VanhGer

  committed
  fece4f6

  Copy full SHA for fece4f6

• Write an iterable usage test case for IVC

  VanhGer

  committed
  479568c

  Copy full SHA for 479568c

• Refine code and add more test cases.

  VanhGer

  committed
  8c6f950

  Copy full SHA for 8c6f950

• refactor: Refine code and add comments

  VanhGer

  committed
  a98382c

  Copy full SHA for a98382c

• feat: Add examples for Nova lib & Refine code.

  VanhGer

  committed
  2a5cad6

  Copy full SHA for 2a5cad6

• refactor: Refine code

  VanhGer

  committed
  d723549

  Copy full SHA for d723549