Code

Murisi/masp test vectors rebased#2427

Code

Merged

tzemanovic merged 7 commits intomainanoma/namada:mainfrom murisi/masp-test-vectors-rebasedanoma/namada:murisi/masp-test-vectors-rebasedCopy head branch name to clipboardJan 26, 2024

+1,318-296

Commits

Commits on Jan 23, 2024

• Now generating arbitrary ShieldedTransfer.

  murisi

  committed
  05dbb28

  Copy full SHA for 05dbb28

• Increased usage of prop_oneof macro.

  murisi

  committed
  2cf8178

  Copy full SHA for 2cf8178

• Now generating binding test vectors binding signatures correctly.

  murisi

  committed
  c977734

  Copy full SHA for c977734

• Constrained the range of MASP test vectors generated for correctness.

  murisi

  committed
  80388ea

  Copy full SHA for 80388ea

• Hashed the token denomination into AssetTypes to tighten HW wallet signing.

  murisi

  committed
  982a985

  Copy full SHA for 982a985

• Reified the pre-image of AssetTypes.

  murisi

  committed
  a58cead

  Copy full SHA for a58cead

• Added changelog entry.

  murisi

  committed
  3a3cd92

  Copy full SHA for 3a3cd92