Code

Verifying full xcmp proof#136

Code

Merged

coax1d merged 12 commits intomainw3f/xcmp_prototype_playground:mainfrom verifying_full_xcmp_proofw3f/xcmp_prototype_playground:verifying_full_xcmp_proofCopy head branch name to clipboardMar 22, 2024

+125-52

Commits

Commits on Feb 23, 2024

• comment for generating stage2

  coax1d

  committed
  c9cb19b

  Copy full SHA for c9cb19b

Commits on Mar 4, 2024

• Adding ability to grab ParaMerkleProof.. wasm trap error..

  coax1d

  committed
  adba8e8

  Copy full SHA for adba8e8

• fixing bug with paraId

  coax1d

  committed
  9cd7edf

  Copy full SHA for 9cd7edf

Commits on Mar 5, 2024

• fixing proof generation

  coax1d

  committed
  d991639

  Copy full SHA for d991639

• small refactorings

  coax1d

  committed
  2206290

  Copy full SHA for 2206290

Commits on Mar 11, 2024

• got stage4 and stage 3 proof generation setup

  coax1d

  committed
  5756679

  Copy full SHA for 5756679

• rebase merge

  coax1d

  committed
  1c6bf06

  Copy full SHA for 1c6bf06

Commits on Mar 12, 2024

• adding small func and test for digest

  coax1d

  committed
  faa79ef

  Copy full SHA for faa79ef

Commits on Mar 19, 2024

• generating correct full proof

  coax1d

  committed
  4d277f8

  Copy full SHA for 4d277f8

• final cleanup

  coax1d

  committed
  57ca65e

  Copy full SHA for 57ca65e

Commits on Mar 22, 2024

• verifying full XCMP proof successfully

  coax1d

  committed
  27769d9

  Copy full SHA for 27769d9

• rebasing

  coax1d

  committed
  78af1c7

  Copy full SHA for 78af1c7