line_check_example

noir/Cargo.toml

@@ -28,6 +28,7 @@ members = [
     "tooling/noir_rs/blackbox_solver",
     "tooling/noir_rs/acvm_runtime",
     "tooling/noir_rs/examples/poly_check_circuit",
+    "tooling/noir_rs/examples/line_check_circuit",
     "tooling/noir_rs",
     # ACVM
     "acvm-repo/acir_field",

noir/tooling/noir_rs/examples/line_check_circuit/Cargo.toml

@@ -0,0 +1,12 @@
+[package]
+name = "line_check_circuit"
+version = "0.1.0"
+edition = "2021"
+authors = ["Bartosz Nowak https://github.com/Okm165"]
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+noir_rs = { git = "https://github.com/visoftsolutions/noir_rs.git", branch = "latest", package = "noir_rs" }
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"

noir/tooling/noir_rs/examples/line_check_circuit/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "line_check_circuit"
+type = "bin"
+authors = ["Bartosz Nowak https://github.com/Okm165"]
+compiler_version = ">=0.19.4"
+
+[dependencies]

noir/tooling/noir_rs/examples/line_check_circuit/src/main.nr

@@ -0,0 +1,15 @@
+mod structs;
+use structs::{Point, Line};
+
+fn main(point: Point, line: pub Line) {
+    assert(line.a * point.x + line.b - point.y == 0);
+}
+
+#[test]
+fn test_main() {
+    let line = Line { a: 5, b: 7 };
+    let point = Point { x: 1, y: 12 };
+    main(point, line);
+    // Uncomment to make test fail
+    // main(1, 1);
+}

noir/tooling/noir_rs/examples/line_check_circuit/src/main.rs

@@ -0,0 +1,28 @@
+use noir_rs::{
+    native_types::{Witness, WitnessMap},
+    FieldElement,
+};
+use serde_json::Value;
+use std::fs;
+
+static PACKAGE_NAME: &str = env!("CARGO_PKG_NAME");
+
+fn main() {
+    let data =
+        fs::read_to_string(format!("target/{}.json", PACKAGE_NAME)).expect("Unable to read file");
+    let json: Value = serde_json::from_str(&data).expect("Unable to parse JSON");
+    let bytecode: &str = json["bytecode"].as_str().expect("Unable to extract bytecode");
+
+    println!("Initializing witness...");
+    let mut initial_witness = WitnessMap::new();
+    initial_witness.insert(Witness(1), FieldElement::from(1_i128));
+    initial_witness.insert(Witness(2), FieldElement::from(12_i128));
+    initial_witness.insert(Witness(3), FieldElement::from(5_i128));
+    initial_witness.insert(Witness(4), FieldElement::from(7_i128));
+    println!("Generating proof...");
+    let (proof, vk) = noir_rs::prove(String::from(bytecode), initial_witness).unwrap();
+    println!("Verifying proof...");
+    let verdict = noir_rs::verify(String::from(bytecode), proof, vk).unwrap();
+    assert!(verdict);
+    println!("Proof correct");
+}

noir/tooling/noir_rs/examples/line_check_circuit/src/structs.nr

@@ -0,0 +1,9 @@
+struct Line {
+    a: u64,
+    b: u64,
+}
+
+struct Point {
+    x: u64,
+    y: u64,
+}