Code

Telescope-ALBA proof for STM #2354

Code

Draft

curiecrypt wants to merge 8 commits intomaininput-output-hk/mithril:mainfrom curiecrypt/stm-telescopeinput-output-hk/mithril:curiecrypt/stm-telescopeCopy head branch name to clipboard

Commits

Commits on Mar 6, 2025

• rough telescope proof generation

  curiecrypt

  committed
  f5d62aa

  Copy full SHA for f5d62aa

Commits on Mar 7, 2025

• draft verification

  curiecrypt

  committed
  c3f2e07

  Copy full SHA for c3f2e07

• fmt and clippy

  curiecrypt

  committed
  6214cb4

  Copy full SHA for 6214cb4

• organization and optimization

  curiecrypt

  committed
  423cffe

  Copy full SHA for 423cffe

Commits on Mar 12, 2025

• sterling

  curiecrypt

  committed
  597bfdf

  Copy full SHA for 597bfdf

• revert back the stm file

  curiecrypt

  committed
  3e6d165

  Copy full SHA for 3e6d165

Commits on Mar 19, 2025

• Merge remote-tracking branch 'origin/main' into curiecrypt/stm-telescope

  curiecrypt

  committed
  1e85d8d

  Copy full SHA for 1e85d8d

Commits on Mar 20, 2025

• sterling adapted for generic data of alba element

  curiecrypt

  committed
  bc452b5

  Copy full SHA for bc452b5