Code

norm arg: add prove test vectors#230

Code

Merged

jonasnick merged 10 commits intoBlockstreamResearch:masterBlockstreamResearch/secp256k1-zkp:masterfrom jonasnick:proving-testsjonasnick/secp256k1-zkp:proving-testsCopy head branch name to clipboardMay 9, 2023

+328-134

Commits

Commits on Apr 20, 2023

• musig: move ge_{serialize,parse}_ext to module-independent file

  jonasnick

  committed
  d8e7f37

  Copy full SHA for d8e7f37

• norm arg: add verify vector for n = [0], l = [0]

  jonasnick

  committed
  f22834f

  Copy full SHA for f22834f

• norm arg: allow X and R to be the point at infinity

  Show description for c0de361
  jonasnick

  committed
  c0de361

  Copy full SHA for c0de361

• norm arg: add test vector for sign bit malleability

  Show description for f5e4b16
  jonasnick

  committed
  f5e4b16

  Copy full SHA for f5e4b16

• norm arg: add test vector for |n| = 0

  jonasnick

  committed
  a70c4d4

  Copy full SHA for a70c4d4

• norm arg: split norm_arg_zero into prove_edge and verify_zero_len

  Show description for bf7bf8a
  jonasnick

  committed
  bf7bf8a

  Copy full SHA for bf7bf8a

Commits on Apr 25, 2023

• norm arg: add prove_const to tests

  jonasnick

  committed
  095c1e7

  Copy full SHA for 095c1e7

• norm arg: add prove test vectors

  jonasnick

  committed
  cf797ed

  Copy full SHA for cf797ed

• norm arg: add verification to prove vectors

  jonasnick

  committed
  847ed9e

  Copy full SHA for 847ed9e

• norm arg: remove prove edge tests which are now covered by vectors

  jonasnick

  committed
  f3126fd

  Copy full SHA for f3126fd