Code

Nova backend in Supernova R1CS#453

Code

Closed

hero78119 wants to merge 10 commits intopowdr-labs:novapowdr-labs/powdr:novafrom hero78119:novahero78119/powdr:novaCopy head branch name to clipboard

+3,405-276

Commits

Commits on Jul 31, 2023

• add some nova experiments

  

  Leo Alt

  authored and

  hero78119

  committed
  27997aa

  Copy full SHA for 27997aa

Commits on Aug 8, 2023

• zero nova initial version

  Show description for 64f6fdf
  hero78119

  committed
  64f6fdf

  Copy full SHA for 64f6fdf

Commits on Aug 9, 2023

• nova support signed constant ROM encoding

  hero78119

  committed
  2ace790

  Copy full SHA for 2ace790

Commits on Aug 10, 2023

• fix soundness related to const allocation

  hero78119

  committed
  03fe3d6

  Copy full SHA for 03fe3d6

• clippy fix

  hero78119

  committed
  3145872

  Copy full SHA for 3145872

Commits on Aug 11, 2023

• nova support read from public io

  hero78119

  committed
  495aede

  Copy full SHA for 495aede

• nova support evaluate shared constraints

  hero78119

  committed
  9f03bc7

  Copy full SHA for 9f03bc7

• nova support label functionality

  hero78119

  committed
  8d639ad

  Copy full SHA for 8d639ad

Commits on Aug 17, 2023

• update dependency to use bellpepper-core, aligned with nova

  hero78119

  committed
  976c329

  Copy full SHA for 976c329

Commits on Sep 4, 2023

• compile rom in 2 pass to support jump to the labels behind

  hero78119

  committed
  27a5caa

  Copy full SHA for 27a5caa