Code

ZK proof cleanup#99

Code

Merged

fjarri merged 22 commits intoentropyxyz:masterentropyxyz/synedrion:masterfrom fjarri:proof-cleanupfjarri/synedrion:proof-cleanupCopy head branch name to clipboardJan 20, 2024

+976-500

Commits

Commits on Jan 17, 2024

• Include challenges in all ZK proofs, for uniformity

  Show description for 310552b
  fjarri

  committed
  310552b

  Copy full SHA for 310552b

• Make method visibility uniform

  fjarri

  committed
  5f6d321

  Copy full SHA for 5f6d321

• Adjust parameter names

  fjarri

  committed
  5d39f7f

  Copy full SHA for 5d39f7f

Commits on Jan 18, 2024

• Decouple curve scalars from big integers

  Show description for ba2be99
  fjarri

  committed
  ba2be99

  Copy full SHA for ba2be99

• Add more value-ref combinations for arithmetic operators

  fjarri

  committed
  f1889f3

  Copy full SHA for f1889f3

• Fix a bug in generating a mul proof in Presigning

  fjarri

  committed
  3abfbe9

  Copy full SHA for 3abfbe9

• Add an interactive signing test

  fjarri

  committed
  6944b61

  Copy full SHA for 6944b61

Commits on Jan 19, 2024

• Fix some bugs in the additional info saved in Presigning

  fjarri

  committed
  3da747f

  Copy full SHA for 3da747f

• Cache public data to create the challenge for the aff-g proof

  fjarri

  committed
  c8730fe

  Copy full SHA for c8730fe

• Bump the prime bitsize in test parameters for the ZK proofs to work

  Show description for a9a8974
  fjarri

  committed
  a9a8974

  Copy full SHA for a9a8974

• Fix a too lenient test of P_dec, and fix the integer sizes in the proof

  fjarri

  committed
  c587c4b

  Copy full SHA for c587c4b

Commits on Jan 20, 2024

• Propagate all necessary information for P_dec proof in Signing

  Show description for 791bafd
  fjarri

  committed
  791bafd

  Copy full SHA for 791bafd

• Cache public data to create the challenge for the dec proof

  fjarri

  committed
  db0aef9

  Copy full SHA for db0aef9

• Cache public data to create the challenge for the enc proof

  fjarri

  committed
  d23ae5f

  Copy full SHA for d23ae5f

• Cache public data to create the challenge for the log* proof

  fjarri

  committed
  d3254a3

  Copy full SHA for d3254a3

• Cache public data to create the challenge for the mod proof

  fjarri

  committed
  18f329c

  Copy full SHA for 18f329c

• Cache public data to create the challenge for the mul proof

  fjarri

  committed
  8a66854

  Copy full SHA for 8a66854

• Cache public data to create the challenge for the mul* proof

  fjarri

  committed
  d9bf733

  Copy full SHA for d9bf733

• Cache public data to create the challenge for the prm proof

  fjarri

  committed
  1c6f019

  Copy full SHA for 1c6f019

• Adjust parameter order in sch proof

  fjarri

  committed
  d02d1fe

  Copy full SHA for d02d1fe

• Expand ZK proof docstrings and bring some variable names in sync with the paper.

  fjarri

  committed
  fb7a234

  Copy full SHA for fb7a234

• Adjust derived traits for proof objects

  fjarri

  committed
  a851fff

  Copy full SHA for a851fff