Code

Add prover gnark example#751

Code

Draft

MauroToscano wants to merge 10 commits intomainlambdaclass/lambdaworks:mainfrom prove_gnark_examplelambdaclass/lambdaworks:prove_gnark_exampleCopy head branch name to clipboard

+655-2

Commits

Commits on Jan 8, 2024

• Update version

  MauroToscano

  committed
  305c2f9

  Copy full SHA for 305c2f9

• Add exporter

  MauroToscano

  committed
  018419e

  Copy full SHA for 018419e

• Update Cargo.toml

  MauroToscano

  authored
  4b19d9e

  Copy full SHA for 4b19d9e

• Merge branch 'main' into prove_gnark_example

  MauroToscano

  authored
  7083845

  Copy full SHA for 7083845

Commits on Jan 9, 2024

• Add some debugging prints

  MauroToscano

  committed
  911c390

  Copy full SHA for 911c390

• Bug fixes

  MauroToscano

  committed
  4f88b42

  Copy full SHA for 4f88b42

Commits on Jan 10, 2024

• Fix toml

  MauroToscano

  committed
  8718417

  Copy full SHA for 8718417

Commits on Jan 12, 2024

• Add witness exporter

  MauroToscano

  committed
  69c46b2

  Copy full SHA for 69c46b2

• Update cargo

  MauroToscano

  committed
  80d1149

  Copy full SHA for 80d1149

• Update example

  MauroToscano

  committed
  27b6a63

  Copy full SHA for 27b6a63