Changes after review

Cargo.toml

@@ -2,7 +2,6 @@
 name = "risc0-verifier"
 version = "0.1.0"
 edition = "2021"
-rust-version = "1.60"
 license = "Apache-2.0"
 repository = "https://github.com/HorizenLabs/risc0-verifier"
 authors = ["Horizen <[email protected]>"]

HEADER-APACHE2

@@ -1,4 +1,4 @@
-// Copyright 2024, The Horizen Foundation
+// Copyright 2024, Horizen Labs, Inc.
 // SPDX-License-Identifier: Apache-2.0
 //
 // Licensed under the Apache License, Version 2.0 (the "License");

Makefile.toml

@@ -19,15 +19,16 @@ command = "cargo"
 args = ["test"]
 
 [tasks.format_inst]
+[tasks.format-inst]
 install_crate = { crate_name = "rustfmt", rustup_component_name = "rustfmt", binary = "rustfmt", test_arg = "--help" }
 
 [tasks.format]
-dependencies = ["format_inst"]
+dependencies = ["format-inst"]
 command = "cargo"
 args = ["fmt"]
 
 [tasks.format-check]
-dependencies = ["format_inst"]
+dependencies = ["format-inst"]
 command = "cargo"
 args = ["fmt", "--check"]
 
@@ -60,11 +61,6 @@ args = ["audit"]
 command = "cargo"
 args = ["llvm-cov", "--workspace", "--lcov", "--output-path", "lcov.info"]
 
-[tasks.bench]
-dependencies = ["test"]
-command = "cargo"
-args = ["bench"]
-
 [tasks.udeps-inst]
 command = "cargo"
 args = ["install", "cargo-udeps", "--locked"]
@@ -77,9 +73,7 @@ args = ["udeps", "--all-targets"]
 
 
 [tasks.ci]
-#dependencies = ["build", "test", "format", "header-add", "clippy", "audit"]
-dependencies = ["build", "test", "format", "clippy", "audit"]
+dependencies = ["build", "test", "format", "header-add", "clippy", "audit"]
 
 [tasks.ci-remote]
-#dependencies = ["build", "test", "format-check", "header-check", "clippy", "audit"]
-dependencies = ["build", "test", "format-check", "clippy", "audit"]
+dependencies = ["build", "test", "format-check", "header-check", "clippy", "audit"]

README.md

@@ -1,15 +1,28 @@
 # risc0-verifier
 
-A verifier for [RISC-Zero](https://github.com/risc0/risc0) STARK proofs. This crate
+A verifier for [RISC-Zero](https://github.com/risc0/risc0) STARK proofs.
 
 This crate provides a way for deserializing the proof and the verification key (aka image id) and a function to check if the proof is correct:
 
 ```rust
-    use risc0_verifier::{verify, ProofRawData};
+    use risc0_verifier::{verify};
+    use serde::Deserialize;
 
-    let (proof_raw_data, image_id_data): (ProofRawData, [u32; 8]) = load_data(&path);
+    #[derive(Deserialize)]
+    struct Data {
+        proof_raw_data: String,
+        image_id: [u32; 8],
+    }
 
-    assert!(verify(proof_raw_data, image_id_data.into()).is_ok());
+    let Data {
+        proof_raw_data,
+        image_id,
+    } = serde_json::from_reader(std::fs::File::open("./resources/valid_proof_1.json").unwrap())
+        .unwrap();
+
+    let proof_raw_data = <Vec<u8>>::try_from(hex::decode(proof_raw_data).unwrap()).unwrap();
+
+    assert!(verify(&proof_raw_data, image_id.into()).is_ok());
 ```
 
 ## Develop