Add prover gnark example

Cargo.toml

@@ -1,6 +1,6 @@
 [workspace]
 
-members = ["math", "crypto", "gpu", "benches", "provers/plonk", "provers/stark", "provers/cairo", "provers/groth16", "provers/groth16/arkworks-adapter", "examples/merkle-tree-cli", "examples/prove-miden", "winterfell_adapter"]
+members = ["math", "crypto", "gpu", "benches", "provers/plonk", "provers/stark", "provers/cairo", "provers/groth16", "provers/groth16/arkworks-adapter", "examples/merkle-tree-cli", "examples/prove-miden", "examples/prove-gnark-plonk", "winterfell_adapter"]
 exclude = ["ensure-no_std"]
 resolver = "2"
 
@@ -18,6 +18,8 @@ lambdaworks-math = { path = "./math", version = "0.5.0", default-features = fals
 stark-platinum-prover = { path = "./provers/stark" }
 cairo-platinum-prover = { path = "./provers/cairo" }
 lambdaworks-winterfell-adapter = { path = "./winterfell_adapter"}
+lambdaworks-plonk = { path = "./provers/plonk"}
+
 [patch.crates-io]
 winter-air = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
 winter-prover = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}

examples/prove-gnark-plonk/.gitignore

@@ -0,0 +1 @@
+*.json

examples/prove-gnark-plonk/Cargo.toml

@@ -0,0 +1,17 @@
+[package]
+name = "prove-gnark-example"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+repository.workspace = true
+
+[[bin]]
+name = "prove-gnark-example"
+path = "src/main.rs"
+
+[dependencies]
+lambdaworks-crypto = { workspace = true }
+lambdaworks-math = { workspace = true, features = ["lambdaworks-serde-string"] }
+lambdaworks-plonk = { workspace = true }
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"

examples/prove-gnark-plonk/README copy.md

@@ -0,0 +1,8 @@
+<div align="center">
+
+# Lambdaworks Polygon Miden Proving example
+
+This programs compiles and executes a miden fibonacci programs, obtains the trace, and then proves it and verifies it with lambdaworks Stark Platinum Prover.
+
+Special thanks to Polygon Miden team for providing the open source VM used here, the prover, and documenting the project. 
+

examples/prove-gnark-plonk/README.md

@@ -0,0 +1,3 @@
+# Example of how to use Gnark frontend with lambdaworks
+
+Gnark version needs to be v0.9.1 for the gnark exporter to work (latest as of jan 2024)

examples/prove-gnark-plonk/frontend_precomputed_values.json

@@ -0,0 +1,71 @@
+{
+ "N": 4,
+ "N_Padded": 4,
+ "Omega": "8d51ccce760304d0ec030002760300000001000000000000",
+ "Input": [
+  "3",
+  "9"
+ ],
+ "Ql": [
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "0",
+  "1"
+ ],
+ "Qr": [
+  "0",
+  "0",
+  "0",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000"
+ ],
+ "Qm": [
+  "0",
+  "0",
+  "1",
+  "0"
+ ],
+ "Qo": [
+  "0",
+  "0",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "0"
+ ],
+ "Qc": [
+  "0",
+  "0",
+  "0",
+  "0"
+ ],
+ "A": [
+  "3",
+  "9",
+  "3",
+  "9"
+ ],
+ "B": [
+  "3",
+  "3",
+  "3",
+  "9"
+ ],
+ "C": [
+  "3",
+  "3",
+  "9",
+  "3"
+ ],
+ "Permutation": [
+  11,
+  3,
+  0,
+  1,
+  2,
+  4,
+  5,
+  10,
+  6,
+  8,
+  7,
+  9
+ ]
+}