Code

feat: implement nova's zk layer#127

Code

Merged

dmpierre merged 14 commits intomainprivacy-scaling-explorations/sonobe:mainfrom feat/zk-novaprivacy-scaling-explorations/sonobe:feat/zk-novaCopy head branch name to clipboardAug 17, 2024

+537-9

Commits

Commits on Aug 12, 2024

• feat: zk nova layer

  dmpierre

  committed
  d5f43bb

  Copy full SHA for d5f43bb

• chore: clippy + trigger CI

  dmpierre

  committed
  226cea3

  Copy full SHA for 226cea3

• chore: add comment for new (generating a zk nova ivc proof)

  dmpierre

  committed
  d97b168

  Copy full SHA for d97b168

• chore: adding text reference to sample

  dmpierre

  committed
  4c0795a

  Copy full SHA for 4c0795a

• chore: use debug_assert instead of cfg(test)

  dmpierre

  committed
  057ec09

  Copy full SHA for 057ec09

• improve: pass poseidon_config by ref

  Show description for 3aa28eb
  

  dmpierre

  and

  CPerezz

  committed
  3aa28eb

  Copy full SHA for 3aa28eb

• improve: pass z_0 by ref

  Show description for 63f5196
  

  dmpierre

  and

  CPerezz

  committed
  63f5196

  Copy full SHA for 63f5196

• improve: pass r1cs and cf_r1cs by ref

  Show description for ac1d17a
  

  dmpierre

  and

  CPerezz

  committed
  ac1d17a

  Copy full SHA for ac1d17a

• chore: appropriate docs (2)

  dmpierre

  committed
  851328f

  Copy full SHA for 851328f

• chore: pass by ref modifications

  dmpierre

  committed
  9a3b4d7

  Copy full SHA for 9a3b4d7

• improve: use single sponge

  dmpierre

  committed
  b75cd7b

  Copy full SHA for b75cd7b

• fix: remove blinding the cyclefold instance, add verifier checks on the

  Show description for 033fb12
  dmpierre

  committed
  033fb12

  Copy full SHA for 033fb12

• fix: assert that the sampled relaxed r1cs is correct

  dmpierre

  committed
  025de26

  Copy full SHA for 025de26

• fix: check length of u_i.x

  dmpierre

  committed
  b4ae9c0

  Copy full SHA for b4ae9c0