Air vm workshop

.vscode/settings.json

@@ -0,0 +1,3 @@
+{
+    "cmake.configureOnOpen": false
+}

Cargo.toml

@@ -1,6 +1,6 @@
 [workspace]
 
-members = ["math", "crypto", "gpu", "benches", "provers/plonk", "provers/stark", "provers/cairo", "provers/groth16", "provers/groth16/arkworks-adapter", "provers/groth16/circom-adapter", "examples/merkle-tree-cli", "examples/prove-miden", "provers/winterfell_adapter", "examples/shamir_secret_sharing", "examples/prove-verify-circom", "provers/cairo/ffi"]
+members = ["math", "crypto", "gpu", "benches", "provers/plonk", "provers/stark", "provers/cairo", "provers/groth16", "provers/groth16/arkworks-adapter", "provers/groth16/circom-adapter", "examples/merkle-tree-cli", "examples/prove-miden", "provers/winterfell_adapter", "examples/shamir_secret_sharing", "examples/prove-verify-circom", "exercises/air_vm_workshop", "provers/cairo/ffi"]
 exclude = ["ensure-no_std"]
 resolver = "2"
 

docs/src/starks/api.md

@@ -127,7 +127,6 @@ let context = AirContext {
     },
     trace_columns: trace_table.n_cols,
     transition_degrees: vec![1],
-    transition_exemptions: vec![2],
     transition_offsets: vec![0, 1, 2],
     num_transition_constraints: 1,
 };

examples/prove-gnark-plonk/go_exporter_example/frontend_precomputed_values.json

@@ -0,0 +1,100 @@
+{
+ "N": 5,
+ "N_Padded": 8,
+ "Omega": "345766f603fa66e78c0625cd70d77ce2b38b21c28713b7007228fd3397743f7a",
+ "Input": [
+  "3",
+  "1b"
+ ],
+ "Ql": [
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "0",
+  "0",
+  "1"
+ ],
+ "Qr": [
+  "0",
+  "0",
+  "0",
+  "0",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000"
+ ],
+ "Qm": [
+  "0",
+  "0",
+  "1",
+  "1",
+  "0"
+ ],
+ "Qo": [
+  "0",
+  "0",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000",
+  "0"
+ ],
+ "Qc": [
+  "0",
+  "0",
+  "0",
+  "0",
+  "0"
+ ],
+ "A": [
+  "3",
+  "1b",
+  "3",
+  "9",
+  "1b",
+  "3",
+  "3",
+  "3"
+ ],
+ "B": [
+  "3",
+  "3",
+  "3",
+  "3",
+  "1b",
+  "3",
+  "3",
+  "3"
+ ],
+ "C": [
+  "3",
+  "3",
+  "9",
+  "1b",
+  "3",
+  "3",
+  "3",
+  "3"
+ ],
+ "Permutation": [
+  23,
+  4,
+  0,
+  18,
+  1,
+  2,
+  5,
+  6,
+  7,
+  8,
+  9,
+  10,
+  19,
+  11,
+  13,
+  14,
+  15,
+  16,
+  3,
+  12,
+  17,
+  20,
+  21,
+  22
+ ]
+}

examples/prove-gnark-plonk/go_exporter_example/witness.json

@@ -0,0 +1 @@
+{"witness":["3","27"]}

exercises/air_vm_workshop/Cargo.toml

@@ -0,0 +1,15 @@
+[package]
+name = "mini_air_vm"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+repository.workspace = true
+
+[[bin]]
+name = "mini-air-cli"
+path = "src/main.rs"
+
+[dependencies]
+lambdaworks-math = { workspace = true }
+lambdaworks-crypto = { workspace = true }
+stark-platinum-prover = {workspace = true }

exercises/air_vm_workshop/README.md

@@ -0,0 +1,5 @@
+<div align="center">
+
+# Lambdaworks Circom Proving & Verification Example
+
+This programs converts Circom & SnarkJS generated constraints and witnesses into Lambdaworks-compatible instances, performs trusted setup, generates proof, and finally verifies the integrity of witness assignments.