feat: sha256

curta/Cargo.toml

@@ -20,6 +20,8 @@ plonky2 = { git = "https://github.com/mir-protocol/plonky2.git", default-feature
 num = { version = "0.4", default-features = false }
 rand = "0.8.4"
 serde = { version = "1.0", features = ["derive"] }
+hex = "0.4.3"
+subtle-encoding = "0.5.1"
 
 [dev-dependencies]
 env_logger = { version = "0.9.0", default-features = false }

curta/examples/ed_scalar_mul.rs

@@ -29,12 +29,13 @@ use plonky2::iop::witness::{PartialWitness, WitnessWrite};
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 use plonky2::plonk::circuit_data::CircuitConfig;
 use plonky2::plonk::config::PoseidonGoldilocksConfig;
+use plonky2::plonk::prover::prove;
 use plonky2::timed;
 use plonky2::util::timing::TimingTree;
 use rand::thread_rng;
 
 fn main() {
-    // Devlarying some type aliases for convenience
+    // Define some type aliases for convenience
     type F = GoldilocksField;
     type E = GoldilocksCubicParameters;
     type C = PoseidonGoldilocksConfig;
@@ -150,12 +151,15 @@ fn main() {
         }
     );
 
-    let recursive_proof = timed!(
+    // Generate the proof
+    let proof = timed!(
         timing,
         "Generate proof",
-        plonky2::plonk::prover::prove(&data.prover_only, &data.common, pw, &mut timing)
+        prove(&data.prover_only, &data.common, pw, &mut timing)
     )
     .unwrap();
     timing.print();
-    data.verify(recursive_proof).unwrap();
+
+    // Verify the proof
+    data.verify(proof).unwrap();
 }